title: Minimal representations of unitary operators and orthogonal polynomials on the unit circle

abstract: In this paper we prove that the simplest band representations of unitary operators on a Hilbert space are five-diagonal. Orthogonal polynomials on the unit circle play an essential role in the development of this result, and also provide a parametrization of such five-diagonal representations which shows specially simple and interesting decomposition and factorization properties. As an application we get the reduction of the spectral problem of any unitary Hessenberg matrix to the spectral problem of a five-diagonal one. Two applications of these results to the study of orthogonal polynomials on the unit circle are presented: the first one concerns Krein's Theorem; the second one deals with the movement of mass points of the orthogonality measure under monoparametric perturbations of the Schur parameters.


title: Multigraded regularity: syzygies and fat points

abstract: The Castelnuovo-Mumford regularity of a graded ring is an important invariant in computational commutative algebra, and there is increasing interest in multigraded generalizations. We study connections between two recent definitions of multigraded regularity with a view towards a better understanding of the multigraded Hilbert function of fat point schemes in P^{n_1} x ... x P^{n_k}.


title: From 3-moves to Lagrangian tangles and cubic skein modules

abstract: We discuss several open problems in classical Knot Theory and we develop techniques that allow us to study them: Lagrangian tangles, skein modules and Burnside groups.


title: Twisted homology of quantum SL(2)

abstract: We calculate the twisted Hochschild and cyclic homology (in the sense of Kustermans, Murphy and Tuset) of the coordinate algebra of the quantum SL(2) group relative to twisting automorphisms acting by rescaling the standard generators a,b,c,d. We discover a family of automorphisms for which the "twisted" Hochschild dimension coincides with the classical dimension of SL(2, C), thus avoiding the "dimension drop" in Hochschild homology seen for many quantum deformations. Strikingly, the simplest such automorphism is the canonical modular automorphism arising from the Haar functional. In addition, we identify the twisted cyclic cohomology classes corresponding to the three covariant differential calculi over quantum SU(2) discovered by Woronowicz.


title: Complexity of 3-manifolds

abstract: We give a summary of known results on Matveev's complexity of compact 3-manifolds. The only relevant new result is the classification of all closed orientable irreducible 3-manifolds of complexity 10.


title: A quantitative ergodic theory proof of Szemer\'edi's theorem

abstract: A famous theorem of Szemer\'edi asserts that given any density $0 < \delta \leq 1$ and any integer $k \geq 3$, any set of integers with density $\delta$ will contain infinitely many proper arithmetic progressions of length $k$. For general $k$ there are essentially four known proofs of this fact; Szemer\'edi's original combinatorial proof using the Szemer\'edi regularity lemma and van der Waerden's theorem, Furstenberg's proof using ergodic theory, Gowers' proof using Fourier analysis and the inverse theory of additive combinatorics, and Gowers' more recent proof using a hypergraph regularity lemma. Of these four, the ergodic theory proof is arguably the shortest, but also the least elementary, requiring in particular the use of transfinite induction (and thus the axiom of choice), decomposing a general ergodic system as the weakly mixing extension of a transfinite tower of compact extensions. Here we present a quantitative, self-contained version of this ergodic theory proof, and which is ``elementary'' in the sense that it does not require the axiom of choice, the use of infinite sets or measures, or the use of the Fourier transform or inverse theorems from additive combinatorics. It also gives explicit (but extremely poor) quantitative bounds.


title: The maximality principle revisited: on certain optimal stopping problems

abstract: We investigate the optimal stopping problems involving the supremum of a diffusion. The starting point is the link between works of Peskir and Meilijson, which we describe in a unified manner. The description developped follows mainly the work of Peskir and relies on the maximality principle which links the existence and form of the solution to an optimal stopping problem with a special solution of a certain differential equaiton. We also discuss the so-called optimal Skorokhod embedding problem and provide an explicit solution for a large class of measures.


title: The Associated Variety of a Poisson Prime Ideal

abstract: We show that the associated variety of a Poisson prime ideal of the centre of a symplectic reflection algebra at parameter t=0 is irreducible.


title: Unruffled extensions and flatness over central subalgebras

abstract: A condition on an affine central subalgebra $Z$ of a noetherian algebra $A$ of finite Gelfand-Kirillov dimension, which we call here \emph{unruffledness}, is shown to be equivalent in some circumstances to the flatness of $A$ as a $Z$-module. Unruffledness was studied by Borho and Joseph in work on enveloping algebras of complex semisimple Lie algebras, and we discuss applications of our result to enveloping algebras, as well as beginning the study of this condition for more general algebras.


title: Deformations of convolution semigroups on commutative hypergroups

abstract: It was recently shown by the authors that deformations of hypergroup convolutions w.r.t. positive semicharacters can be used to explain probabilistic connections between the Gelfand pairs (SL(d,C), SU(d)) and Hermitian matrices. We here study connections between general convolution semigroups on commutative hypergroups and their deformations. We are able to develop a satisfying theory, if the underlying positive semicharacter has some growth property. We present several examples which indicate that this growth condition holds in many interesting cases.


title: Sasakian Geometry, Hypersurface Singularities, and Einstein Metrics

abstract: We review our study of Sasakian geometry as an agent for proving the existence of Einstein metrics on odd dimensional manifolds. Particular emphasis is given to the Sasakian structures occuring on links of isolated hypersurface singularities.


title: On the local structure of Dirac manifolds

abstract: We give a local normal form for Dirac structures. As a consequence, we show that the dimensions of the pre-symplectic leaves of a Dirac manifold have the same parity. We also show that, given a point $m$ of a Dirac manifold $M$, there is a well-defined transverse Poisson structure to the pre-symplectic leaf $P$ through $m$. Finally, we describe the neighborhood of a pre-symplectic leaf in terms of geometric data. This description agrees with that given by Vorobjev for the Poisson case


title: Second Order Freeness and Fluctuations of Random Matrices: II. Unitary Random Matrices

abstract: We extend the relation between random matrices and free probability theory from the level of expectations to the level of fluctuations. We show how the concept of "second order freeness", which was introduced in Part I, allows one to understand global fluctuations of Haar distributed unitary random matrices. In particular, independence between the unitary ensemble and another ensemble goes in the large $N$ limit over into asymptotic second order freeness. Two important consequences of our general theory are: (i) we obtain a natural generalization of a theorem of Diaconis and Shahshahani to the case of several independent unitary matrices; (ii) we can show that global fluctuations in unitarily invariant multi-matrix models are not universal.


title: Singularities of Nonconfluent Hypergeometric Functions in Several Variables

abstract: The paper deals with singularities of nonconfluent hypergeometric functions in several variables. Typically such a function is a multi-valued analytic function with singularities along an algebraic hypersurface. We describe such hypersurfaces in terms of amoebas and the Newton polytopes of their defining polynomials. In particular, we show that all $\mathcal{A}$-discriminantal hypersurfaces (in the sense of Gelfand, Kapranov and Zelevinsky) have solid amoebas, that is, amoebas with the minimal number of complement components.


title: EZ-structures and topological applications

abstract: We introduce the notion of an EZ-structure on a group. Delta-hyperbolic groups and CAT(0)-groups have EZ-structures. We show torsion-free groups having an EZ-structure automatically have an action by homeomorphisms on a closed (high-dimensional) ball, which is well-behaved away from a "bad limit set" in the boundary of the ball. We show that groups having such an action satisfy the Novikov conjecture. For torsion-free delta-hyperbolic groups $G$, we also give a lower bound for the homotopy groups $\pi_n(P(BG))$, where $P$ is the stable topological pseudo-isotopy functor.


title: Involutions of negatively curved groups with wild boundary behavior

abstract: We consider pairs (X,Y) where X is a compact, locally CAT(-1) space, and Y is a totally geodesic subspace. The inclusion induces an embedding of the boundaries at infinity of the universal covers; we focus on the case where these are spheres whose dimensions differ by 2. We show that if the embedding is tame, then it is unknotted. We give examples of pairs for which the embedding is knotted (and can be realized as the fixed point set of an involution). We also provide a criterion for knottedness of tame codimension two spheres in high dimensional (>5) spheres. Corresponding results for delta-hyperbolic groups are also discussed. Some corollaries give new results even in the Riemannian manifold case.


title: Sommes de Dedekind associ\'ees \`a un corps de nombres totalement r\'eel

abstract: We define Dedekind sums attached to a totally real number field of class number one. We prove that they satisfy some reciprocity law. Then we relate them to special values of Hecke $L$-functions. We conclude that they are ruled by Stark's conjecture.


title: Quantum double construction in the C*-algebra setting of certain Heisenberg-type quantum groups

abstract: In this paper, we carry out the ``quantum double construction'' of the specific quantum groups we constructed earlier, namely, the ``quantum Heisenberg group algebra'' (A,\Delta) and its dual, the ``quantum Heisenberg group'' (\hat{A},\hat{\Delta}). Our approach will be by constructing a suitable multiplicative unitary operator. In this way, we are able to retain the C*-algebra framework, and thus able to carry out our construction within the category of locally compact quantum groups. This construction is a kind of a generalized crossed product. To establish that the quantum double we obtain is indeed a locally compact quantum group, we will also discuss the dual of the quantum double and the Haar weights on both of these double objects. Towards the end, we also include a construction of a (quasitriangular) ``quantum universal R-matrix''.


title: Atiyah-Patodi-Singer boundary condition and a splitting formula of a spectral flow

abstract: We describe a relation between Atiyah-Patodi-Singer boundary condition and a global elliptic boundary condition which naturally appears in formulating a splitting formula for a spectral flow, when we decompose the manifold into two components. Then we give a variant of the splitting formula with the Hoermander index as a correction term.


title: Real rank and property (SP) for direct limits of recursive subhomogeneous algebras

abstract: Let A be a unital simple direct limit of recursive subhomogeneous C*-algebras with no dimension growth. We give criteria which specify exactly when A has real rank zero, and exactly when A has the Property (SP): every nonzero hereditary subalgebra of A contains a nonzero projection. Specifically, A has real rank zero if and only if the natural map from K_0 (A) to the continuous affine functions on the tracial state space has dense range, A has the Property (SP) if and only if the range of this map contains strictly positive functions with arbitrarily small norm. By comparison with results for unital simple direct limit of homogeneous C*-algebras with no dimension growth, one might hope that weaker conditions might suffice. We give examples to show that several plausible weaker conditions do not suffice for the results above. If A has real rank zero and at most countably many extreme tracial states, we apply results of H. Lin to show that A has tracial rank zero and is classifiable.


title: A Permutation Regularity Lemma

abstract: We introduce a permutation analogue of the celebrated Szemeredi Regularity Lemma, and derive a number of consequences. This tool allows us to provide a structural description of permutations which avoid a specified pattern, a result that permutations which scatter small intervals contain all possible patterns of a given size, a proof that every permutation avoiding a specified pattern has a nearly monotone linear-sized subset, and a ``thin deletion'' result. We also show how one can count sub-patterns of a permutation with an integral, and relate our results to permutation quasirandomness in a manner analogous to the graph-theoretic setting.


title: A categorical and diagrammatical approach to Temperley-Lieb algebras

abstract: Algebraic basics on Temperley-Lieb algebras are proved in an elementary and straightforward way with the help of tensor categories behind them.


title: A class of C^*-algebras generalizing both graph algebras and homeomorphism C^*-algebras II, examples

abstract: We show that the method to construct C^*-algebras from topological graphs, introduced in our previous paper, generalizes many known constructions. We give many ways to make new topological graphs from old ones, and study the relation of C^*-algebras constructed from them. We also prove that our C^*-algebras have a certain characterization. This gives us another definition of our C^*-algebras.


title: The maximal tubes under the deformations of a class of 3-dimensional hyperbolic cone-manifolds

abstract: Recently, Hodgson and Kerckhoff found a small bound on Dehn surgered 3-manifolds from hyperbolic knots not admitting hyperbolic structures using deformations of hyperbolic cone-manifolds. They asked whether the area normalized meridian length squared of maximal tubular neighborhoods of the singular locus of the cone-manifold is decreasing and that summed with the cone angle squared is increasing as we deform the cone-angles. We confirm this near 0 cone-angles for an infinite family of hyperbolic cone-manifolds obtained by Dehn surgeries along the Whitehead link complements. The basic method is based on explicit holonomy computations using the A-polynomials and finding the maximal tubes. One of the key tool is the Taylor expression of a geometric component of the zero set of the A-polynomial in terms of the cone-angles. We also show a sequence of Taylor expressions for Dehn surgered manifolds converges to one for the limit hyperbolic manifold.


title: Dirac operators on Lagrangian submanifolds

abstract: We study a natural Dirac operator on a Lagrangian submanifold of a K\"ahler manifold. We first show that its square coincides with the Hodge-de Rham Laplacian provided the complex structure identifies the Spin structures of the tangent and normal bundles of the submanifold. We then give extrinsic estimates for the eigenvalues of that operator and discuss some examples.


title: Index theory with bounded geometry, the uniformly finite A-hat class, and infinite connected sums

abstract: We analyze the obstruction to metrics of positive scalar curvature within a given bounded distortion class of metrics. This obstruction lives in a non-Hausdorff cohomology group Poincare dual to the uniformly finite homology studied by Block and Weinberger. One of the applications is a converse to their theorem on infinite connected sums, giving a complete picture of when such manifolds have metrics of positive scalar curvature.


title: The large scale geometry of the higher Baumslag-Solitar groups

abstract: The Baumslag-Solitar groups: BS(m,n)=<x,y| x y^{m} x^{-1} = y^{n}> are some of the simplest interesting infinite groups which are not lattices in Lie groups. They have been studied in depth from the point of view of combinatorial group theory. It is natural to ask if the geometric approach to the theory of infinite groups, which has been so successful in the study of lattices, can yield any insights in this nonlinear case. We show that in contrast to the solvable groups studied by Farb and Mosher, the groups BS(m,n) with 1<m<n are all quasi-isometric. This generalizes to almost all groups acting on trees with infinite cyclic vertex and edge stabilizers.


title: Continuous quotients for lattice actions on compact manifolds

abstract: Let G be a subgroup of finite index in SL(n,Z) for N > 4. Suppose G acts continuously on a manifold M, with fundamental group Z^n, preserving a measure that is positive on open sets. Further assume that the induced G action on H^1(M) is non-trivial. We show there exists a finite index subgroup G' of G and a G' equivariant continuous map from M to the n-torus that induces an isomorphism on fundamental groups. We prove more general results providing continuous quotients in cases where the fundamental group of M surjects onto a finitely generated torsion free nilpotent group. We also give some new examples of manifolds with G actions to which the theorems apply.


title: Quasi-isometries between groups with infinitely many ends

abstract: Let G and F be finitely generated groups with infinitely many ends and let A and B be graph of groups decompositions of F and G such that all edge groups are finite and all vertex groups have at most one end. We show that G and F are quasi-isometric if and only if every one-ended vertex group of A is quasi-isometric to some one-ended vertex group of B and every one-ended vertex group of B is quasi-isometric to some one-ended vertex group of A. From our proof it also follows that if G is any finitely generated group, of order at least three, the groups: G*G, G*Z,G*G*G and G* Z/2Z are all quasi-isometric.


title: Examples for Cross Curvature Flow on 3-Manifolds

abstract: Recently, B.Chow and R.S.Hamilton introduced the cross curvature flow on 3-manifolds. In this paper, we analyze two interesting examples for this new flow. One is on a square torus bundle over a circle, and the other is on a $S^{2}$ bundle over a circle. We show that the global flow exist in both cases. But on the former the flow diverges at time infinity, and on the latter the flow converges at time infinity.


title: On Product Systems arising from Sum Systems

abstract: Boris Tsirelson constructed an uncountable family of type III product systems of Hilbert spaces through the theory of Gausian spaces, measure type spaces and `slightly coloured noises', using techniques from probability theory. Here we take a purely functional analytic approach and try to have a better understanding of Tsireleson's construction and his examples. We prove an extension of Shale's theorem connecting symplectic group and Weyl representation. We show that the `Shale map' respects compositions (This settles an old conjecture of K. R. Parthasarathy). Using this we associate a product system to a sum system. This construction includes the exponential product system of Arveson, as a trivial case, and the type III examples of Tsirelson. By associating a von Neumann algebra to every `elementary set' in [0,1], in a much simpler and direct way, we arrive at the invariants of the product system introduced by Tsirelson, given in terms of the sum system. Then we introduce a notion of divisibility for a sum system, and prove that the examples of Tsirelson are divisible. It is shown that only type I and type III product systems arise out of divisible sum systems. Finally, we give a sufficient condition for a divisible sum system to give rise to a unitless (type III) product system.


title: A class of Kaehler Einstein structures on the cotangent bundle

abstract: We use some natural lifts defined on the cotangent bundle T*M of a Riemannian manifold (M,g) in order to construct an almost Hermitian structure (G,J) of diagonal type. The obtained almost complex structure J on T*M is integrable if and only if the base manifold has constant sectional curvature and the coefficients as well as their derivatives, involved in its definition, do fulfill a certain algebraic relation. Next one obtains the condition that must be fulfilled in the case where the obtained almost Hermitian structure is almost Kaehlerian. Combining the obtained results we get a family of Kaehlerian structures on T*M, depending on two essential parameters. Next we study three conditions under which the considered Kaehlerian structures are Einstein. In one of the obtained cases we get that (T*M,G,J) has constant holomorphic curvature.


title: Banach spaces adapted to Anosov systems

abstract: We study the spectral properties of the Ruelle-Perron-Frobenius operator associated to an Anosov map on classes of functions with high smoothness. To this end we construct anisotropic Banach spaces of distributions on which the transfer operator has a small essential spectrum. In the C^\infty case, the essential spectral radius is arbitrarily small, which yields a description of the correlations with arbitrary precision. Moreover, we obtain sharp spectral stability results for deterministic and random perturbations. In particular, we obtain differentiability results for spectral data (which imply differentiability of the SRB measure, the variance for the CLT, the rates of decay for smooth observable, etc.).


title: Zigzag structure of complexes

abstract: Inspired by Coxeter's notion of Petrie polygon for $d$-polytopes (see \cite{Cox73}), we consider a generalization of the notion of zigzag circuits on complexes and compute the zigzag structure for several interesting families of $d$-polytopes, including semiregular, regular-faced, Wythoff Archimedean ones, Conway's 4-polytopes, half-cubes, folded cubes. Also considered are regular maps and Lins triality relations on maps.


title: Periodic billiard orbits in right triangle

abstract: There is an open set of right triangles such that for each irrational triangle in this set (i) periodic billiards orbits are dense in the phase space, (ii) there is a unique nonsingular perpendicular billiard orbit which is not periodic, and (iii) the perpendicular periodic orbits fill the corresponding invariant surface.


title: Moments and tails in monotone-separable stochastic networks

abstract: A network belongs to the monotone separable class if its state variables are homogeneous and monotone functions of the epochs of the arrival process. This framework, which was first introduced to derive the stability region for stochastic networks with stationary and ergodic driving sequences, is revisited. It contains several classical queueing network models, including generalized Jackson networks, max-plus networks, polling systems, multiserver queues, and various classes of stochastic Petri nets. Our purpose is the analysis of the tails of the stationary state variables in the particular case of i.i.d. driving sequences. For this, we establish general comparison relationships between networks of this class and the GI/GI/1/\infty queue. We first use this to show that two classical results of the asymptotic theory for GI/GI/1/\infty queues can be directly extended to this framework. The first one concerns the existence of moments for the stationary state variables. We establish that for all \alpha\geq 1, the (\alpha+1)-moment condition for service times is necessary and sufficient for the existence of the \alpha-moment for the stationary maximal dater (typically the time to empty the network when stopping further arrivals) in any network of this class. The second one is a direct extension of Veraverbeke's tail asymptotic for the stationary waiting times in the GI/GI/1/\infty queue.


title: Are Unitarizable Groups Amenable?

abstract: We give a new formulation of some of our recent results on the following problem: if all uniformly bounded representations on a discrete group $G$ are similar to unitary ones, is the group amenable? In \S 5, we give a new proof of Haagerup's theorem that, on non-commutative free groups, there are Herz-Schur multipliers that are not coefficients of uniformly bounded representations. We actually prove a refinement of this result involving a generalization of the class of Herz-Schur multipliers, namely the class $M_d(G)$ which is formed of all the functions $f\colon G\to {\bb C}$ such that there are bounded functions $\xi_i\colon G\to B(H_i, H_{i-1})$ ($H_i$ Hilbert) with $H_0 = {\bb C}$, $H_d ={\bb C}$ such that $$f(t_1t_2... t_d) = \xi_1(t_1) \xi_2(t_2)... \xi_d(t_d).\qquad \forall t_i\in G$$ We prove that if $G$ is a non-commutative free group, for any $d\ge 1$, we have $$M_d(G)\not= M_{d+1}(G),$$ and hence there are elements of $M_d(G)$ which are not coefficients of uniformly bounded representations. In the case $d=2$, Haagerup's theorem implies that $M_2(G)\not= M_{4}(G).$


title: A representation of Gibbs measure for the random energy model

abstract: In this work we consider a problem related to the equilibrium statistical mechanics of spin glasses, namely the study of the Gibbs measure of the random energy model. For solving this problem, new results of independent interest on sums of spacings for i.i.d. Gaussian random variables are presented. Then we give a precise description of the support of the Gibbs measure below the critical temperature.


title: Perfect Sampling Using Bounding Chains

abstract: Bounding chains are a technique that offers three benefits to Markov chain practitioners: a theoretical bound on the mixing time of the chain under restricted conditions, experimental bounds on the mixing time of the chain that are provably accurate and construction of perfect sampling algorithms when used in conjunction with protocols such as coupling from the past. Perfect sampling algorithms generate variates exactly from the target distribution without the need to know the mixing time of a Markov chain at all. We present here the basic theory and use of bounding chains for several chains from the literature, analyzing the running time when possible. We present bounding chains for the transposition chain on permutations, the hard core gas model, proper colorings of a graph, the antiferromagnetic Potts model and sink free orientations of a graph.


title: The pseudo-effective cone of a compact K\"ahler manifold and varieties of negative Kodaira dimension

abstract: We prove that a holomorphic line bundle on a projective manifold is pseudo-effective if and only if its degree on any member of a covering family of curves is non-negative. This is a consequence of a duality statement between the cone of pseudo-effective divisors and the cone of ``movable curves'', which is obtained from a general theory of movable intersections and approximate Zariski decomposition for closed positive (1,1)-currents. As a corollary, a projective manifold has a pseudo-effective canonical bundle if and only if it is is not uniruled. We also prove that a 4-fold with a canonical bundle which is pseudo-effective and of numerical class zero in restriction to curves of a covering family, has non negative Kodaira dimension.


title: A homing problem for diffusion processes with control-dependent variance

abstract: Controlled one-dimensional diffusion processes, with infinitesimal variance (instead of the infinitesimal mean) depending on the control variable, are considered in an interval located on the positive half-line. The process is controlled until it reaches either end of the interval. The aim is to minimize the expected value of a cost criterion with quadratic control costs on the way and a final cost equal to zero (resp. a large constant) if the process exits the interval through its left (resp. right) end point. Explicit expressions are obtained both for the optimal value of the control variable and the value function when the infinitesimal parameters of the processes are proportional to a power of the state variable.


title: Convergence rate of linear two-time-scale stochastic approximation

abstract: We study the rate of convergence of linear two-time-scale stochastic approximation methods. We consider two-time-scale linear iterations driven by i.i.d. noise, prove some results on their asymptotic covariance and establish asymptotic normality. The well-known result [Polyak, B. T. (1990). Automat. Remote Contr. 51 937-946; Ruppert, D. (1988). Technical Report 781, Cornell Univ.] on the optimality of Polyak-Ruppert averaging techniques specialized to linear stochastic approximation is established as a consequence of the general results in this paper.


title: Some extremely amenable groups related to operator algebras and ergodic theory

abstract: A topological group $G$ is called extremely amenable if every continuous action of $G$ on a compact space has a fixed point. This concept is linked with geometry of high dimensions (concentration of measure). We show that a von Neumann algebra is approximately finite-dimensional if and only if its unitary group with the strong topology is the product of an extremely amenable group with a compact group, which strengthens a result by de la Harpe. As a consequence, a $C^\ast$-algebra $A$ is nuclear if and only if the unitary group $U(A)$ with the relative weak topology is strongly amenable in the sense of Glasner. We prove that the group of automorphisms of a Lebesgue space with a non-atomic measure is extremely amenable with the weak topology and establish a similar result for groups of non-singular transformations. As a consequence, we prove extreme amenability of the groups of isometries of $L^p(0,1)$, $1\leq p<\infty$, extending a classical result of Gromov and Milman ($p=2$). We show that a measure class preserving equivalence relation $\mathcal R$ on a standard Borel space is amenable if and only if the full group $[{\mathcal R}]$, equipped with the uniform topology, is extremely amenable. Finally, we give natural examples of concentration to a nontrivial space in the sense of Gromov occuring in the automorphism groups of injective factors of type $III$.


title: Invariant states and rates of Convergence for a critical fluid model of a processor sharing queue

abstract: This paper contains an asymptotic analysis of a fluid model for a heavily loaded processor sharing queue. Specifically, we consider the behavior of solutions of critical fluid models as time approaches \infty. The main theorems of the paper provide sufficient conditions for a fluid model solution to converge to an invariant state and, under slightly more restrictive assumptions, provide a rate of convergence. These results are used in a related work by Gromoll for establishing a heavy traffic diffusion approximation for a processor sharing queue.


title: Dual formulation of the utility maximization problem: the case of nonsmooth utility

abstract: We study the dual formulation of the utility maximization problem in incomplete markets when the utility function is finitely valued on the whole real line. We extend the existing results in this literature in two directions. First, we allow for nonsmooth utility functions, so as to include the shortfall minimization problems in our framework. Second, we allow for the presence of some given liability or a random endowment. In particular, these results provide a dual formulation of the utility indifference valuation rule.


title: On overload in a storage model, with a self-similar and infinitely divisible input

abstract: Let {X(t)}_{t\ge0} be a locally bounded and infinitely divisible stochastic process, with no Gaussian component, that is self-similar with index H>0. Pick constants \gamma >H and c>0. Let \nu be the L\'evy measure on R^{[0,\infty)} of X, and suppose that R(u)\equiv\nu({y\inR^{[0,\infty)}:supt\ge 0y(t)/(1+ct^{\gamma})>u}) is suitably ``heavy tailed'' as u\to\infty (e.g., subexponential with positive decrease). For the ``storage process'' Y(t)\equiv sup_{s\ge t}(X(s)-X(t)-c(s-t)^{\gamma}), we show that P{sup_{s\in[0,t(u)]}Y(s)>u}\sim P{Y(\hat t(u))>u} as u\to\infty, when 0\le \hat t(u)\le t(u) do not grow too fast with u [e.g., t(u)=o(u^{1/\gamma})].


title: Spanning tree size in Random Binary Search Trees

abstract: This paper deals with the size of the spanning tree of p randomly chosen nodes in a binary search tree. It is shown via generating functions methods, that for fixed p, the (normalized) spanning tree size converges in law to the Normal distribution. The special case p=2 reproves the recent result (obtained by the contraction method by Mahmoud and Neininger [Ann. Appl. Probab. 13 (2003) 253-276]), that the distribution of distances in random binary search trees has a Gaussian limit law. In the proof we use the fact that the spanning tree size is closely related to the number of passes in Multiple Quickselect. This parameter, in particular, its first two moments, was studied earlier by Panholzer and Prodinger [Random Structures Algorithms 13 (1998) 189-209]. Here we show also that this normalized parameter has for fixed p-order statistics a Gaussian limit law. For p=1 this gives the well-known result that the depth of a randomly selected node in a random binary search tree converges in law to the Normal distribution.


title: Optimal investment with random endowments in incomplete markets

abstract: In this paper, we study the problem of expected utility maximization of an agent who, in addition to an initial capital, receives random endowments at maturity. Contrary to previous studies, we treat as the variables of the optimization problem not only the initial capital but also the number of units of the random endowments. We show that this approach leads to a dual problem, whose solution is always attained in the space of random variables. In particular, this technique does not require the use of finitely additive measures and the related assumption that the endowments are bounded.


title: On the minimal travel time needed to collect n items on a circle

abstract: Consider n items located randomly on a circle of length 1. The locations of the items are assumed to be independent and uniformly distributed on [0,1). A picker starts at point 0 and has to collect all n items by moving along the circle at unit speed in either direction. In this paper we study the minimal travel time of the picker. We obtain upper bounds and analyze the exact travel time distribution. Further, we derive closed-form limiting results when n tends to infinity. We determine the behavior of the limiting distribution in a positive neighborhood of zero. The limiting random variable is closely related to exponential functionals associated with a Poisson process. These functionals occur in many areas and have been intensively studied in recent literature.


title: A combinatorial curvature flow for compact 3-manifolds with boundary

abstract: We introduce a combinatorial curvature flow for PL metrics on compact triangulated 3-manifolds with boundary consisting of surfaces of negative Euler characteristic. The flow tends to find the complete hyperbolic metric with totally geodesic boundary on a manifold. Some of the basic properties of the combinatorial flow are established. The most important ones is that the evolution of the PL curvature satisfies a combinatorial heat equation. It implies that the total curvature decreases along the flow. The local convergence of the flow to the hyperbolic metric is also established if the triangulation is isotopic to a totally geodesic triangulation.


title: Optimal Hoeffding bounds for discrete reversible Markov chains

abstract: We build optimal exponential bounds for the probabilities of large deviations of sums \sum_{k=1}^nf(X_k) where (X_k) is a finite reversible Markov chain and f is an arbitrary bounded function. These bounds depend only on the stationary mean E_{\pi}f, the end-points of the support of f, the sample size n and the second largest eigenvalue \lambda of the transition matrix.


title: The tail of the stationary distribution of a random coefficient AR(q) model

abstract: We investigate a stationary random coefficient autoregressive process. Using renewal type arguments tailor-made for such processes, we show that the stationary distribution has a power-law tail. When the model is normal, we show that the model is in distribution equivalent to an autoregressive process with ARCH errors. Hence, we obtain the tail behavior of any such model of arbitrary order.


title: Diffusion approximation for a processor sharing queue in heavy traffic

abstract: Consider a single server queue with renewal arrivals and i.i.d. service times in which the server operates under a processor sharing service discipline. To describe the evolution of this system, we use a measure valued process that keeps track of the residual service times of all jobs in the system at any given time. From this measure valued process, one can recover the traditional performance processes, including queue length and workload. We show that under mild assumptions, including standard heavy traffic assumptions, the (suitably rescaled) measure valued processes corresponding to a sequence of processor sharing queues converge in distribution to a measure valued diffusion process. The limiting process is characterized as the image under an appropriate lifting map, of a one-dimensional reflected Brownian motion. As an immediate consequence, one obtains a diffusion approximation for the queue length process of a processor sharing queue.


title: Diffeomorphism of simply connected algebraic surfaces

abstract: In this paper we show that even in the case of simply connected minimal algebraic surfaces of general type, deformation and differentiable equivalence do not coincide. Exhibiting several simple families of surfaces which are not deformation equivalent, and proving their diffeomorphism, we give a counterexample to a weaker form of the speculation DEF = DIFF of R. Friedman and J. Morgan, i.e., in the case where (by M. Freedman's theorem) the topological type is completely determined by the numerical invariants of the surface. We hope that the methods of proof may turn out to be quite useful to show diffeomorphism and indeed symplectic equivalence for many important classes of algebraic surfaces and symplectic 4-manifolds.


title: Trecce, Mapping class group, fibrazioni di Lefschetz ed applicazioni al diffeomorfismo di superficie algebriche

abstract: Purpose of the Conference article, intended for a wider audience, is to introduce concepts and techniques used by Bronislaw Wajnryb and the author in order to show the diffeomorphism of certain elementary algebraic surfaces, called ABC surfaces, which are not deformation equivalent. In the first part are recalled the concepts of connected sum, surgeries, Poincare' group, Braids, Riemann surfaces and Dehn's Mapping class group. Then the topics become more advanced, including Lefschetz fibrations, ABC surfaces, symplectic fibrations and braid monodromy.


title: Construction of Parseval wavelets from redundant filter systems

abstract: We consider wavelets in L^2(R^d) which have generalized multiresolutions. This means that the initial resolution subspace V_0 in L^2(R^d) is not singly generated. As a result, the representation of the integer lattice Z^d restricted to V_0 has a nontrivial multiplicity function. We show how the corresponding analysis and synthesis for these wavelets can be understood in terms of unitary-matrix-valued functions on a torus acting on a certain vector bundle. Specifically, we show how the wavelet functions on R^d can be constructed directly from the generalized wavelet filters.


title: Improved explicit estimates on the number of solutions of equations over a finite field

abstract: We show explicit estimates on the number of $q$--rational points of an $F_q$--definable affine absolutely irreducible variety of the algebraic closure of the finite field $F_q$ of $q$ elements. Our estimates for a hypersurface significantly improve previous estimates of W. Schmidt and M.-D. Huang and Y.-C. Wong, while in the case of a variety our estimates improve those of S. Ghorpade and G. Lachaud in several important cases. Our proofs rely on elementary methods of effective elimination theory and suitable effective versions of the first Bertini theorem.


title: Mirror Symmetry and Generalized Complex Manifolds

abstract: In this paper we develop a relative version of T-duality in generalized complex geometry which we propose as a manifestation of mirror symmetry. Let M be an n-dimensional smooth real manifold, V a rank n real vector bundle on M, and nabla a flat connection on V. We define the notion of a nabla-semi-flat generalized complex structure on the total space of V. We show that there is an explicit bijective correspondence between nabla-semi-flat generalized complex structures on the total space of V and nabla(dual)-semi-flat generalized complex structures on the total space of the dual of V. Similarly we define semi-flat generalized complex structures on real n-torus bundles with section over an n-dimensional base and establish a similar bijective correspondence between semi-flat generalized complex structures on pair of dual torus bundles. Along the way, we give methods of constructing generalized complex structures on the total spaces of vector bundles and torus bundles with sections. We also show that semi-flat generalized complex structures give rise to a pair of transverse Dirac structures on the base manifold. We give interpretations of these results in terms of relationships between the cohomology of torus bundles and their duals. We also study the ways in which our results generalize some well established aspects of mirror symmetry as well as some recent proposals relating generalized complex geometry to string theory.


title: Obstructions to conformally Einstein metrics in $n$ dimensions

abstract: We construct polynomial conformal invariants, the vanishing of which is necessary and sufficient for an $n$-dimensional suitably generic (pseudo-)Riemannian manifold to be conformal to an Einstein manifold. We also construct invariants which give necessary and sufficient conditions for a metric to be conformally related to a metric with vanishing Cotton tensor. One set of invariants we derive generalises the set of invariants in dimension four obtained by Kozameh, Newman and Tod. For the conformally Einstein problem, another set of invariants we construct gives necessary and sufficient conditions for a wider class of metrics than covered by the invariants recently presented by M. Listing. We also show that there is an alternative characterisation of conformally Einstein metrics based on the tractor connection associated with the normal conformal Cartan bundle. This plays a key role in constructing some of the invariants. Also using this we can interpret the previously known invariants geometrically in the tractor setting and relate some of them to the curvature of the Fefferman-Graham ambient metric.


title: A CRT algorithm for constructing genus 2 curves over finite fields

abstract: We present a new method for constructing genus 2 curves over a finite field with a given number of points on its Jacobian. This method has important applications in cryptography, where groups of prime order are used as the basis for discrete-log based cryptosystems. Our algorithm provides an alternative to the traditional CM method for constructing genus 2 curves. For a quartic CM field K with primitive CM type, we compute the Igusa class polynomials modulo p for certain small primes p and then use the Chinese remainder theorem (CRT) and a bound on the denominators to construct the class polynomials. We also provide an algorithm for determining endomorphism rings of ordinary Jacobians of genus 2 curves over finite fields, generalizing the work of Kohel for elliptic curves.


title: Lucas sequences whose 12th or 9th term is a square

abstract: Let P and Q be non-zero relatively prime integers. The Lucas sequence {U_n(P,Q) is defined by U_0=0, U_1=1, U_n = P U_{n-1}-Q U_{n-2} for n>1. The sequence {U_n(1,-1)} is the familiar Fibonacci sequence, and it was proved by Cohn that the only perfect square greater than 1 in this sequence is $U_{12}=144$. The question arises, for which parameters P, Q, can U_n(P,Q) be a perfect square? In this paper, we complete recent results of Ribenboim and MacDaniel. Under the only restriction GCD(P,Q)=1 we determine all Lucas sequences {U_n(P,Q)} with U_{12}= square. It turns out that the Fibonacci sequence provides the only example. Moreover, we also determine all Lucas sequences {U_n(P,Q) with U_9= square.


title: On the cohomology of Artin groups in local systems and the associated Milnor fiber

abstract: Let W be a finite irreducible Coxeter group and let X_W be the classifying space for G_W, the associated Artin group. If A is a commutative unitary ring, we consider the two local systems L_q and L_q' over X_W, respectively over the modules A[q,q^{-1}] and A[[q,q^{-1}]], given by sending each standard generator of G_W into the automorphism given by the multiplication by q. We show that H^*(X_W,L_q') = H^{*+1}(X_W,L_q) and we generalize this relation to a particular class of algebraic complexes. We remark that H^*(X_W,L_q') is equal to the cohomology with trivial coefficients A of the Milnor fiber of the discriminant bundle of the associated reflection group.


title: On the algebraic solutions of the sixth Painlev\'e equation related to second order Picard-Fuchs equations

abstract: We describe two algebraic solutions of the sixth Painlev\'e equation which are related to (isomonodromic) deformations of Picard-Fuchs equations of order two.


title: LU factorizations, q=0 limits, and p-adic interpretations of some q-hypergeometric orthogonal polynomials

abstract: For little q-Jacobi polynomials and q-Hahn polynomials we give particular q-hypergeometric series representations in which the termwise q=0 limit can be taken. When rewritten in matrix form, these series representations can be viewed as LU factorizations. We develop a general theory of LU factorizations related to complete systems of orthogonal polynomials with discrete orthogonality relations which admit a dual system of orthogonal polynomials. For the q=0 orthogonal limit functions we discuss interpretations on p-adic spaces. In the little 0-Jacobi case we also discuss product formulas.


title: Improving Dense Packings of Equal Disks in a Square

abstract: We describe a new numerical procedure for generating dense packings of disks and spheres inside various geometric shapes. We believe that in some of the smaller cases, these packings are in fact optimal. When applied to the previously studied cases of packing n equal disks in a square, the procedure confirms all the previous record packings except for n = 32, 37, 48, and 50 disks, where better packings than those previously recorded are found. For n = 32 and 48, the new packings are minor variations of the previous record packings. However, for n = 37 and 50, the new patterns differ substantially. For example, they are mirror-symmetric, while the previous record packings are not.


title: How many miles to $\beta\omega$? -- Approximating $\beta\omega$ by metric-dependent compactifications

abstract: It is known that the Stone-\v{C}ech compactification of a non-compact metrizable space $X$ is approximated by the collection of Smirnov compactifications of $X$ for all compatible metrics on $X$. We investigate the smallest cardinality of a set $D$ of compatible metrics on the countable discrete space $\omega$ such that, the Stone-\v{C}ech compactification of $\omega$ is approximated by Smirnov compactifications for all metrics in $D$, but any finite subset of $D$ does not suffice. We also study the corresponding cardinality for Higson compactifications.


title: Homology of generalized partition posets

abstract: We define a poset of partitions associated to an operad. We prove that the operad is Koszul if and only if the poset is Cohen-Macaulay. In one hand, this characterisation allows us to compute the homology of the poset. This homology is given by the Koszul dual operad. On the other hand, we get new methods for proving that an operad is Koszul.


title: On Reconstructing Configurations of Points in ${\mathbb P}^2$ from a Joint Distribution of Invariants

abstract: Consider the diagonal action of the projective group $\PGL_3$ on $n$ copies of ${\mathbb P}^2$. In addition, consider the action of the symmetric group $\Sigma_n$ by permuting the copies. In this paper we find a set of generators for the invariant field of the combined group $\Sigma_n \times \PGL_3$. As the main application, we obtain a reconstruction principle for point configurations in ${\mathbb P}^2$ from their sub-configurations of five points. Finally, we address the question of how such reconstruction principles pass down to subgroups.


title: Heegaard Floer homology of certain mapping tori

abstract: We calculate the Heegaard Floer homologies$HF^+(M,s) for mapping tori M associated to certain surface diffeomorphisms, where s is any Spin^c structure on M whose first Chern class is non-torsion. Let gamma and delta be a pair of geometrically dual nonseparating curves on a genus g Riemann surface Sigma_g, and let sigma be a curve separating Sigma_g into components of genus 1 and g-1. Write t-gamma, t_delta, and t_sigma for the right-handed Dehn twists about each of these curves. The examples we consider are the mapping tori of the diffeomorphisms t_gamma^m circ t_delta^n for m,n in Z and that of t_sigma^{+-1}.


title: Integral closures of ideals in completions of regular local domains

abstract: In this paper we exhibit an example of a three-dimensional regular local domain (A, n) having a height-two prime ideal P with the property that the extension PA^ of P to the n-adic completion A^ of A is not integrally closed. We use a construction we have studied in earlier papers: For R=k[x,y,z], where k is a field of characteristic zero and x,y,z are indeterminates over k, the example A is an intersection of the localization of the power series ring k[y,z][[x]] at the maximal ideal (x,y,z) with the field k(x,y,z,f, g) where f, g are elements of (x,y,z)k[y,z][[x]] that are algebraically independent over k(x,y,z). The elements f, g are chosen in such a way that using results from our earlier papers A is Noetherian and it is possible to describe A as a nested union of rings associated to A that are localized polynomial rings over k in five variables.


title: Alternative Orthogonal Polynomials

abstract: The double-direction orthogonalization algorithm is applied to construct sequences of polynomials, which are orthogonal over the interval [0,1]with the weighting function 1. Functional and recurrent relations are derived for the sequences that are the result of the inverse orthogonalization procedure. Quadratures, generated by the sequences are described.


title: Oscillating integrals and Newton polyhedra

abstract: We establish a principal value integral formula, for the residue of the largest non-trivial candidate pole of the real or complex local zeta function associated to an analytic germ f, which is non-degenerate with respect to its Newton polyhedron. In particular, up to an easy non-zero factor, this residue only depends on the (tau_0)-principal part of f, where tau_0 is the smallest face of the Newton polyhedron intersecting the diagonal. This formula allows us to prove some vanishing results for the residue. More precisely, we prove that the residue vanishes when tau_0 is unstable, and we give a partial proof of the reverse implication in the complex case. We also deduce an explicit formula for the residue, in the case where tau_0 is a simplex of codimension 1, and the only points of the support of f on tau_0 are its vertices.


title: Deligne's integrality theorem in unequal characteristic and rational points over finite fields; and Appendix (w/Pierre Deligne)

abstract: If $V$ is a smooth projective variety defined over a local field $K$ with finite residue field, so that its \'etale cohomology over the algebraic closure $\bar{K}$ is supported in codimension 1, then the mod $p$ reduction of a projective regular model carries a rational point. As a consequence, if the Chow group of 0-cycles of $V$ over a large algebraically closed field is trivial, then the mod $p$ reduction of a projective regular model carries a rational point.


title: Planar quadratic differential systems with invariant straight lines of the total multiplicity 4

abstract: In this article we consider the action of affine group and time rescaling on planar quadratic differential systems. We construct a system of representatives of the orbits of systems with four invariant lines, including the line at infinity and including multiplicities. For each orbit we exhibit its configuration. We characterize in terms of algebraic invariants and comitants and also geometrically, using divisors of the complex projective plane, the class of quadratic differential systems with four invariant lines. These conditions are such that no matter how a system may be presented, one can verify by using them whether the system has exactly four invariant lines including multiplicities, and if it is so, to check to which orbit (or family of orbits) it belongs.


title: Biminimal immersions

abstract: We study biminimal immersions, that is immersions which are critical points of the bienergy for normal variations with fixed energy. We give a geometrical description of the Euler-Lagrange equation associated to biminimal immersions for: i) biminimal curves in a Riemannian manifold, with particular care to the case of curves in a space form ii) isometric immersions of codimension one in a Riemannian manifold, in particular for surfaces of a three-dimensional manifold. We describe two methods to construct families of biminimal surfaces using both Riemannian and horizontally homothetic submersions.


title: On the Tits building of paramodular groups

abstract: We investigate the Tits buildings of the paramodular groups with or without canonical level structure, respectively. These give important combinatorical information about the boundary of the toroidal compactification of the moduli spaces of non-principally polarised Abelian varieties. We give a full classification of the isotropic lines for all of these groups. Furthermore, for square-free, coprime polarisations without level structure we show that there is only one top-dimensional isotropic subspace. In a sequel to this paper we will use this information to establish a general type result for the moduli space of non-principally polarised Abelian varieties with full level structure.


title: Probabilistic Analysis for Randomized Game Tree Evaluation

abstract: We give a probabilistic analysis for the randomized game tree evaluation algorithm of Snir. We first show that there exists an input such that the running time, measured as the number of external nodes read by the algorithm, on that input is maximal in stochastic order among all possible inputs. For this worst case input we identify the exact expectation of the number of external nodes read by the algorithm, give the asymptotic order of the variance including the leading constant, provide a limit law for an appropriate normalization as well as a tail bound estimating large deviations. Our tail bound improves upon the exponent of an earlier bound due to Karp and Zhang, where subgaussian tails were shown based on an approach using multitype branching processes and Azuma's inequality. Our approach rests on a direct, inductive estimate of the moment generating function.


title: Course of linear algebra and multidimensional geometry

abstract: This is a standard textbook for the course of linear algebra and multidimensional geometry as it was taught in 1991-1998 at Mathematical Department of Bashkir State University. Both coordinate and invariant approaches are used, but invariant approach is preferred.


title: Realisations of Kummer-Chern-Eisenstein-Motives

abstract: Inspired by the work of G. Harder (\cite{HaICM}, \cite{HaLNM}, \cite{HaMM}) we construct via the motive of a Hilbert modular surface an extension of a Tate motive by a Dirichlet motive. We compute the realisation classes and indicate how this is linked to the Hodge-1-motive of the Hilbert modular surface.


title: Weak Asymptotics of Shock Wave Formation Process

abstract: We construct an asymptotic (in a weak sense) solution corresponding to the shock wave formation in a special situation.


title: Definitions with no quantifier alternation

abstract: Let $D(G)$ be the minimum quantifier depth of a first order sentence $\Phi$ that defines a graph $G$ up to isomorphism. Let $D_0(G)$ be the version of $D(G)$ where we do not allow quantifier alternations in $\Phi$. Define $q_0(n)$ to be the minimum of $D_0(G)$ over all graphs $G$ of order $n$. We prove that for all $n$ we have $\log^*n-\log^*\log^*n-1\le q_0(n)\le \log^*n+22$, where $\log^*n$ is equal to the minimum number of iterations of the binary logarithm needed to bring $n$ to 1 or below. The upper bound is obtained by constructing special graphs with modular decomposition of very small depth.


title: Harmonic morphisms between Weyl spaces and twistorial maps

abstract: We show that Weyl spaces provide a natural context for harmonic morphisms.


title: Infinite canonical super-Brownian motion and scaling limits

abstract: We construct a measure valued Markov process which we call infinite canonical super-Brownian motion, and which corresponds to the canonical measure of super-Brownian motion conditioned on non-extinction. Infinite canonical super-Brownian motion is a natural candidate for the scaling limit of various random branching objects on $\Z^d$ when these objects are (a) critical; (b) mean-field and (c) infinite. We prove that ICSBM is the scaling limit of the spread-out oriented percolation incipient infinite cluster above 4 dimensions and of incipient infinite branching random walk in any dimension. We conjecture that it also arises as the scaling limit in various other models above the upper-critical dimension, such as the incipient infinite lattice tree above 8 dimensions, the incipient infinite cluster for unoriented percolation, uniform spanning trees above 4 dimensions, and invasion percolation above 6 dimensions. This paper also serves as a survey of recent results linking super-Brownian to scaling limits in statistical mechanics.


title: Transverse contact structures on Seifert 3-manifolds

abstract: We characterize the oriented Seifert-fibered three-manifolds which admit positive, transverse contact structures.


title: On the structure of cofree Hopf algebras

abstract: We prove an analogue of the Poincare'-Birkhoff-Witt theorem and of the Cartier-Milnor-Moore theorem for non-cocommutative Hopf algebras. The primitive part of a cofree Hopf algebra is a B-infini-algebra. We construct a universal enveloping functor U2 from B-infini-algebras to 2-associative algebras, i.e. algebras equipped with two associative operations. We show that any cofree Hopf algebra H is of the form U2(Prim H). We take advantage of the simple description of the free 2as-algebra in terms of planar trees to unravel the structure of the operad B-infini.


title: Asymptotics of q-difference equations

abstract: In this paper we develop an asymptotic analysis for formal and actual solutions of q-difference equations, under a regularity assumption. In particular, evaluations of regular solutions of regular q-difference equations have an exponential growth rate which can be computed from the q-difference equation. The motivation for the paper comes from the Hyperbolic Volume Conjecture, which states that a specific evaluation of the colored Jones function has an exponential growth rate, which is proportional to the volume of the knot complement. The connection of the Hyperbolic Volume Conjecture with the paper comes from the fact that the colored Jones function of a knot is a solution of a q-difference equation, as was proven by T.T.Q. Le and the author. Updated references. To appear in the JAMI Proceedings, Contemporary Math, AMS.


title: An analog of a modular functor from quantized Teichm\"uller theory, I

abstract: This paper has been withdrawn by the author(s). The material contained in the paper will be published in a subtantially reorganized form, part of it is now included in math.QA/0510174


title: Affine Hecke algebras and the Schubert calculus

abstract: Using a combinatorial approach which avoids geometry, this paper studies the ring structure of K_T(G/B), the T-equivariant K-theory of the (generalized) flag variety G/B. Here the data is a complex reductive algebraic group (or symmetrizable Kac-Moody group) G, a Borel subgroup B, and a maximal torus T, and K_T(G/B) is the Grothendieck group of T-equivariant coherent sheaves on G/B. We prove "Pieri-Chevalley" formulas for the products of a Schubert class by a homogeneous line bundle (dominant or anti-dominant) and for products of a Schubert class by a codimension 1 Schubert class. All of these Pieri-Chevalley formulas are given in terms of the combinatorics of the Littelmann path model. We give explicit computations of products of Schubert classes for the rank two cases and this data allows us to make a "positivity conjecture" generalizing the theorems of Brion and Graham, which treat the cases K(G/B) and H_T^*(G/B), respectively.


title: Decreasing subsequences in permutations and Wilf equivalence for involutions

abstract: In a recent paper, Backelin, West and Xin describe a map $\phi ^*$ that recursively replaces all occurrences of the pattern $k... 21$ in a permutation $\sigma$ by occurrences of the pattern $(k-1)... 21 k$. The resulting permutation $\phi^*(\sigma)$ contains no decreasing subsequence of length $k$. We prove that, rather unexpectedly, the map $\phi ^*$ commutes with taking the inverse of a permutation. In the BWX paper, the definition of $\phi^*$ is actually extended to full rook placements on a Ferrers board (the permutations correspond to square boards), and the construction of the map $\phi^*$ is the key step in proving the following result. Let $T$ be a set of patterns starting with the prefix $12... k$. Let $T'$ be the set of patterns obtained by replacing this prefix by $k... 21$ in every pattern of $T$. Then for all $n$, the number of permutations of the symmetric group $\Sn_n$ that avoid $T$ equals the number of permutations of $\Sn_n$ that avoid $T'$. Our commutation result, generalized to Ferrers boards, implies that the number of {\em involutions} of $\Sn_n$ that avoid $T$ is equal to the number of involutions of $\Sn_n$ avoiding $T'$, as recently conjectured by Jaggard.


title: Balanced Partitions of Vector Sequences

abstract: Let $d, r \in \N$, $\|\cdot\|$ any norm on $\R^d$ and $B$ denote the unit ball with respect to this norm. We show that any sequence $v_1,v_2,...$ of vectors in $B$ can be partitioned into $r$ subsequences $V_1, ..., V_r$ in a balanced manner with respect to the partial sums: For all $n \in \N$, $\ell \le r$, we have $\|\sum_{i \le k, v_i \in V_\ell} v_i - \tfrac 1r \sum_{i \le k} v_i\| \le 2.0005 d$. A similar bound holds for partitioning sequences of vector sets. Both results extend an earlier one of B\'ar\'any and Grinberg (1981) to partitions in arbitrarily many classes.


title: Abnormal subgroups and Carter subgroups in some infinite groups

abstract: Some properties of abnormal subgroups in generalized soluble groups will be considered. In particular, the transitivity of abnormality in metahypercentral groups is proven. Also it will be proven that a subgroup H of a radical group G is abnormal in G if and only if every intermediate subgroup for H coincides with its normalizer in G. This result will extend on radical groups the well-known criterion of abnormality for finite soluble groups obtained by D. Taunt. For some infinite groups (not only periodic) the existence of Carter subgroups and their conjugations will be also proven.


title: Subgroups of finitely presented groups with solvable conjugacy problem

abstract: We prove that every countable group with solvable power problem embeds into a finitely presented 2-generated group with solvable power and conjugacy problems.


title: Rademacher processes and bounding the risk of function learning

abstract: We construct data dependent bounds on the risk in function learning problems. The bounds are based on the local norms of the Rademacher process indexed by the underlying function class and they do not require prior knowledge about the distribution of the training examples or any specific properties of the function class.


title: A counterexample to a conjecture of Bj\"{o}rner and Lov\'asz on the $\chi$-coloring complex

abstract: Associated with every graph $G$ of chromatic number $\chi$ is another graph $G'$. The vertex set of $G'$ consists of all $\chi$-colorings of $G$, and two $\chi$-colorings are adjacent when they differ on exactly one vertex. According to a conjecture of Bj\"{o}rner and Lov\'asz, this graph $G'$ must be disconnected. In this note we give a counterexample to this conjecture.


title: Some Local Measures of Complexity of Convex Hulls and Generalization Bounds

abstract: We investigate measures of complexity of function classes based on continuity moduli of Gaussian and Rademacher processes. For Gaussian processes, we obtain bounds on the continuity modulus on the convex hull of a function class in terms of the same quantity for the class itself. We also obtain new bounds on generalization error in terms of localized Rademacher complexities. This allows us to prove new results about generalization performance for convex hulls in terms of characteristics of the base class. As a byproduct, we obtain a simple proof of some of the known bounds on the entropy of convex hulls.


title: A note on Talagrand's concentration inequality for empirical processes

abstract: In this paper we revisit Talagrand's proof of concentration inequality for empirical processes. We give a different shorter proof of the main technical lemma that guarantees the existence of a certain kernel. Our proof provides the almost optimal value of the constant involved in the statement of this lemma.


title: Some extensions of an inequality of Vapnik and Chervonenkis

abstract: The inequality of Vapnik and Chervonenkis controls the expectation of the function by its sample average uniformly over a VC-major class of functions taking into account the size of the expectation. Using Talagrand's kernel method we prove a similar result for the classes of functions for which Dudley's uniform entropy integral or bracketing entropy integral is finite.


title: Empirical margin distributions and bounding the generalization error of combined classifiers

abstract: We prove new probabilistic upper bounds on generalization error of complex classifiers that are combinations of simple classifiers. Such combinations could be implemented by neural networks or by voting methods of combining the classifiers, such as boosting and bagging. The bounds are in terms of the empirical distribution of the margin of the combined classifier. They are based on the methods of the theory of Gaussian and empirical processes (comparison inequalities, symmetrization method, concentration inequalities) and they improve previous results of Bartlett (1998) on bounding the generalization error of neural networks in terms of l_1-norms of the weights of neurons and of Schapire, Freund, Bartlett and Lee (1998) on bounding the generalization error of boosting. We also obtain rates of convergence in Levy distance of empirical margin distribution to the true margin distribution uniformly over the classes of classifiers and prove the optimality of these rates.


title: Bigraded structures and the depth of blow-up algebras

abstract: Let $R$ be a Cohen-Macaulay local ring, and let $I\subset R$ be an ideal with minimal reduction $J$. In this paper we attach to the pair $I$, $J$ a non-standard bigraded module $\Sigma^{I,J}$. The study of the bigraded Hilbert function of $\SIJ$ allows us to prove a improved version of Wang's conjecture and a weak version of Sally's conjecture, both on the depth of the associated graded ring $gr_I(R)$. The module $\SIJ$ can be considered as a refinement of the Sally's module previously introduced by W. Vasconcelos.


title: Bounding the generalization error of convex combinations of classifiers: balancing the dimensionality and the margins

abstract: A problem of bounding the generalization error of a classifier f in H, where H is a "base" class of functions (classifiers), is considered. This problem frequently occurs in computer learning, where efficient algorithms of combining simple classifiers into a complex one (such as boosting and bagging) have attracted a lot of attention. Using Talagrand's concentration inequalities for empirical processes, we obtain new sharper bounds on the generalization error of combined classifiers that take into account both the empirical distribution of "classification margins'' and an "approximate dimension" of the classifiers and study the performance of these bounds in several experiments with learning algorithms.


title: MacMahon-type Identities for Signed Even Permutations

abstract: MacMahon's classic theorem states that the 'length' and 'major index' statistics are equidistributed on the symmetric group S_n. By defining natural analogues or generalizations of those statistics, similar equidistribution results have been obtained for the alternating group A_n by Regev and Roichman, for the hyperoctahedral group B_n by Adin, Brenti and Roichman, and for the group of even-signed permutations D_n by Biagioli. We prove analogues of MacMahon's equidistribution theorem for the group of signed even permutations and for its subgroup of even-signed even permutations.


title: On the degree of Fano threefolds with canonical Gorenstein singularities

abstract: We consider Fano threefolds $V$ with canonical Gorenstein singularities. A sharp bound $-K_V^3\le 72$ of the degree is proved.


title: Moduli spaces of convex projective structures on surfaces

abstract: We define convex projective structures on 2D surfaces with holes and investigate their moduli space. We prove that this moduli space is canonically identified with the higher Teichmuller space for the group PSL_3 defined in our paper math/0311149. We define the quantum version of the moduli space of convex projective structures on surfaces with holes. The present paper can serve as an introduction to math/0311149. In the Appendix we show that the space of configurations of 5 flags in the projective plane is of cluster type E_7.


title: The Kodaira dimension of Siegel modular varieties of genus 3 or higher

abstract: We consider the moduli space $A_{pol}(n)$ of (non-principally) polarised abelian varieties of genus $g\geq3$ with coprime polarisation and full level-$n$ structure. Based upon the analysis of the Tits building in math/0405321, we give an explicit lower bound on $n$ that is sufficient for the compactified moduli space to be of general type if one further explicit condition is satisfied.


title: Noncommutative plane curves

abstract: In this paper we study noncommutative plane curves, i.e. non-commutative k-algebras for which the 1-dimensional simple modules form a plane curve. We study extensions of simple modules and we try to enlighten the completion problem, i.e. understanding the connection between simple modules of different dimension.


title: Deformation of Outer Representations of Galois Group

abstract: To a hyperbolic smooth curve defined over a number-field one naturally associates an "anabelian" representation of the absolute Galois group of the base field landing in outer automorphism group of the algebraic fundamental group. In this paper, we introduce several deformation problems for Lie-algebra versions of the above representation and show that, this way we get a richer structure than those coming from deformations of "abelian" Galois representations induced by the Tate module of associated Jacobian variety. We develop an arithmetic deformation theory of graded Lie algebras with finite dimensional graded components to serve our purpose.


abstract: This paper continues the work Glasner-Tsirelson-Weiss, ArXiv math.DS/0311450. For a Polish group G the notions of G-continuous functions and whirly actions are further exploited to show that: (i) A G-action is whirly iff it admits no nontrivial spatial (= pointwise) factors. (ii) Every action of a Polish Levy group is whirly. (iii) There exists a Polish monothetic group which is not Levy but admits a whirly action. (iv) In the Polish group Aut(X,\mu), for the generic automorphism T, the action of the Polish group \Lambda(T) = closure {T^n: n \in Z} \subset Aut(X,\mu) on the Lebesgue space (X,\mu) is whirly. (v) The Polish additive group underlying a separable Hilbert space admits both spatial and whirly faithful actions. (vi) When G is a non-archimedean Polish group then every G-action is spatial.


title: Non-triviality of the A-polynomial for knots in S^3

abstract: The A-polynomial of a knot in S^3 defines a complex plane curve associated to the set of representations of the fundamental group of the knot exterior into SL(2,C). Here, we show that a non-trivial knot in S^3 has a non-trivial A-polynomial. We deduce this from the gauge-theoretic work of Kronheimer and Mrowka on SU_2-representations of Dehn surgeries on knots in S^3. As a corollary, we show that if a conjecture connecting the colored Jones polynomials to the A-polynomial holds, then the colored Jones polynomials distinguish the unknot


title: Symmetrization approach to concentration inequalities for empirical processes

abstract: We introduce a symmetrization technique that allows us to translate a problem of controlling the deviation of some functionals on a product space from their mean into a problem of controlling the deviation between two independent copies of the functional. As an application we give a new easy proof of Talagrand's concentration inequality for empirical processes, where besides symmetrization we use only Talagrand's concentration inequality on the discrete cube {-1,+1}^n. As another application of this technique we prove new Vapnik-Chervonenkis type inequalities. For example, for VC-classes of functions we prove a classical inequality of Vapnik and Chervonenkis only with normalization by the sum of variance and sample variance.


title: Deviation inequality for monotonic Boolean functions with application to a number of k-cycles in a random graph

abstract: Using Talagrand's concentration inequality on the discrete cube {0,1}^m we show that given a real-valued function Z(x)on {0,1}^m that satisfies certain monotonicity conditions one can control the deviations of Z(x) above its median by a local Lipschitz norm of Z(x) at the point x. As one application, we give a simple proof of a nearly optimal deviation inequality for the number of k-cycles in a random graph.


title: Complexities of convex combinations and bounding the generalization error in classification

abstract: We introduce and study several measures of complexity of functions from the convex hull of a given base class. These complexity measures take into account the sparsity of the weights of a convex combination as well as certain clustering properties of the base functions involved in it. We prove new upper confidence bounds on the generalization error of ensemble (voting) classification algorithms that utilize the new complexity measures along with the empirical distributions of classification margins, providing a better explanation of generalization performance of large margin classification methods.


title: Bounds for diluted mean-fields spin glass models

abstract: In an important recent paper, \cite{FL}, S. Franz and M. Leone prove rigorous lower bounds for the free energy of the diluted $p$-spin model and the $K$-sat model at any temperature. We show that the results for these two models are consequences of a single general principle. Our calculations are significantly simpler than those of \cite{FL}, even in the replica-symmetric case.


title: A central limit theorem for weighted averages of spins in the high temperature region of the Sherrington-Kirkpatrick model

abstract: In this paper we prove that in the high temperature region of the Sherrington-Kirkpatrick model for a typical realization of the disorder the weighted average of spins $\sum_{i\leq N} t_i \sigma_i$ will be approximately Gaussian provided that $\max_{i\leq N}|t_i|/\sum_{i\leq N} t_i^2$ is small.


title: A note on the free energy of the coupled system in the Sherrington-Kirkpatrick model

abstract: In this paper we consider a system of spins that consists of two configurations $\vsi^1,\vsi^2\in\Sigma_N=\{-1,+1\}^N$ with Gaussian Hamiltonians $H_N^1(\vsi^1)$ and $H_N^2(\vsi^2)$ correspondingly, and these configurations are coupled on the set where their overlap is fixed $\{R_{1,2}=N^{-1}\sum_{i=1}^N \sigma_i^1\sigma_i^2 = u_N\}.$ We prove the existence of the thermodynamic limit of the free energy of this system given that $\lim_{N\to\infty}u_N = u\in[-1,1]$ and give the analogue of the Aizenman-Sims-Starr variational principle that describes this limit via random overlap structures.


title: Model theory of probability spaces with an automorphism

abstract: The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic structures of this kind are exactly the ones isomorphic to the measure algebra of a standard Lebesgue space equipped with an aperiodic measure-preserving automorphism. The corresponding theory is complete and has quantifier elimination; moreover it is stable with built-in canonical bases. We give an intrinsic characterization of its independence relation.


title: Free energy in the Sherrington-Kirkpatrick model with constrained magnetization

abstract: This paper has been withdrawn since a trivial proof of the result has been pointed out to the author.


title: Free energy in the generalized Sherrington-Kirkpatrick mean field model

abstract: Recently Michel Talagrand gave a rigorous proof of the Parisi formula in the Sherrington-Kirkpatrick model. In this paper we build upon the methodology developed by Talagrand and extend his result to the class of SK type models in which the spins have arbitrary prior distribution on a bounded subset of the real line.


title: Backlund transformations, Ward solitons, and unitons

abstract: The Ward equation, also called the modified 2+1 chiral model, is obtained by a dimension reduction and a gauge fixing from the self-dual Yang-Mills field equation on $R^{2,2}$. It has a Lax pair and is an integrable system. Ward constructed solitons whose extended solutions have distinct simple poles. He also used a limiting method to construct 2-solitons whose extended solutions have a double pole. Ioannidou and Zakrzewski, and Anand constructed more soliton solutions whose extended solutions have a double or triple pole. Some of the main results of this paper are: (i) We construct algebraic B\"acklund transformations (BTs) that generate new solutions of the Ward equation from a given one by an algebraic method. (ii) We use an order $k$ limiting method and algebraic BTs to construct explicit Ward solitons, whose extended solutions have arbitrary poles and multiplicities. (iii) We prove that our construction gives all solitons of the Ward equation explicitly and the entries of Ward solitons must be rational functions in $x, y$ and $t$. (iv) Since stationary Ward solitons are unitons, our method also gives an explicit construction of all $k$-unitons from finitely many rational maps from $C$ to $C^n$.


title: Linking number in a projective space as the degree of a map

abstract: For any two disjoint oriented circles embedded into the 3-dimensional real projective space, we construct a 3-dimensional configuration space and its map to the projective space such that the linking number of the circles is the half of the degree of the map. Similar interpretations are given for the linking number of cycles in a projective space of arbitrary odd dimension and the self-linking number of a zero homologous knot in the 3-dimensional projective space.


title: Periodic and homoclinic solutions of the modified 2+1 Chiral model

abstract: We use algebraic Backlund transformations (BTs) to construct explicit solutions of the modified 2+1 chiral model from $T^2\times R$ to SU(n), where $T^2$ is a 2-torus. Algebraic BTs are parameterized by $z\in C$ (poles) and holomorphic maps $\pi$ from $T^2$ to Gr$(k,C^n)$. We apply B\"acklund transformations with carefully chosen poles and $\pi$'s to construct infinitely many solutions of the 2+1 chiral model that are (i) doubly periodic in space variables and periodic in time, i.e., triply periodic, (ii) homoclinic in the sense that the solution $u$ has the same stationary limit $u_0$ as $t\to \pm\infty$ and is tangent to a stable linear mode of $u_0$ as $t\to\infty$ and is tangent to an unstable mode of $u_0$ as $t\to -\infty$.


title: Numerical cubature from Archimedes' hat-box theorem

abstract: Archimedes' hat-box theorem states that uniform measure on a sphere projects to uniform measure on an interval. This fact can be used to derive Simpson's rule. We present various constructions of, and lower bounds for, numerical cubature formulas using moment maps as a generalization of Archimedes' theorem. We realize some well-known cubature formulas on simplices as projections of spherical designs. We combine cubature formulas on simplices and tori to make new formulas on spheres. In particular $S^n$ admits a 7-cubature formula (sometimes a 7-design) with $O(n^4)$ points. We establish a local lower bound on the density of a PI cubature formula on a simplex using the moment map. Along the way we establish other quadrature and cubature results of independent interest. For each $t$, we construct a lattice trigonometric $(2t+1)$-cubature formula in $n$ dimensions with $O(n^t)$ points. We derive a variant of the M\"oller lower bound using vector bundles. And we show that Gaussian quadrature is very sharply locally optimal among positive quadrature formulas.


title: Specialisation and reduction of continued fractions of formal power series

abstract: We discuss and illustrate the behaviour of the continued fraction expansion of a formal power series under specialisation of parameters or their reduction modulo $p$ and sketch some applications of the reduction theorem here proved.


title: Positivity of Dunkl's intertwining operator via the trigonometric setting

abstract: In this note, a new proof for the positivity of Dunkl's intertwining operator in the crystallographic case is given. It is based on an asymptotic relationship between the Opdam-Cherednik kernel and the Dunkl kernel as recently observed by M. de Jeu, and on positivity results of S. Sahi for the Heckman-Opdam polynomials and their non-symmetric counterparts.


title: Contact Schwarzian Derivatives

abstract: H. Sato introduced a Schwarzian derivative of a contactomorphism of three-dimensional Euclidean space and with T. Ozawa described its basic properties. In this note their construction is extended to all odd dimensions and to non-flat contact projective structures. The contact projective Schwarzian derivative of a contact projective structure is defined to be a cocycle of the contactomorphism group measuring the extent to which a contactomorphism fails to be an automorphism of the contact projective structure. For the flat model contact projective structure this gives a contact Schwarzian derivative associating to a contactomorphism of Euclidean space a tensor which vanishes if and only if the given contactomorphism is an element of the linear symplectic group acting by linear fractional transformations.


title: (Semi)classical limit of the Hartree equation with harmonic potential

abstract: Nonlinear Schrodinger Equations (NLS) of the Hartree type occur in the modeling of quantum semiconductor devices. Their "semiclassical" limit of vanishing (scaled) Planck constant is both a mathematical challenge and practically relevant when coupling quantum models to classical models. With the aim of describing the semi-classical limit of the 3D Schrodinger--Poisson system with an additional harmonic potential, we study some semi-classical limits of the Hartree equation with harmonic potential in space dimension n>1. The harmonic potential is confining, and causes focusing periodically in time. We prove asymptotics in several cases, showing different possible nonlinear phenomena according to the interplay of the size of the initial data and the power of the Hartree potential. In the case of the 3D Schrodinger-Poisson system with harmonic potential, we can only give a formal computation since the need of modified scattering operators for this long range scattering case goes beyond current theory. We also deal with the case of an additional "local" nonlinearity given by a power of the local density - a model that is relevant when incorporating the Pauli principle in the simplest model given by the "Schrodinger-Poisson-X$\alpha$ equation". Further we discuss the connection of our WKB based analysis to the Wigner function approach to semiclassical limits.


title: Sur le nombre de reflexions pleines dans les groupes de Coxeter finis

abstract: On etudie divers aspects d'une formule qui compte les reflexions pleines dans les groupes de Coxeter finis. ***** We study several points about a formula which counts reflexions in a finite Coxeter group whose reduced decompositions involve all simple reflexions.


title: Certain representations of the Cuntz relations, and a question on wavelets decompositions

abstract: We compute the Coifman-Meyer-Wickerhauser measure $\mu$ for certain families of quadrature mirror filters (QMFs), and we establish that for a subclass of QMFs, $\mu$ contains a fractal scale. In particular, these measures $\mu$ are not in the Lebesgue class.


title: The Regularity of Tor and Graded Betti Numbers

abstract: Let S=K[x_1,..., x_n], let A,B be finitely generated graded S-modules, and let m=(x_1,...,x_n). We give bounds for the Castelnuovo-Mumford regularity of the local cohomology of Tor_i(A,B) under the assumption that the Krull dimension of Tor_1(A,B) is at most 1. We apply the results to syzygies, Groebner bases, products and powers of ideals, and to the relationship of the Rees and Symmetric algebras. For example we show that any homogeneous linearly presented m-primary ideal has some power equal to a power of m; and if the first (roughly) (n-1)/2 steps of the resolution of I are linear, then I^2 is a power of m.


title: Examples of weak Hopf algebras arising from vacant double groupoids

abstract: We construct explicit examples of weak Hopf algebras (actually face algebras in the sense of Hayashi) via vacant double groupoids as explained in \http://arxiv.org/abs/math.QA/0308228. To this end, we first study the Kac exact sequence for matched pairs of groupoids and show that it can be computed via group cohomology. Then we describe explicit examples of finite vacant double groupoids.


title: Algebras associated to pseudo-roots of noncommutative polynomials are Koszul

abstract: Quadratic algebras associated to pseudo-roots of noncommutative polynomials have been introduced by I. Gelfand, Retakh, and Wilson in connection with studying the decompositions of noncommutative polynomials. Later they (with S. Gelfand and Serconek) shown that the Hilbert series of these algebras and their quadratic duals satisfy the necessary condition for Koszulity. It is proved in this note that these algebras are Koszul.


title: Some remarks on transportation cost and related inequalities

abstract: We discuss transportation cost inequalities for uniform measures on convex bodies, and connections with other geometric and functional inequalities. In particular, we show how transportation inequalities can be applied to the slicing problem, and give a new log-Sobolev-type inequality for bounded domains in R^n.


title: Coexistence for Richardson type competing spatial growth models

abstract: We study a large family of competing spatial growth models. In these the vertices in Z^d can take on three possible states {0,1,2}. Vertices in states 1 and 2 remain in their states forever, while vertices in state 0 which are adjacent to a vertex in state 1 (or state 2) can switch to state 1 (or state 2). We think of the vertices in states 1 and 2 as infected with one of two infections while the vertices in state 0 are considered uninfected. In this way these models are variants of the Richardson model. We start the models with a single vertex in state 1 and a single vertex is in state 2. We show that with positive probability state 1 reaches an infinite number of vertices and state 2 also reaches an infinite number of vertices. This extends results and proves a conjecture of Haggstrom and Pemantle. The key tool is applying the ergodic theorem to stationary first passage percolation.


title: Deformation Quantization of Pseudo Symplectic(Poisson) Groupoids

abstract: We introduce a new kind of groupoid--a pseudo \'etale groupoid, which provides many interesting examples of noncommutative Poisson algebras as defined by Block, Getzler, and Xu. Following the idea that symplectic and Poisson geometries are the semiclassical limits of the corresponding quantum geometries, we quantize these noncommutative Poisson manifolds in the framework of deformation quantization.


title: Signature quantization, representations of compact Lie groups, and a q-analogue of the Kostant partition function

abstract: We discuss some applications of signature quantization to the representation theory of compact Lie groups. In particular, we prove signature analogues of the Kostant formula for weight multiplicities and the Steinberg formula for tensor product multiplicities. Using symmetric functions, we also find, for type A, analogues of the Weyl branching rule and the Gelfand-Tsetlin theorem. These analogues involve a q-analogue of the Kostant partition function. We show that in type A, this q-analogue is polynomial in the relative interior of the cells of a complex of cones. This chamber complex can be taken to be the same as the chamber complex of the usual Kostant partition function. We present the case of A_2 as a detailed example.


title: The complex of end reductions of a contractible open 3-manifold: constructing 1-dimensional examples

abstract: Given an irreducible contractible open 3-manifold W which is not homeomorphic to R^3, there is an associated simplicial complex S(W), the complex of end reductions of W. Whenever W covers a 3-manifold M one has that the fundamental group of M is isomorphic to a subgroup of the group Aut(S(W)) of simplicial automorphisms of W. In this paper we give a new method for constructing examples W with S(W) isomorphic to a triangulation of R. It follows that any 3-manifold M covered by W must have infinite cyclic fundamental group. We also give a complete isotopy classification of the end reductions of W.


title: On quasi-reductive group schemes

abstract: The paper was motivated by a question of Vilonen, and the main results have been used by Mirkovic and Vilonen to give a geometric interpretation of the dual group (as a Chevalley group over Z) of a reductive group. We define a quasi-reducitve group over a discrete valuation ring R to be an affine flat group scheme over R such that (i) the fibers are of finite type and of the same dimension; (ii) the generic fiber is smooth and connected, and (iii) the netural component of the reduced special fiber is a reductive group. We show that such a group scheme is of finite type over R, the generic fiber is a reductive group, the special fiber is connected, and the group scheme is smooth over R in most cases, for example when the residue characteristic is not 2, or when the generic fiber and reduced special fiber are of the same type as reductive groups. We also obtain results about group schemes over a Dedekind scheme or a noetherian scheme. We show that in residue characteristic 2 there are indeed non-smooth quasi-reductive groups and they can be classified when R is strictly henselian.


title: Knot polynomials and generalized mutation

abstract: The motivation for this work was to construct a nontrivial knot with trivial Jones polynomial. Although that open problem has not yielded, the methods are useful for other problems in the theory of knot polynomials. The subject of the present paper is a generalization of Conway's mutation of knots and links. Instead of flipping a 2-strand tangle, one flips a many-string tangle to produce a generalized mutant. In the presence of rotational symmetry in that tangle, the result is called a "rotant". We show that if a rotant is sufficiently simple, then its Jones polynomial agrees with that of the original link. As an application, this provides a method of generating many examples of links with the same Jones polynomial, but different Alexander polynomials. Various other knot polynomials, as well as signature, are also invariant under such moves, if one imposes more stringent conditions upon the symmetries. Applications are also given to polynomials of satellites and symmetric knots.


title: Representations of the rational Cherednik algebras of dihedral type

abstract: In this paper we describe the Jordan-Holder series of the standard modules over the rational Cherednik algebras associated with the dihedral group. In particular, we compute the characters of the irreducible representations from the category O and classify the finite dimensional representations.


title: Estimating the eigenvalues on Quaternionic K\"ahler Manifolds

abstract: We study geometric first order differential operators on quaternionic K\"ahler manifolds. Their principal symbols are related to the enveloping algebra and Casimir elements for $\Sp(1)\Sp(n)$. This observation leads to anti-symmetry of the principal symbols and Bochner-Weitzenb\"ock formulas for operators. As an application, we estimate the first eigenvalues of them.


title: Heegaard Floer theory and property P

abstract: This paper has been withdrawn due to an error in the proof. The paper implicitly assumed that every homotopically trivial knot is related to the unknot by negative crossings, which is false (as was pointed out to the author by Peter Ozsvath).


title: K_g is not finitely generated

abstract: We prove that for any genus g>1, the subgroup K_g of the mapping class group of a closed genus g surface generated by Dehn twists about separating curves is not finitely generated.


title: Noncommutative Poincare duality for boundary actions of hyperbolic groups

abstract: For a large class of word hyperbolic groups G the cross product C^*-algebra arising from the action of G on its Gromov boundary is shown to satisfy Poincare duality in K-theory. This class strictly contains fundamental groups of compact, negatively curved manifolds. The Baum-Connes Conjecture for amenable groupoids is used in a crucial way.


title: A descent principle for the Dirac dual Dirac method

abstract: Let G be a torsion free discrete group with a finite dimensional classifying space BG. We show that G has a dual Dirac morphism if and only if a certain coarse (co)-assembly map is an isomorphism. Hence the existence of a dual Dirac morphism for such G is a metric, that is, coarse, invariant of G. We obtain similar results for groups with torsion. The framework that we develop is also suitable for studying the Lipschitz and proper Lipschitz cohomology of Connes, Gromov and Moscovici.


title: Defining relations of invariants of two 3 \times 3 matrices

abstract: Over a field of characteristic 0, the algebra of invariants of several $n\times n$ matrices under simultameous conjugation by $GL_n$ is generated by traces of products of generic matrices. Teranishi, 1986, found a minimal system of eleven generators of the algebra of invariants of two $3\times 3$ matrices. Nakamoto, 2002, obtained an explicit, but very complicated, defining relation for a similar system of generators over $\mathbb Z$. In this paper we have found another natural set of eleven generators of this algebra of invariants over a field of characteristic 0 and have given the defining relation with respect to this set. Our defining relation is much simpler than that of Nakamoto. The proof is based on easy computer calculations with standard functions of Maple but the explicit form of the relation has been found with methods of representation theory of general linear groups.


title: On the period of the continued fraction for values of the square root of power sums

abstract: The present paper proves that if for a power sum $\alpha$ over $\ZZ$ the length of the period of the continued fraction for $\sqrt{\alpha(n)}$ is constant for infinitely many even (resp. odd) $n$, then $\sqrt{\alpha(n)}$ admits a functional continued fraction expansion for all even (resp. odd) $n$, except finitely many; in particular, for such $n$, the partial quotients can be expressed by power sums of the same kind.


title: The Gromov width of complex Grassmannians

abstract: We show that the Gromov width of the Grassmannian of complex k-planes in C^n is equal to one when the symplectic form is normalized so that it generates the integral cohomology in degree 2. We deduce the lower bound from more general results. For example, if a compact manifold N with an integral symplectic form omega admits a Hamiltonian circle action with a fixed point p such that all the isotropy weights at p are equal to one, then the Gromov width of (N,omega) is at least one. We use holomorphic techniques to prove the upper bound.


title: The density of rational points in curves and surfaces

abstract: Let $X$ be an algebraic variety, defined over the rationals. This paper gives upper bounds for the number of rational points on $X$, with height at most $B$, for the case in which $X$ is a curve or a surface. In the latter case one excludes from the counting function those points that lie on lines in the surface. The bounds are uniform for all $X$ of a given degree. They are best possible in the case of curves. As an application it is shown that if $F$ is an irreducible binary form of degree 3 or more then almost all integers represented by $F$ have essentially one such representation.