title: On the arc filtration for the singularities of Arnold's lists

abstract: In a previous paper, the authors introduced a filtration on the ring ${\cal O}_{V,0}$ of germs of functions on a germ $(V,0)$ of a complex analytic variety defined by arcs on the singularity and called the arc filtration. The Poincar\'e series of this filtration were computed for simple surface singularities in the 3-space. Here they are computed for surface singularities from Arnold's lists including uni- and bimodular ones. The classification of the unimodular singularities by these Poincar\'e series turns out to be in accordance with their hierarchy defined by E. Brieskorn using the adjacency relations. Besides that we give a general formula for the Poincar\'e series of the arc filtration for isolated surface singularities which are stabilizations of plane curve ones.


title: Hecke operators on rational functions

abstract: We define Hecke operators U_m that sift out every m-th Taylor series coefficient of a rational function in one variable, defined over the reals. We prove several structure theorems concerning the eigenfunctions of these Hecke operators, including the pleasing fact that the point spectrum of the operator U_m is simply the set {+/- m^k, k in N} U {0}. It turns out that the simultaneous eigenfunctions of all of the Hecke operators involve Dirichlet characters mod L, giving rise to the result that any arithmetic function of m that is completely multiplicative and also satisfies a linear recurrence must be a Dirichlet character times a power of m. We also define the notions of level and weight for rational eigenfunctions, by analogy with modular forms, and we show the existence of some interesting finite-dimensional subspaces of rational eigenfunctions (of fixed weight and level), whose union gives all of the rational functions whose coefficients are quasi-polynomials.


title: Braids on surfaces and finite type invariants

abstract: We prove that there is no functorial universal finite type invariant for braids in $\Sigma\times I$ if the genus of $\Sigma$ is positive.


title: Stochastic differential equations with jumps

abstract: This paper is a survey of uniqueness results for stochastic differential equations with jumps and regularity results for the corresponding harmonic functions.


title: Perverse sheaves, Koszul IC-modules, and the quiver for the category O

abstract: For a stratified topological space we introduce the category of IC-modules, which are linear algebra devices with the relations described by the equation d^2=0. We prove that the category of (mixed) IC-modules is equivalent to the category of (mixed) perverse sheaves for flag varieties. As an application, we describe an algorithm calculating the quiver underlying the BGG category O for arbitrary simple Lie algebra, thus answering a question which goes back to I. M. Gelfand.


title: Fixed Point Subalgebras of Extended Affine Lie Algebras

abstract: It is shown that the fixed point subalgebra of an EALA under a finite order automorphism (satisfying certain properties) is a sum of EALA's, an abelian subalgebra, and a subspace which is contained in the centralizer of the core.


title: Minimal generating sets for the first syzygies of a monomial ideal

abstract: Two minimal generating sets of the first syzygies of a monomial ideal are produced, given the minimal generating set of the ideal.


title: Eigenfrequencies and expansions for damped wave equations

abstract: We study eigenfrequencies and propagator expansions for damped wave equations on compact manifolds. Under the assumption of geometric control, the propagator is shown to admit an expansion in terms of finitely many eigenmodes near the real axis, with an error term exponentially decaying in time. In the presence of a nondegenerate elliptic closed geodesic not meeting the support of the damping coefficient, we show that there exists a sequence of eigenfrequencies converging rapidly to the real axis. In the case of Zoll manifolds, we show that the propagator can be expanded in terms of clusters of the eigenfrequencies in the entire spectral band.


title: Category O over a deformation of the symplectic oscillator algebra

abstract: We discuss the representation theory of $H_f$, which is a deformation of the symplectic oscillator algebra $sp(2n) \ltimes h_n$, where $h_n$ is the ((2n+1)-dimensional) Heisenberg algebra. We first look at a more general setup, involving an algebra with a triangular decomposition. Assuming the PBW theorem, and one other hypothesis, we show that the BGG category $\mathcal{O}$ is abelian, finite length, and self-dual. We decompose $\mathcal{O}$ as a direct sum of blocks $\calo(\la)$, and show that each block is a highest weight category. In the second part, we focus on the case $H_f$ for $n=1$, where we prove all these assumptions, as well as the PBW theorem.


title: Transformations of elliptic hypergometric integrals

abstract: We prove a pair of transformations relating elliptic hypergeometric integrals of different dimensions, corresponding to the root systems BC_n and A_n; as a special case, we recover some integral identities conjectured by van Diejen and Spiridonov. For BC_n, we also consider their "Type II" integral. Their proof of that integral, together with our transformation, gives rise to pairs of adjoint integral operators; a different proof gives rise to pairs of adjoint difference operators. These allow us to construct a family of biorthogonal abelian functions generalizing the Koornwinder polynomials, and satisfying the analogues of the Macdonald conjectures. Finally, we discuss some transformations of Type II-style integrals. In particular, we find that adding two parameters to the Type II integral gives an integral invariant under an appropriate action of the Weyl group E_7.


title: Invariant Nonrecurrent Fatou Components of Automorphisms of $C^2$

abstract: We examine invariant nonrecurrent Fatou components of automorphisms of $\mathbb{C}^2$ in the case where all limit maps are constant. We show that except in special cases there cannot be more than one such limit map. We also briefly examine such Fatou components where the limit maps may be nonconstant. Lastly we present a few examples of such Fatou components.


title: Adaptive Algorithms in Finite Forms

abstract: We propose a new method to design adaptation algorithms that guarantee a certain prescribed level of performance and are applicable to systems with nonconvex parameterization. The main idea behind the method is, given the desired performance characteristics and a class of nonlinearly parameterized systems, first to augment the tuning error function and design the adaptation scheme in the form of ordinary differential equations. The resulting augmentation is allowed to depend on state derivatives. To deal with these, we suggest the realization of the adaptation scheme in an algebraic-integral form. Because of the explicit dependance on the state of the original system such adaptation schemes are referred to as adaptive algorithms in it finite form instead of differential ones. Sufficient conditions for the existence of finite form realizations are proposed. These conditions lead to the necessity to find a solution of a system of partial differential equations, which in general is not an easy task. In order to resolve this problem we suggest to embed the original system dynamics into one of a higher order, thus replacing it by a simple integration of a function with respect to a single scalar argument. Several full-state feedback finite form realizations are presented and illustrated with examples.


title: Catastrophe Management and Inter-Reserve Distance for Marine Reserve Networks

abstract: We consider the optimal spacing between marine reserves for maximising the viability of a species occupying a reserve network. The closer the networks are placed together, the higher the probability of colonisation of an empty reserve by an occupied reserve, thus increasing population viability. However, the closer the networks are placed together, the higher the probability that a catastrophe will cause extinction of the species in both reserves, thus decreasing population viability. Using a simple discrete-time Markov chain model for the presence or absence of the species in each reserve we determine the distance between the two reserves which provides the optimal trade-off between these processes, resulting in maximum viability of the species.

categories: math.OC math.PR q-bio.OT q-bio.PE q-bio.QM


title: Algorithms for graded injective resolutions and local cohomology over semigroup rings

abstract: Let Q be an affine semigroup generating Z^d, and fix a finitely generated Z^d-graded module M over the semigroup algebra k[Q] for a field k. We provide an algorithm to compute a minimal Z^d-graded injective resolution of M up to any desired cohomological degree. As an application, we derive an algorithm computing the local cohomology modules H^i_I(M) supported on any monomial (that is, Z^d-graded) ideal I. Since these local cohomology modules are neither finitely generated nor finitely cogenerated, part of this task is defining a finite data structure to encode them.


title: Sequential isomorphisms between the sets of von Neumann algebra effects

abstract: In this paper we describe the structure of all sequential isomorphisms between the sets of von Neumann algebra effects. It turns out that if the underlying algebras have no commutative direct summands, then every sequential isomorphism between the sets of their effects extends to the direct sum of a *-isomorphism and a *-antiisomorphism between the underlying von Neumann algebras.


title: A Proof On Weinstein Conjecture On Cotangent Bundles Of Open Manifold

abstract: We give an proof on the Weinstein conjecture on the cotangent bundles of open manifolds. Its proof is based on Gromov's nonlinear Fredholm alternative.


title: Subword complexes in Coxeter groups

abstract: Let (\Pi,\Sigma) be a Coxeter system. An ordered list of elements in \Sigma and an element in \Pi determine a {\em subword complex}, as introduced in our paper on Gr\"obner geometry of Schubert polynomials (math.AG/0110058). Subword complexes are demonstrated here to be homeomorphic to balls or spheres, and their Hilbert series are shown to reflect combinatorial properties of reduced expressions in Coxeter groups. Two formulae for double Grothendieck polynomials, one of which is due to Fomin and Kirillov, are recovered in the context of simplicial topology for subword complexes. Some open questions related to subword complexes are presented.


title: The Schlesinger System and the Riemann-Hilbert Problem

abstract: We generalize some classical results for the Schlesinger system of partial differential equations and give the explicit form of its solution, associated with rational matrix functions in general position.


title: Dual Scattering Channel Schemes Extending the Johns Algorithm

abstract: Dual scattering channel schemes extend the transmission line matrix numerical method (JOHNS' TLM algorithm) in two directions. For one point, transmission line links are replaced by abstract scattering channels in terms of paired distributions (characteristic impedances are thus neither needed, nor in general defined, e.g.). In the second place, non-trivial cell interface scattering is admitted during the connection cycle. Both extensions open a wide field of application beyond the range of classical time domain schemes, such as YEE's FDTD method and TLM. A DSC heat propagation [diffusion] scheme in non-orthogonal mesh, wherein heat sources are coupled to a lossy Maxwell field, illustrates the approach.


title: Point evaluation and Hardy space on a homogeneous tree

abstract: We consider transfer functions of time--invariant systems as defined by Basseville, Benveniste, Nikoukhah and Willsky when the discrete time is replaced by the nodes of an homogeneous tree. The complex numbers are now replaced by a C*-algebra built from the structure of the tree. We define a point evaluation with values in this C*-algebra and a corresponding ``Hardy space'' in which a Cauchy's formula holds. This point evaluation is used to define in this context the counterpart of classical notions such as Blaschke factors. There are deep analogies with the non stationary setting as developed by the first author, Dewilde and Dym.


title: Dynamics on Leibniz manifolds

abstract: This paper shows that various relevant dynamical systems can be described as vector fields associated to smooth functions via a bracket that defines what we call a Leibniz structure. We show that gradient flows, some dissipative systems, and nonholonomically constrained simple mechanical systems, among other dynamical behaviors, can be described using this mathematical construction that generalizes the standard Poisson bracket currently used in Hamiltonian mechanics. The symmetries of these systems and the associated reduction procedures are described in detail. A number of examples illustrate the theoretical developments in the paper.


title: On the Dynamics of the Self Gravitating Ellipsoid in N dimensions and its Deformation Quantization

abstract: In this paper is constructed an algebraic deformation quantization of the coadjoint orbits of the group G semidirect product of the symmetric n by n matrices and GL(n). This group is linked to the dynamics of the self gravitating ellipsoid.


title: Injectivity of the symmetric map for line bundles

abstract: Let C be a generic non-singular curve of genus g defined over a field of characteristic different from 2. We show that for every line bundle on C of degree at most g+1, the natural product map S^2(H^0(L))\to H^0(C,L^2) is injective. We also show that the bound on the degree of L is sharp.


title: Permutation sign under the Robinson-Schensted-Knuth correspondence

abstract: We show how the sign of a permutation can be deduced from the tableaux induced by the permutation under the Robinson-Schensted-Knuth correspondence. The result yields a simple proof of a conjecture on the squares of imbalances raised by Stanley.


title: The vanishing of Tor_1^R(R^+,k) implies that R is regular

abstract: Let (R,m,k) be an excellent local ring of positive prime characteristic. We show that if Tor_1^R(R^+,k) = 0 then R is regular. This improves a result of Schoutens, in which the additional hypothesis that R was an isolated singularity was required for the proof.


title: On the Blackman's Association Problem

abstract: Modern multitarget-multisensor tracking systems involve the development of reliable methods for the data association and the fusion of multiple sensor information, and more specifically the partioning of observations into tracks. This paper discusses and compares the application of Dempster-Shafer Theory (DST) and the Dezert-Smarandache Theory (DSmT) methods to the fusion of multiple sensor attributes for target identification purpose. We focus our attention on the paradoxical Blackman's association problem and propose several approaches to outperfom Blackman's solution. We clarify some preconceived ideas about the use of degree of conflict between sources as potential criterion for partitioning evidences.


title: Finite automata and pattern avoidance in words

abstract: We say that a word $w$ on a totally ordered alphabet avoids the word $v$ if there are no subsequences in $w$ order-equivalent to $v$. In this paper we suggest a new approach to the enumeration of words on at most $k$ letters avoiding a given pattern. By studying an automaton which for fixed $k$ generates the words avoiding a given pattern we derive several previously known results for these kind of problems, as well as many new. In particular, we give a simple proof of the formula \cite{Reg1998} for exact asymptotics for the number of words on $k$ letters of length $n$ that avoids the pattern $12...(\ell+1)$. Moreover, we give the first combinatorial proof of the exact formula \cite{Burstein} for the number of words on $k$ letters of length $n$ avoiding a three letter permutation pattern.


title: A Proof On Arnold Chord Conjecture In Cotangent Bundles

abstract: We prove the Arnold chord conjecture on cotangent bundles of open manifold by Gromov's nonlinear Fredholm alternative for $J-$holomorphic curves.


title: On the local factor of the zeta function of quadratic orders

abstract: We prove by an elementary method the Riemann hypothesis for the local Euler factor of the zeta function of quadratic orders.


title: An isogeny of K3 surfaces

abstract: In a recent paper Ahlgren, Ono and Penniston described the L-series of K3 surfaces from a certain one parameter family in terms of those of a particular family of elliptic curves. The Tate conjecture predicts the existence of a correspondence between these K3 surfaces and certain Kummer surfaces related to these elliptic curves. A geometric construction of this correspondence is given here, using results of D. Morrison on Nikulin involutions.


title: Vector bundles and p-adic representations I

abstract: We define and study a certain category of vector bundles on a p-adic curve to which we can associate in a functorial way finite dimensional p-adic representations of the geometric fundamental group. Among other things we investigate two different relations of these constructions with the Hodge-Tate decomposition.


title: Towards a classification of Lorentzian holonomy groups. Part II: Semisimple, non-simple weak-Berger algebras

abstract: The holonomy group of an (n+2)-dimensional simply-connected, indecomposable but non-irreducible Lorentzian manifold (M,h) is contained in the parabolic group $(\mathbb{R} \times SO(n))\ltimes \mathbb{R}^n$. The main ingredient of such a holonomy group is the SO(n)--projection $G:=pr_{SO(n)}(Hol_p(M,h))$ and one may ask whether it has to be a Riemannian holonomy group. In this paper we show that this is always the case, completing our results of the first part math.DG/0305139. We draw consequences for the existence of parallel spinors on Lorentzian manifolds.


title: A Local Index Formula for the Quantum Sphere

abstract: For the Dirac operator D on the standard quantum sphere we obtain an asymptotic expansion of the SU_q(2)-equivariant entire cyclic cocycle corresponding to \epsilon D when evaluated on the element k^2\in U_q(su_2). The constant term of this expansion is a twisted cyclic cocycle which up to a scalar coincides with the volume form and computes the quantum as well as the classical Fredholm indices.


title: Approximation of Multiple Integrals over Hyperboloids with Application to a Quadratic Portfolio with Options

abstract: We consider an application involving a financial quadratic portfolio of options, when the joint underlying log-returns changes with multivariate elliptic distribution. This motivates the needs for methods for the approximation of multiple integrals over hyperboloids. A transformation is used to reduce the hyperboloid integrals to a product of two radial integrals and two spherical surface integrals. Numerical approximation methods for the transformed integrals are constructed. The application of these methods is demonstrated using some financial applications examples.


title: Stabilit\'e des fibr\'es $\Lambda^{p}E_{L}$ et condition de Raynaud

abstract: Let $C$ be a smooth curve of genus $g \geq 2$ on $\C$. Let $L$ be a line bundle on $C$ generated by its global sections and let $E_{L}$ be the dual of the kernel of the evaluation map $e_{L}$. We are studying here the relation between the stability the fact that the bundle is verifying a condition $(R)$ introduced by Raynaud : we prove that $E_{L}$ is semi stable when $C$ is general. We also prove that $E_{L}$ is verifying $(R)$ when $\deg(L) \geq 2g$ or when $L$ is generic. Finally we prove that for each $p$ in $\{2,..., \mathrm{rg}(E_{L})-2\}$, if $\deg(L) \geq 2g+2$ then $\Lambda^{p}E_{L}$ is not verifying $(R)$.


title: On Tail Decay and Moment Estimates of a Condition Number for Random Linear Conic Systems

abstract: In this paper we study the distribution tails and the moments of a condition number which arises in the study of homogeneous systems of linear inequalities. We consider the case where this system is defined by a Gaussian random matrix and characterise the exact decay rates of the distribution tails, improve the existing moment estimates, and prove various limit theorems for large scale systems. Our results are of complexity theoretic interest, because interior-point methods and relaxation methods for the solution of systems of linear inequalities have running times that are bounded in terms of the logarithm and the square of the condition number respectively.


title: Unit circle elliptic beta integrals

abstract: We present some elliptic beta integrals with a base parameter on the unit circle, together with their basic degenerations.


title: A desingularization of real differentiable actions of finite groups

abstract: We provide abelianizations of differentiable actions of finite groups on smooth real manifolds. De Concini-Procesi wonderful models for (local) subspace arrangements and a careful analysis of linear actions on real vector spaces are at the core of our construction. In fact, we show that our abelianizations have stabilizers isomorphic to elementary abelian 2-groups, a setting for which we suggest the term digitalization. As our main examples, we discuss the resulting digitalizations of the permutation actions of the symmetric group on real linear and projective spaces.


title: Conjectures on the cohomology of the Grassmannian

abstract: We give a series of successively weaker conjectures on the cohomology ring of the Grassmannian, starting with the Hilbert series of a certain natural filtration.


abstract: This paper was withdrawn by the author. The appearance of an author-written addendum [3] to the paper [2] made our correction note [1] to that paper superfluous and hence it is no longer available here. [1] Dror Bar-Natan and Ofer Ron, A Correction to "Groups of Ribbon Knots" by Ka Yi Ng, no longer available. [2] Ka Yi Ng, Groups of Ribbon Knots, Topology 37 (1998) 441-458. [3] Ka Yi Ng, Addendum to "Groups of Ribbon Knots", arXiv:math.GT/0310074.


title: Constructing semisimple p-adic Galois representations with prescribed properties

abstract: In this paper we show that two dimensional (mod p) Galois representations satisfying mild hypotheses can be lifted to p-adic Galois representations ramified at infinitely many primes such that the characteristic polynomials of Frobenius at a density one set of unramified primes are defined over the rational integers. In particular we show that often one can "density one compatibly" lift mod p and mod q Galois representations.


title: The center of mass of the ISE and the Wiener index of trees

abstract: We derive the distribution of the center of mass $S$ of the integrated superBrownian excursion (ISE) {from} the asymptotic distribution of the Wiener index for simple trees. Equivalently, this is the distribution of the integral of a Brownian snake. A recursion formula for the moments and asymptotics for moments and tail probabilities are derived.


title: An Algorithm for Optimal Partitioning of Data on an Interval

abstract: Many signal processing problems can be solved by maximizing the fitness of a segmented model over all possible partitions of the data interval. This letter describes a simple but powerful algorithm that searches the exponentially large space of partitions of $N$ data points in time $O(N^2)$. The algorithm is guaranteed to find the exact global optimum, automatically determines the model order (the number of segments), has a convenient real-time mode, can be extended to higher dimensional data spaces, and solves a surprising variety of problems in signal detection and characterization, density estimation, cluster analysis and classification.

categories: math.NA astro-ph cs.CE cs.DS cs.IT math.CO math.IT


title: Nonlinear potentials and two weight trace inequalities for general dyadic and radial kernels

abstract: We study trace inequalities of the type $$ \| T_k f\|_{L^q(d\mu)}\leq C \|f\|_{L^p(d\sigma)}, \qquad f \in L^p(d\sigma), $$ in the ``upper triangle case'' $1 \leq q<p$ for integral operators $T_k$ with positive kernels, where $d\sigma$ and $d\mu$ are positive Borel measures on $\R^n$. Our main tool is a generalization of Th. Wolff's inequality which gives two-sided estimates of the energy ${\mathcal E}_{k, \sigma} [\mu]=\int_{\R^n} (T_k [\mu])^{p'} d \sigma$ through the $L^1(d\mu)$-norm of an appropriate nonlinear potential $W_{k, \sigma}[\mu]$ associated with the kernel $k$ and measures $d\mu$, $d \sigma$. We initially work with a dyadic integral operator with kernel $K_{\mathcal D}(x, y) = \sum_{Q\in{\mathcal D}} K(Q) \chi_Q(x) \chi_Q(y)$, where $\mathcal D=\{Q\}$ is the family of all dyadic cubes in $\R^n$, and $K: {\mathcal D}\to \R^+$. The corresponding continuous versions of Wolff's inequality and trace inequalities are derived from their dyadic counterparts.


title: A conformally invariant sphere theorem in four dimensions

abstract: In this paper we provide a sharp characterization of the smooth four-dimensional sphere. The assumptions of the theorem are conformally invariant, and can be reduced to an L^2 inequality of the Weyl tensor and positivity of the Yamabe invariant.


title: On cohomology of invariant submanifolds of Hamiltonian actions

abstract: In this note we prove the following theorem: Let $G$ be a compact Lie group acting on a compact symplectic manifold $M$ in a Hamiltonian fashion. If $L$ is an $l$-dimensional closed invariant submanifold of $M$, on which the $G$-action is locally free then the fundamental class $[L]$ is trivial in $H_l(M,{\mathbb Q})$. We also prove similar results for lower homology groups of $L$, in case the group $G$ is a finite product of copies of $S^1$ and SU(2). The key ingredients of the proofs are Kirwan's theorem that Hamiltonian spaces are equivariantly formal and symplectic reduction.


title: Relative Flux Homomorphism in Symplectic Geometry

abstract: In this work we define a relative version of the flux homomorphism, introduced by Calabi in 1969, for a symplectic manifold. We use it to study (the universal cover of) the group of symplectomorphisms of a symplectic manifold leaving a Lagrangian submanifold invariant. We show that some quotients of this group are stable under symplectic reduction.


title: Fedosov quantization in algebraic context

abstract: We consider the problem of quantization of smooth symplectic varieties in the algebro-geometric setting. We show that, under appropriate cohomological assumptions, the Fedosov quantization procedure goes through with minimal changes. The assumptions are satisfied, for example, for affine and for projective varieties. We also give a classification of all possible quantizations.


title: Busemann Points of Infinite Graphs

abstract: We provide a geometric condition which determines whether or not every point on the metric boundary of a graph with the standard path metric is a Busemann point, that is it is the limit point of a geodesic ray. We apply this and a related condition to investigate the structure of the metric boundary of Cayley graphs. We show that every metric boundary point of the Cayley graph of a finitely generated Abelian group is a Busemann point, but groups such as the braid group and the discrete Heisenberg group have boundary points of the Cayley graph which are not Busemann points when equipped with their usual generators.


title: Reciprocity law for compatible systems of abelian mod $p$ Galois representations

abstract: The main result of the paper is a reciprocity law which proves that compatible systems of semisimple, abelian mod $p$ representations (of arbitrary dimension) of absolute Galois groups of number fields, arise from Hecke characters. In the last section of the paper analogs for Galois groups of function fields of these results are explored, and a question is raised whose answer will require developments in transcendence theory in characteristic $p$.


title: C^*-algebras associated with complex dynamical systems

abstract: Iteration of a rational function $R$ gives a complex dynamical system on the Riemann sphere. We introduce a $C^*$-algebra ${\mathcal O}_R$ associated with $R$ as a Cuntz-Pimsner algebra of a Hilbert bimodule over the algebra $A = C(J_R)$ of continuous functions on the Julia set $J_R$ of $R$. The algebra ${\mathcal O}_R$ is a certain analog of the crossed product by a boundary action. We show that if the degree of $R$ is at least two, then $C^*$-algebra ${\mathcal O}_R$ is simple and purely infinite. For example if $R(z) = z^2 - 2$, then the Julia set $J_R = [-2,2]$ and the restriction $R : J_R \to J_R$ is topologically conjugate to the tent map on $[0,1]$. The algebra ${\mathcal O}_{z^2 - 2}$ is isomorphic to the Cuntz algebra ${\mathcal O}_{\infty}$. We also show that the Lyubich measure associated with $R$ gives a unique KMS state on the $C^*$-algebra ${\mathcal O}_R$ for the gauge action at inverse temperature $\log (\deg R)$ if the Julia set contains no critical points.


title: Ideal structure of $C^*$-algebras associated with $C^*$-correspondences

abstract: We study the ideal structure of $C^*$-algebras arising from $C^*$-correspondences. We prove that gauge-invariant ideals of our $C^*$-algebras are parameterized by certain pairs of ideals of original $C^*$-algebras. We show that our $C^*$-algebras have a nice property which should be possessed by generalization of crossed products. Applications to crossed products by Hilbert $C^*$-bimodules and relative Cuntz-Pimsner algebras are also discussed.


title: A simple mechanism for balancing at the border of instability with applications to persistent neural activity

abstract: Some biological systems operate at the critical point between stability and instability and this requires a fine-tuning of parameters. We bring together two examples from the literature that illustrate this: neural integration in the nervous system and hair cell oscillations in the auditory system. In both examples the question arises as to how the required fine-tuning may be achieved and maintained in a robust and reliable way. We study this question using tools from nonlinear and adaptive control theory. We illustrate our approach on a simple model which captures some of the essential features of neural integration. As a result, we propose a large class of feedback adaptation rules that may be responsible for the experimentally observed robustness of neural integration. We mention extensions of our approach to the case of hair cell oscillations in the ear.


title: Grothendieck categories and support conditions

abstract: We give examples of pairs (G1,G2) where G1 is a Grothendieck category and G2 a full Grothendieck subcategory of G1, the inclusion G2 --> G1 being denoted i, for which R^+i : D^+G2 --> D^+G1 (or even Ri : DG2 --> DG1) is a full embedding. This yields generalizations of some results of Bernstein and Lunts, and of Cline, Parshall and Scott.


title: Remarks on a paper by Juh\'asz and Kunen

abstract: We give an equivalent, but simpler formulation of the axiom SEP introduced by Juhasz and Kunen. Our formulation shows that many of the consequences of the weak Freese-Nation Property of $\mathcal P(\omega)$ already follow from SEP. We show that it is consistent that SEP holds while $\mathcal P(\omega)$ fails to have the $(\aleph_1,\aleph_0)$-ideal property, which has been introduced by Hart and Dow . This answers a question addressed independently by Fuchino and by Kunen. We also consider some natural variants of SEP and show that certain changes in the definition of SEP do not lead to a different principle. This answers a question addressed by Blass.


title: All strongly-cyclic branched coverings of (1,1)-knots are Dunwoody manifolds

abstract: We show that every strongly-cyclic branched covering of a (1,1)-knot is a Dunwoody manifold. This result, together with the converse statement previously obtained by Grasselli and Mulazzani, proves that the class of Dunwoody manifolds coincides with the class of strongly-cyclic branched coverings of (1,1)-knots. As a consequence, we obtain a parametrization of (1,1)-knots by 4-tuples of integers. Moreover, using a representation of (1,1)-knots by the mapping class group of the twice punctured torus, we provide an algorithm which gives the parametrization of all torus knots.


title: Generating the surface mapping class group by two elements

abstract: Wajnryb proved that the mapping class group of an orientable surface is generated by two elements. We prove that one of these generators can be taken as a Dehn twist. We also prove that the extended mapping class group is generated by two elements, again one of which is a Dehn twist. Another result we prove is that the mapping class groups are also generated by two elements of finite order.


title: Slab percolation for the Ising model

abstract: For the FK representation of the Ising model, we prove that the slab percolation threshold coincides with the critical temperature in any dimension larger or equal to three.


title: Manifolds with an SU(2)-action on the tangent bundle

abstract: We study manifolds arising as spaces of sections of complex manifolds fibering over the projective line with normal bundle of each section isomorphic to several copies of O(k). Such manifolds provide a natural setting for certain integrable systems, "monopoles", which comprise the Bogomolny hierarchy and the self-dual hierarchy.


title: Canonical Basis for Type $A_4$ (II)-Polynomial Elements in One Variable

abstract: All the 62 monomial elements in the canonical basis B of the quantized enveloping algebra for type $A_4$ have been determined in [2]. According to Lusztig's idea [7], the elements in the canonical basis B consist of monomials and linear combinations of monomials (for convenience, we call them polynomials). In this note, we compute all the 144 polynomial elements in one variable in the canonical basis B of the quantized enveloping algebra for type $A_4$ based on our joint note [2]. We conjecture that there are other polynomial elements in two or three variables in the canonical basis B, which include independent variables and dependent variables. Moreover, it is conjectured that there are no polynomial elements in the canonical basis B with four or more variables


title: A New Multiplicity Formula for the Weyl Modules of Type A

abstract: A monomial basis and a filtration of subalgebras for the universal enveloping algebra $U(g_l)$ of a complex simple Lie algebra $g_l$ of type $A_l$ is given in this note. In particular, a new multiplicity formula for the Weyl module $V(\lambda)$ of $U(g_l)$ is obtained in this note.


title: Golden gaskets: variations on the Sierpi\'nski sieve

abstract: We consider the iterated function systems (IFSs) that consist of three general similitudes in the plane with centres at three non-collinear points, and with a common contraction factor $\la\in(0,1)$. As is well known, for $\la=1/2$ the invariant set, $\S_\la$, is a fractal called the Sierpi\'nski sieve, and for $\la<1/2$ it is also a fractal. Our goal is to study $\S_\la$ for this IFS for $1/2<\la<2/3$, i.e., when there are "overlaps" in $\S_\la$ as well as "holes". In this introductory paper we show that despite the overlaps (i.e., the Open Set Condition breaking down completely), the attractor can still be a totally self-similar fractal, although this happens only for a very special family of algebraic $\la$'s (so-called "multinacci numbers"). We evaluate $\dim_H(\S_\la)$ for these special values by showing that $\S_\la$ is essentially the attractor for an infinite IFS which does satisfy the Open Set Condition. We also show that the set of points in the attractor with a unique ``address'' is self-similar, and compute its dimension. For ``non-multinacci'' values of $\la$ we show that if $\la$ is close to 2/3, then $\S_\la$ has a nonempty interior and that if $\la<1/\sqrt{3}$ then \S_\la$ has zero Lebesgue measure. Finally we discuss higher-dimensional analogues of the model in question.


title: A survey on Nahm transform

abstract: We review the construction known as the Nahm transform in a generalized context, which includes all the examples of this construction already described in the literature. The Nahm transform for translation invariant instantons on $\real^4$ is presented in an uniform manner. We also analyze two new examples, the first of which being the first example involving a four-manifold that is not complex.


title: Degenerations of (1,7)-polarized abelian surfaces

abstract: The moduli space of (1,7)-polarized abelian surfaces with a level structure was shown by Manolache and Schreyer to be rational with compactification a Fano 3-fold of genus 12 which is also a compactification of the variety of powersum presentations of the Klein quartic curve. In this paper the possible degenerations of the abelian surfaces are classified in terms of degenerations of powersum presentations. In particular, the surface degenerations into fourteen planes are recovered. These were independently discovered by Alfio Marini using degenerations of twisted cubic curves.


title: Endoscopic decomposition of characters of certain cuspidal representations

abstract: We construct an endoscopic decomposition for local L-packets associated to irreducible cuspidal Deligne-Lusztig representations. Moreover, the obtained decomposition is compatible with inner twistings.


title: Normality of very even nilpotent varieties in D_2l

abstract: For the classical groups, Kraft and Procesi have resolved the question of which nilpotent orbits have closures which are normal and which are not, with the exception of the very even orbits in $D_{2l}$ which have partition of the form $(a^{2k}, b^2)$ for $a, b$ distinct even natural numbers with $a k + b = 2 l$. In this article, we show that these orbits do have normal closure.


title: A Database of Local Fields

abstract: We describe our online database of finite extensions of the p-adic numbers, and how it can be used to facilitate local analysis of number fields.


title: Stochastic differential equations with boundary conditions driven by a Poisson noise

abstract: We consider one-dimensional stochastic differential equations with a boundary condition, driven by a Poisson process. We study existence and uniqueness of solutions and the absolute continuity of the law of the solution. In the case when the coefficients are linear, we give an explicit form of the solution and study the reciprocal process property.


title: Limit properties of quantum twists at q->1, from semi-classical twists to noncommutative geometry

abstract: A problem of defining the quantum analogues for semi-classical twists in $U(\mathfrak{g})[[t]]$ is considered. First, we study specialization at $q=1$ of singular coboundary twists defined in $U_{q}(\mathfrak{g})[[t]]$ for $\mathfrak{g}$ being a nonexceptional Lie algebra, then we consider specialization of noncoboundary twists when $\mathfrak{g}=\mathfrak{sl}_{3}$ and obtain $q-$deformation of the semi-classical twist introduced by Connes and Moscovici in noncommutative geometry.


title: Morse theory on Hamiltonian G-spaces and equivariant K-theory

abstract: Let $G$ be a torus and $M$ a compact Hamiltonian $G$-manifold with finite fixed point set $M^G$. If $T$ is a circle subgroup of $G$ with $M^G=M^T$, the $T$-moment map is a Morse function. We will show that the associated Morse stratification of $M$ by unstable manifolds gives one a canonical basis of $K_G(M)$. A key ingredient in our proof is the notion of local index $I_p(a)$ for $a\in K_G(M)$ and $p\in M^G$. We will show that corresponding to this stratification there is a basis $\tau_p$, $p\in M^G$, for $K_G(M)$ as a module over $K_G(\pt)$ characterized by the property: $I_q\tau_p=\delta^q_p$. For $M$ a GKM manifold we give an explicit construction of these $\tau_p$'s in terms of the associated GKM graph.


title: Solvable groups with a given solvable length, and minimal composition length

abstract: Let c(d) denote the minimal composition length of all finite solvable groups with solvable (or derived) length d. We prove that c(d) equals 0,1,2,4,5,7,8,13,15 when d=0,1,2,3,4,5,6,7,8.


title: Equivalence of domains arising from duality of orbits on flag manifolds

abstract: In [GM1], we defined a G_R-K_C invariant subset C(S) of G_C for each K_C-orbit S on every flag manifold G_C/P and conjectured that the connected component C(S)_0 of the identity would be equal to the Akhiezer-Gindikin domain D if S is of nonholomorphic type by computing many examples. In this paper, we first prove (in Theorem 1.3 and Corollary 1.4) this conjecture for the open K_C-orbit S on an ``arbitrary'' flag manifold generalizing the result of Barchini. This conjecture for closed S was solved in [WZ1], [WZ2] (Hermitian cases) and [FH] (non-Hermitian cases). We also deduce an alternative proof of this result for non-Hermitian cases from Theorem 1.3.


title: Harder-Narasimhan filtrations and optimal destabilizing vectors in complex geometry

abstract: We give a generalisation of the theory of optimal destabilizing 1-parameter subgroups to non-algebraic complex geometry. Consider a holomorphic action $G\times F\to F$ of a complex reductive Lie group $G$ on a finite dimensional (possibly non-compact) K\"ahler manifold $F$. Using a Hilbert type criterion for the (semi)stability of symplectic actions, we associate to any non semistable point $f\in F$ a unique optimal destabilizing vector in $\g$ and then a naturally defined point $f_0$ which is semistable for the action of a certain reductive subgroup of $G$ on a submanifold of $F$. We get a natural stratification of $F$ which is the analogue of the Shatz stratification for holomorphic vector bundles. In the last chapter we show that our results can be generalized to the gauge theoretical framework: first we show that the system of semistable quotients associated with the classical Harder-Narasimhan filtration of a non-semistable bundle $\EE$ can be recovered as the limit object in the direction given by the optimal destabilizing vector of $\EE$. Second, we extend this principle to holomorphic pairs: we give the analogue of the Harder-Narasimhan theorem for this moduli problem and we discuss the relation between the Harder-Narasimhan filtration of a non-semistable holomorphic pair and its optimal destabilizing vector.


title: Topological equivalence of complex polynomials

abstract: The following numerical control over the topological equivalence is proved: two complex polynomials in $n\not= 3$ variables and with isolated singularities are topologically equivalent if one deforms into the other by a continuous family of polynomial functions $f_s \colon \mathbb{C}^n \to \mathbb{C}$ with isolated singularities such that the degree, the number of vanishing cycles and the number of atypical values are constant in the family.


title: A problem of Kusner on equilateral sets

abstract: R. B. Kusner [R. Guy, Amer. Math. Monthly 90 (1983), 196--199] asked whether a set of vectors in a d-dimensional real vector space such that the l-p distance between any pair is 1, has cardinality at most d+1. We show that this is true for p=4 and any d >= 1, and false for all 1<p<2 with d sufficiently large, depending on p. More generally we show that the maximum cardinality is at most $(2\lceil p/4\rceil-1)d+1$ if p is an even integer, and at least $(1+\epsilon_p)d$ if 1<p<2, where $\epsilon_p>0$ depends on p.


title: On a set-theoretic invariant

abstract: Let a_1,...,a_m be positive real numbers. Besser and Moree considered weighted numbers of -1,+1 solutions of the linear inequality |a_i-a_j| < e_ka_k < a_i+a_j, with e_k=-1 of 1 and k running over the integers 1,...,m with i and j skipped. They introduced some invariants and near invariants related to this situation (invariant meaning here: not depending on the choice of i and j). The main result of their paper is extended here to a much more general setting, namely that of certain maps from finite sets to {-1,1}. Some applications are given.


title: Milnor fibration and fibred links at infinity

abstract: For a polynomial $f$ in two complex variables, we prove that the multi-link at infinity of the 0-fiber $f^{-1}(0)$ is a fibred multi-link if and only if all the values different from 0 are regular at infinity.


title: Associative algebras, punctured disks and the quantization of Poisson manifolds

abstract: The aim of the note is to provide an introduction to the algebraic, geometric and quantum field theoretic ideas that lie behind the Kontsevich-Cattaneo-Felder formula for the quantization of Poisson structures. We show how the quantization formula itself naturally arises when one imposes the following two requirements to a Feynman integral: on the one side it has to reproduce the given Poisson structure as the first order term of its perturbative expansion; on the other side its three-point functions should describe an associative algebra. It is further shown how the Magri-Koszul brackets on 1-forms naturally fits into the theory of the Poisson sigma-model.


title: Star-Representations sur des sous-varietes co-isotropes

abstract: For a coisotropic (or first-class) submanifold C of a Poisson manifold X we consider star-products for which the vanishing ideal I of C becomes a left ideal in the deformed algebra thus defining a left module structure on the space of smooth functions on C. We show how this can be deduced from a formality conjecture a la Tamarkin generalized to cochains compatible with C. To this end we first prove a theorem a la Hochschild-Kostant-Rosenberg between the space of compatible multivector fields and compatible multidifferential operators. We then equip the latter with a G-infinity structure, and prove that the obstructions to the formality are controlled by certain cohomology groups which we reduce in the case of C being a subvectorspace of the vectorspace M. In codimension 1 we conjecture -encouraged by low-dimensional examples and Gloessner's representation theorem (1998)- that formality holds. For higher codimensions it is not impossible that obstructions occur which in the symplectic case are linked to the Atiyah-Molino class of a regular foliation.


title: Computation of Milnor numbers and critical values at infinity

abstract: We describe how to compute topological objects associated to a polynomial map of several complex variables with isolated singularities. These objects are: the affine critical values, the affine Milnor numbers for all irregular fibers, the critical values at infinity, and the Milnor numbers at infinity for all irregular fibers. Then for a family of polynomials we detect parameters where the topology of the polynomials can change. Implementation and examples are given with the computer algebra system Singular.


title: Noncommutative Maslov Index and Eta Forms

abstract: We define and prove a noncommutative generalization of a formula relating the Maslov index of a triple of Lagrangian subspaces of a symplectic vector space to eta-invariants associated to a pair of Lagrangian subspaces generalizing a result of Bunke and Koch in the family case. The noncommutative Maslov index, defined for modules over a $C^*$-algebra $\A$, is an element in $K_0(\A)$. The generalized formula calculates its Chern character in the de Rham homology of certain dense subalgebras of $\A$. The proof, modelled on the proof by Bunke and Koch, is a noncommutative Atiyah-Patodi-Singer index theorem for a particular Dirac operator twisted by an $\A$-vector bundle. We develop an analytic framework for this type of index problem.


title: When does the associated graded Lie algebra of an arrangement group decompose?

abstract: Let \A be a complex hyperplane arrangement, with fundamental group G and holonomy Lie algebra \H. Suppose \H_3 is a free abelian group of minimum possible rank, given the values the M\"obius function \mu: \L_2\to \Z takes on the rank 2 flats of \A. Then the associated graded Lie algebra of G decomposes (in degrees 2 and higher) as a direct product of free Lie algebras. In particular, the ranks of the lower central series quotients of the group are given by \phi_r(G)=\sum_{X\in \L_2} \phi_r(F_{\mu(X)}), for r\ge 2. We illustrate this new Lower Central Series formula with several families of examples.


title: Three-page embeddings of singular knots

abstract: Construction of a semigroup with 15 generators and 84 relations is given. The center of this semigroup is in one-to-one correspondence with the set of all isotopy classes of non-oriented singular knots (links with finitely many double intersections in general position) in three-dimensional space.


title: Contact Structures with Distinct Heegaard Floer Invariants

abstract: We prove that the contact structures on Y= dX induced by non-homotopic Stein structures on the 4-manifold X have distinct Heegaard Floer invariants.


title: Cubic structures, equivariant Euler characteristics and lattices of modular forms

abstract: We use the theory of cubic structures to give a fixed point Riemann-Roch formula for the equivariant Euler characteristics of coherent sheaves on projective flat schemes over Z with a tame action of a finite abelian group. This formula supports a conjecture concerning the extent to which such equivariant Euler characteristics may be determined from the restriction of the sheaf to an infinitesimal neighborhood of the fixed point locus. Our results are applied to study the module structure of modular forms having Fourier coefficients in a ring of algebraic integers, as well as the action of diamond Hecke operators on the Mordell-Weil groups and Tate-Shafarevich groups of Jacobians of modular curves.


title: The smoothness of Riemannian submersions with nonnegative sectional curvature

abstract: Let $M^n$ be a complete, non-compact and $C^\infty$-smooth Riemannian manifold with nonnegative sectional curvature. Suppose $\Cal S$ is a soul of $M^n$. Then any distance non-increasing retraction $\Psi: M^n \to \Cal S$ must give rise to a $C^\infty$-smooth Riemannian submersion.


title: Vertices of Gelfand-Tsetlin Polytopes

abstract: This paper is a study of the polyhedral geometry of Gelfand-Tsetlin patterns arising in the representation theory $\mathfrak{gl}_n \C$ and algebraic combinatorics. We present a combinatorial characterization of the vertices and a method to calculate the dimension of the lowest-dimensional face containing a given Gelfand-Tsetlin pattern. As an application, we disprove a conjecture of Berenstein and Kirillov about the integrality of all vertices of the Gelfand-Tsetlin polytopes. We can construct for each $n\geq5$ a counterexample, with arbitrarily increasing denominators as $n$ grows, of a non-integral vertex. This is the first infinite family of non-integral polyhedra for which the Ehrhart counting function is still a polynomial. We also derive a bound on the denominators for the non-integral vertices when $n$ is fixed.


title: Inside-Out Polytopes

abstract: We present a common generalization of counting lattice points in rational polytopes and the enumeration of proper graph colorings, nowhere-zero flows on graphs, magic squares and graphs, antimagic squares and graphs, compositions of an integer whose parts are partially distinct, and generalized latin squares. Our method is to generalize Ehrhart's theory of lattice-point counting to a convex polytope dissected by a hyperplane arrangement. We particularly develop the applications to graph and signed-graph coloring, compositions of an integer, and antimagic labellings.


title: The Number of Nowhere-Zero Flows on Graphs and Signed Graphs

abstract: A nowhere-zero $k$-flow on a graph $\Gamma$ is a mapping from the edges of $\Gamma$ to the set $\{\pm1, \pm2, ..., \pm(k-1)\} \subset \bbZ$ such that, in any fixed orientation of $\Gamma$, at each node the sum of the labels over the edges pointing towards the node equals the sum over the edges pointing away from the node. We show that the existence of an \emph{integral flow polynomial} that counts nowhere-zero $k$-flows on a graph, due to Kochol, is a consequence of a general theory of inside-out polytopes. The same holds for flows on signed graphs. We develop these theories, as well as the related counting theory of nowhere-zero flows on a signed graph with values in an abelian group of odd order. Our results are of two kinds: polynomiality or quasipolynomiality of the flow counting functions, and reciprocity laws that interpret the evaluations of the flow polynomials at negative integers in terms of the combinatorics of the graph.


title: The partial-fractions method for counting solutions to integral linear systems

abstract: We present a new tool to compute the number $\phi_\A (\b)$ of integer solutions to the linear system $$ \x \geq 0 \qquad \A \x = \b $$ where the coefficients of $\A$ and $\b$ are integral. $\phi_\A (\b)$ is often described as a \emph{vector partition function}. Our methods use partial fraction expansions of Euler's generating function for $\phi_\A (\b)$. A special class of vector partition functions are Ehrhart (quasi-)polynomials counting integer points in dilated polytopes.


title: The geometric interpretation of Froberg-Iarrobino conjectures on infinitesimal neighbourhoods of points in projective space

abstract: The study of infinitesimal deformations of a variety embedded in projective space requires that of deformations of a collection of points, as specified by a zero-dimensional scheme. Further, basic problems in infinitesimal interpolation correspond directly to the analysis of such a scheme We interpret conjectures of Froberg and Iarrobino on the Hilbert function of a general collection of infinitesimal neighbourhoods of a collection of points in projective space. A main result gives a method for verifying the Weak Conjecture prescribed. Further, we present results on establishing the Strong Conjecture, but also exhibit families of counterexamples, showing the need for refinement of these conjectures.


title: Poisson structures on complex flag manifolds associated with real forms

abstract: For a complex semi-simple group G and its real form G0 we define a Poisson structure on the flag variety of G such that all the Bruhat cells (for a suitable choice of a Borel subgroup of G) as well as all the G0-orbits are Poisson submanifolds. We show that each intersection of a G0-orbit with a Bruhat cell is a regular Poisson submanifold and we compute the dimensions of its symplectic leaves.


title: A field theory for symplectic fibrations over surfaces

abstract: We introduce in this paper a field theory on symplectic manifolds that are fibered over a real surface with interior marked points and cylindrical ends. We assign to each such object a morphism between certain tensor products of quantum and Floer homologies that are canonically attached to the fibration. We prove a composition theorem in the spirit of QFT, and show that this field theory applies naturally to the problem of minimising geodesics in Hofer's geometry. This work can be considered as a natural framework that incorporates both the Piunikhin-Salamon-Schwarz morphisms and the Seidel isomorphism.


title: Monad interleaving: a construction of the operad for Leinster's weak $\omega$-categories

abstract: We show how to "interleave" the monad for operads and the monad for contractions on the category \coll of collections, to construct the monad for the operads-with-contraction of Leinster. We first decompose the adjunction for operads and the adjunction for contractions into a chain of adjunctions each of which acts on only one dimension of the underlying globular sets at a time. We then exhibit mutual stability conditions that enable us to alternate the dimension-by-dimension free functors. Hence we give an explicit construction of a left adjoint for the forgetful functor $\owc \lra \coll$, from the category of operads-with-contraction to the category of collections. By applying this to the initial (empty) collection, we obtain explicitly an initial operad-with-contraction, whose algebras are by definition the weak $\omega$-categories of Leinster.


title: On log canonical divisors that are log quasi-numerically positive

abstract: Let $(X, \Delta)$ be a four-dimensional log variety that is projective over the field of complex numbers. Assume that $(X, \Delta)$ is not Kawamata log terminal (klt) but divisorial log terminal (dlt). First we introduce the notion of "log quasi-numerically positive", by relaxing that of "numerically positive". Next we prove that, if the log canonical divisor $K_X + \Delta$ is log quasi-numerically positive on $(X, \Delta)$ then it is semi-ample.


title: A c*-algebraic framework for quantum groups

abstract: We develop a general framework to deal with the unitary representations of quantum groups using the language of C*-algebras. Using this framework, we prove that the duality holds in a general context. This extends the framework of the duality theorem using the language of von Neumann algebras previously developed by Masuda and Nakagami.


title: On the singular braid monoid

abstract: Garside's results and the existense of the greedy normal form for braids are shown to be true for the singular braid monoid. An analogue of the presentation of J. S. Birman, K. H. Ko and S. J. Lee for the braid group is also obtained for this monoid.


title: The Weierstrass-Enneper Representation using hodographic coordinates on a minimal surface

abstract: In this paper we obtain the general solution to the minimal surface equation, namely its local Weierstrass-Enneper representation, by using a system of hodographic coordinates. This is done by using the method of solving the Born-Infeld equations by Whitham. We directly compute conformal coordinates on the minimal surface which give the Weierstrass-Enneper representation. From this we derive the hodographic coordinate $\rho \in D \subset {\CC}$ and $\sigma $ its complex conjugate which enables us to write the Weierstrass-Enneper representation in a new way.


title: B\"acklund Transformations of the Sixth Painlev\'e Equation in Terms of Riemann-Hilbert Correspondence

abstract: It is well known that the sixth Painlev\'e equation $\PVI$ admits a group of B\"acklund transformations which is isomorphic to the affine Weyl group of type $\mathrm{D}_4^{(1)}$. Although various aspects of this unexpectedly large symmetry have been discussed by many authors, there still remains a basic problem yet to be considered, that is, the problem of characterizing the B\"acklund transformations in terms of Riemann-Hilbert correspondence. In this direction, we show that the B\"acklund transformations are just the pull-back of very simple transformations on the moduli of monodromy representations by the Riemann-Hilbert correspondence. This result gives a natural and clear picture of the B\"acklund transformations. Key words: B\"acklund transformation, the sixth Painlev\'e equation, Riemann-Hilbert correspondence, isomonodromic deformation, affine Weyl group of type $\mathrm{D}_4^{(1)}$.


title: Moduli of Stable Parabolic Connections, Riemann-Hilbert correspondence and Geometry of Painlev\'{e} equation of type VI, Part I

abstract: In this paper, we will give a complete geometric background for the geometry of Painlev\'e $VI$ and Garnier equations. By geometric invariant theory, we will construct a smooth coarse moduli space $M_n^{\balpha}(\bt, \blambda, L) $ of stable parabolic connection on $\BP^1$ with logarithmic poles at $D(\bt) = t_1 + ... + t_n$ as well as its natural compactification. Moreover the moduli space $\cR(\cP_{n, \bt})_{\ba}$ of Jordan equivalence classes of $SL_2(\C)$-representations of the fundamental group $\pi_1(\BP^1 \setminus D(\bt),\ast)$ are defined as the categorical quotient. We define the Riemann-Hilbert correspondence $\RH: M_n^{\balpha}(\bt, \blambda, L) \lra \cR(\cP_{n, \bt})_{\ba}$ and prove that $\RH$ is a bimeromorphic proper surjective analytic map. Painlev\'e and Garnier equations can be derived from the isomonodromic flows and Painlev\'e property of these equations are easily derived from the properties of $\RH$. We also prove that the smooth parts of both moduli spaces have natural symplectic structures and $\RH$ is a symplectic resolution of singularities of $\cR(\cP_{n, \bt})_{\ba}$, from which one can give geometric backgrounds for other interesting phenomena, like Hamiltonian structures, B\"acklund transformations, special solutions of these equations.


title: L^2-Homology for von Neumann Algebras

abstract: We define the notion of L^2 homology and L^2 Betti numbers for a tracial von Neumann algebra, or, more generally, for any involutive algebra with a trace. The definition of these invariants is obtained from the definition of L^2 homology for groups, using the ideas from the theory of correspondences. For the group algebra of a discrete group, our Betti numbers coincide with the L^2 Betti numbers of the group. We find a link between the first L^2 Betti number and free entropy dimension, which points to the non-vanishing of L^2 homology for the von Neumann algebra of a free group.


title: Dead end words in lamplighter groups and other wreath products

abstract: We explore the geometry of the Cayley graphs of the lamplighter groups and a wide range of wreath products. We show that these groups have dead end elements of arbitrary depth with respect to their natural generating sets. An element $w$ in a group $G$ with finite generating set $X$ is a dead end element if no geodesic ray from the identity to $w$ in the Cayley graph $\Gamma(G,X)$ can be extended past $w$. Additionally, we describe some nonconvex behavior of paths between elements in these Cayley graphs and seesaw words, which are potential obstructions to these graphs satisfying the $k$-fellow traveller property.


title: Boolos-style proofs of limitative theorems

abstract: Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.


title: A discrete form of the theorem that each field endomorphism of R (Q_p) is the identity

abstract: Let K be a field and F denote the prime field in K. Let \tilde{K} denote the set of all r \in K for which there exists a finite set A(r) with {r} \subseteq A(r) \subseteq K such that each mapping f:A(r) \to K that satisfies: if 1 \in A(r) then f(1)=1, if a,b \in A(r) and a+b \in A(r) then f(a+b)=f(a)+f(b), if a,b \in A(r) and a \cdot b \in A(r) then f(a \cdot b)=f(a) \cdot f(b), satisfies also f(r)=r. Obviously, each field endomorphism of K is the identity on \tilde{K}. We prove: \tilde{K} is a countable subfield of K, if char(K) \neq 0 then \tilde{K}=F, \tilde{C}=Q, if each element of K is algebraic over F=Q then \tilde{K}={x \in K: x is fixed for all automorphisms of K}, \tilde{R} is equal to the field of real algebraic numbers, \tilde{Q_p}={x \in Q_p: x is algebraic over Q}.


title: Nowhere-Zero Flow Polynomials

abstract: In this article we introduce the flow polynomial of a digraph and use it to study nowhere-zero flows from a commutative algebraic perspective. Using Hilbert's Nullstellensatz, we establish a relation between nowhere-zero flows and dual flows. For planar graphs this gives a relation between nowhere-zero flows and flows of their planar duals. It also yields an appealing proof that every bridgeless triangulated graph has a nowhere-zero four-flow.


title: On Correspondences of a K3 Surface with itself, II

abstract: Let X be a K3 surface with a polarization H of degree H^2=2rs and with a primitive Mukai vector (r,H,s). The moduli space of sheaves over X with the isotropic Mukai vector (r,H,s) is again a K3 surface Y. We prove that Y\cong X, if Picard lattice N(X) has an element h_1 with h_1^2=f(r,s), and the pair (H,h_1) satisfies a finite number of congruence conditions modulo N_i(r,s). These conditions are exactly written and are necessary for Y\cong X, if X is general with rk N(X)=2. Existence of such criterion is surprising and gives some geometric interpretation of elements in N(X) with negative square. We also desribe all divisorial conditions on moduli of (X,H) which imply Y\cong X. Thus, here we treat in general problems considered in math.AG/0206158, math.AG/0304415, math.AG/0307355 when H.N(X)=Z was assumed. In general, the results are much more complicated and less efficient.


title: The Beilinson-Bernstein correspondence for quantized enveloping algebras

abstract: Theory of the quantized flag manifold as a quasi-scheme (non-commutative scheme) has been developed by Lunts-Rosenberg. They have formulated an analogue of the Beilinson-Bernstein correspondence using the $q$-differential operators introduced in their earlier paper. In this paper we shall establish its modified version using a class of $q$-differential operators, which is (possibly) smaller than the one used by Lunts-Rosenberg.


title: A theory of tensor products for vertex operator algebra satsifying C_2-cofiniteness

abstract: We reformed the tensor product theory of vertex operator algebras developed by Huang and Lepowsky so that we could apply it to all vertex operator algebras satisfying C_2-cofiniteness. We also showed that the tensor product theory develops naturally if we include not only ordinary modules, but also weak modules with a composition series of finite length (we call it an Artin module). In particular, we don't assume the semisimplicity of the weight operator L(0). Actually, without the assumption of rationality, a C_2-cofiniteness on V is enough to obtain the existence of a tensor product of two Artin modules and natural associativity of tensor products. Namely, the category of Artin modules becomes a braided tensor category. As an application of the tensor product theory under C_2-cofiniteness, we proved the rationality of some orbifold models. For example, if a vertex operator algebra V has a finite automorphism group and the fixed point vertex operator subalgebra V^G is C_2-cofinite, then for any irreducible V^{<g>}-module W, there is an element h\in <g> such that W is contained in some h-twisted V-module. Furthermore, if V^G is rational, then V^{<g>} is also rational for any g\in G.


title: The Simplex Algorithm in Dimension Three

abstract: We investigate the worst-case behavior of the simplex algorithm on linear programs with three variables, that is, on 3-dimensional simple polytopes. Among the pivot rules that we consider, the ``random edge'' rule yields the best asymptotic behavior as well as the most complicated analysis. All other rules turn out to be much easier to study, but also produce worse results: Most of them show essentially worst-possible behavior; this includes both Kalai's ``random-facet'' rule, which without dimension restriction is known to be subexponential, as well as Zadeh's deterministic history dependent rule, for which no non-polynomial instances in general dimensions have been found so far.


title: Combinatorial Duality and Intersection Product: A Direct Approach

abstract: The proof of the combinatorial Hard Lefschetz Theorem for the ``virtual'' intersection cohomology of a not necessarily rational polytopal fan that has been presented by K. Karu completely establishes Stanley's conjectures for the generalized $h$-vector of an arbitrary polytope. The main ingredients, namely, Poincare Duality and the Hard Lefschetz Theorem, both rely on the intersection product. In the constructions of Barthel, Brasselet, Fieseler and Kaup and Bressler and Lunts, there remained an apparent ambiguity. The recent solution of this problem by Bressler and Lunts uses the formalism of derived categories. The present article gives a straightforward approach to combinatorial duality and a natural intersection product, completely within the framework of elementary sheaf theory and commutative algebra, thus avoiding derived categories.


title: Global regularity for the Maxwell-Klein-Gordon equation with small critical Sobolev norm in high dimensions

abstract: We show that in dimensions $n \geq 6$ that one has global regularity for the Maxwell-Klein-Gordon equations in the Coulomb gauge provided that the critical Sobolev norm $\dot H^{n/2-1} \times \dot H^{n/2-2}$ of the initial data is sufficiently small. These results are analogous to those recently obtained for the high-dimensional wave map equation but unlike the wave map equation, the Coulomb gauge non-linearity cannot be iterated away directly. We shall use a different approach, proving Strichartz estimates for the covariant wave equation. This in turn will be achieved by use of Littlewood-Paley multipliers, and a global parametrix for the covariant wave equation constructed using a truncated, microlocalized Cronstrom gauge.


title: Advances in Inequalities of the Schwarz, Gruss and Bessel Type in Inner Product Spaces

abstract: The main aim of this monograph is to survey some recent results obtained by the author related to reverses of the Schwarz, triangle and Bessel inequalities. Some Gruss' type inequalities for orthonormal families of vectors in real or complex inner product spaces are presented as well. Generalizations of the Boas-Bellman, Bombieri, Selberg, Heilbronn and Pecaric inequalities for finite sequences of vectors that are not necessarily orthogonal are also provided. Two extensions of the celebrated Ostrowski's inequalities for sequences or real numbers and the generalization of Wagner's inequality in inner product spaces are pointed out. Finally, some Gruss type inequalities for n-tuples of vectors in inner product spaces and their natural applications for the approximation of the discrete Fourier and Mellin transforms are given as well.


title: On the largest eigenvalue of Wishart matrices with identity covariance when n, p and p/n tend to infinity

abstract: Let X be a n*p matrix and l_1 the largest eigenvalue of the covariance matrix X^{*}*X. The "null case" where X_{i,j} are independent Normal(0,1) is of particular interest for principal component analysis. For this model, when n, p tend to infinity and n/p tends to gamma in (0,\infty), it was shown in Johnstone (2001) that l_1, properly centered and scaled, converges to the Tracy-Widom law. We show that with the same centering and scaling, the result is true even when p/n or n/p tends to infinity. The derivation uses ideas and techniques quite similar to the ones presented in Johnstone (2001). Following Soshnikov (2002), we also show that the same is true for the joint distribution of the k largest eigenvalues, where k is a fixed integer. Numerical experiments illustrate the fact that the Tracy-Widom approximation is reasonable even when one of the dimension is "small".


title: Self-Interacting Diffusions : Symmetric Interactions

abstract: Let $M$ be a compact Riemannian manifold. A {\em self-interacting diffusion} on $M$ is a stochastic process solution to $$dX_t = dW_t(X_t) - \frac{1}{t}(\int_0^t \nabla V_{X_s}(X_t)ds)dt$$ where $\{W_t\}$ is a Brownian vector field on $M$ and $V_x(y) = V(x,y)$ a smooth function. Let $\mu_t = \frac{1}{t} \int_0^t \delta_{X_s} ds$ denote the normalized occupation measure of $X_t$. We prove that, when $V$ is symmetric, $\mu_t$ converges almost surely to the critical set of a certain nonlinear free energy functional $J$. Furthermore, $J$ has generically finitely many critical points and $\mu_t$ converges almost surely toward a local minimum of $J.$ Each local minimum having a positive probability to be selected.


title: Markov Towers and Stochastic Properties of Billiards

abstract: The aim of this survey is twofold. First we show how the Markov tower construction is applicable for obtaining finer stochastic properties, like a local limit theorem of probability theory. Here the fundamental method is the study of the spectrum of the Fourier transform of the Perron--Frobenius operator. These ideas and results are applicable to all systems Young has been considering. Second, we survey the problem of recurrence of the planar Lorentz process. As an application of the results from the first part, we obtain a dynamical proof of recurrence for the finite horizon case. Here basically different proofs were given by K. Schmidt, in 1998, and J.-P. Conze, in 1999. As another application we can also treat the infinite horizon case, where already the global limit theorem is absolutely novel. It is not a central one, the scaling is $\sqrt {n \log n}$ in contrast to the classical $\sqrt n$ one. Beyond thus giving a rigorous proof for earlier heuristic ideas of P. Bleher, which used three delicate and hard hypotheses, we can also a) verify the local version of this limit theorem for the free flight function and b) prove the recurrence of the planar Lorentz process in the infinite horizon case.


title: On Warnaar's elliptic matrix inversion and Karlsson-Minton-type elliptic hypergeometric series

abstract: Using Krattenthaler's operator method, we give a new proof of Warnaar's recent elliptic extension of Krattenthaler's matrix inversion. Further, using a theta function identity closely related to Warnaar's inversion, we derive summation and transformation formulas for elliptic hypergeometric series of Karlsson-Minton-type. A special case yields a particular summation that was used by Warnaar to derive quadratic, cubic and quartic transformations for elliptic hypergeometric series. Starting from another theta function identity, we derive yet different summation and transformation formulas for elliptic hypergeometric series of Karlsson-Minton-type. These latter identities seem quite unusual and appear to be new already in the trigonometric (i.e., p=0) case.


title: Local Limit Theorem for the Lorentz Process and Its Recurrence in the Plane

abstract: For Young systems, i.e. for hyperbolic systems without/with singularities satisfying Lai-Sang Young's axioms (which imply exponential decay of correlation and the CLT) a local CLT is proven. In fact, a unified version of the local CLT is found, covering among others the absolutely contionuous and the arithmetic cases. For the planar Lorentz process with a finite horizon this result implies a.) the local CLT and b.) the recurrence. For the latter case ($d=2$, finite horizon), combining the global CLT with abstract ergodic theoretic ideas, K. Schmidt, and J.-P. Conze, could already establish recurrence.


title: Essential domains and two conjectures in dimension theory

abstract: This note investigates two long-standing conjectures on the Krull dimension of integer-valued polynomial rings and of polynomial rings, respectively, in the context of (locally) essential domains.


title: SU(d)--biinvariant random walks on SL(d,C) and their Euclidean counterparts

abstract: We establish a deformation isomorphism between the algebras of $SU(d)$-biinvariant compactly supported measures on $SL(d,\comp)$ and $SU(d)$-conjugation invariant measures on the Euclidean space $H_d^0$ of all Hermitian $d\times d$-matrices with trace 0. This isomorphism concisely explains a close connection between the spectral problem for sums of Hermititan matrices on one hand and the singular spectral problem for products of matrices from $SL(d,\comp)$ on the other, which has recently been observed by Klyachko \cite{Kl2}. From this deformation we further obtain an explicit, probability preserving and isometric isomorphism between the Banach algebra of bounded $SU(d)$-biinvariant measures on $SL(d,\comp)$ and a certain (non-invariant) subalgebra of the bounded signed measures on $H_d^0$. We demonstrate how this probability preserving isomorphism leads to limit theorems for the singular spectrum of $SU(d)$-biinvariant random walks on $SL(d,\comp)$ in a simple way. Our construction relies on deformations of hypergroup convolutions and will be carried out in the general setting of complex semisimple Lie groups.


title: Radial multiresolution in dimension three

abstract: We present a construction of a wavelet-type orthonormal basis for the space of radial $L^2$-functions in $\R^3$ via the concept of a radial multiresolution analysis. The elements of the basis are obtained from a single radial wavelet by usual dilations and generalized translations. Hereby the generalized translation reveals the group convolution of radial functions in $\R^3$. We provide a simple way to construct a radial scaling function and a radial wavelet from an even classical scaling function on $\R$. Furthermore, decomposition and reconstruction algorithms are formulated.


title: Isomorphisms of algebras associated with directed graphs

abstract: In this paper we verify that the graph forms a complete invariant for Banach algebra isomorphisms of tensor algebras of graphs. For tensor algebras associated with countable directed graphs having no sinks the graph forms an invariant for algebraic isomorphisms as well. The graph also forms a complete invariant for w*-bicontinuous isomorphisms of free semigroupoid algebras. For free semigroupoid algebras associated with countable directed locally finite graphs with no sinks, the graph also forms an invariant for algebraic isomorphisms.


title: A Unified Construction of Coxeter Group Representations (I)

abstract: An elementary approach to the construction of Coxeter group representations is presented.


title: Noncommutative Lp structure encodes exactly Jordan structure

abstract: We prove that for all 1 \le p \le \infty, p not 2, the Lp spaces associated to two von Neumann algebras M,N are isometrically isomorphic if and only if M and N are Jordan *-isomorphic. This follows from a noncommutative Lp Banach-Stone theorem: a specific decomposition for surjective isometries of noncommutative Lp spaces.


title: Topological Sectors and a Dichotomy in Conformal Field Theory

abstract: Let A be a local conformal net of factors on the circle with the split property. We provide a topological construction of soliton representations of the tensor product of n copies of A, that restrict to true representations of subnet inviant under cyclic permutations (cyclic orbifold). We prove a quantum index theorem for our sectors relating the Jones index to a topological degree. Then A is not completely rational iff the the cyclic orbifold has an irreducible representation with infinite index. This implies the following dichotomy: if all irreducible sectors of A have a conjugate sector then either A is completely rational or A has uncountably many different irreducible sectors. Thus A is rational iff A is completely rational. In particular, if the mu-index of A finite then A turns out to be strongly additive. By [KLM], if A is rational then the tensor category of representations of A is automatically modular, namely the braiding symmetry is non-degenerate. In interesting cases, we compute the fusion rules of the topological solitons and show that they determine all twisted sectors of the cyclic orbifold.


title: The Riemann Hypothesis is Unprovable

abstract: In this note, we give a simple proof that the Riemann Hypothesis is unprovable in any reasonable axiom system.


title: On Bilateral Weighted Shifts in Noncommutative Multivariable Operator Theory

abstract: We present a generalization of bilateral weighted shift operators for the noncommutative multivariable setting. We discover a notion of periodicity for these shifts, which has an appealing diagramatic interpretation in terms of an infinite tree structure associated with the underlying Hilbert space. These shifts arise naturally through weighted versions of certain representations of the Cuntz C$^*$-algebras $O_n$. It is convenient, and equivalent, to consider the weak operator topology closed algebras generated by these operators when investigating their joint reducing subspace structure. We prove these algebras have non-trivial reducing subspaces exactly when the shifts are doubly-periodic; that is, the weights for the shift have periodic behaviour, and the corresponding representation of $O_n$ has a certain spatial periodicity. This generalizes Nikolskii's Theorem for the single variable case.


title: On Kontsevich's Hochschild cohomology conjecture

abstract: Let an n-algebra mean an algebra over the chain complex of the little n-cubes operad. We give a proof of Kontsevich's conjecture, which states that for a suitable notion of Hochschild cohomology in the category of n-algebras, the Hochschild cohomology complex of an n-algebra is an (n+1)-algebra. This generalizes a conjecture by Deligne for n=1, now proven by several authors.


title: On locally convex PL-manifolds and fast verification of convexity

abstract: We show that a realization of a closed connected PL-manifold of dimension n-1 in Euclidean n-space (n>2) is the boundary of a convex polyhedron if and only if the interior of each (n-3)-face has a point, which has a neighborhood lying on the boundary of a convex n-dimensional body. This result is derived from a generalization of Van Heijenoort's theorem on locally convex manifolds to spherical spaces. We also give a brief analysis of how local convexity and topology of non-compact surfaces are related to global convexity in the hyperbolic space. Our convexity criterion for PL-manifolds imply an easy polynomial-time algorithm for checking convexity of a given closed compact PL-surface in Euclidean of spherical space of dimension n>2.


title: Non-selfadjoint Operator Algebras generated by Weighted Shifts on Fock Space

abstract: Noncommutative multivariable versions of weighted shifts arise naturally as `weighted' left creation operators acting on Fock space. We investigate the unital weak operator topology closed algebras they generate. The unweighted case yields noncommutative analytic Toeplitz algebras. The commutant can be described in terms of weighted right creation operators when the weights satisfy a condition specific to the noncommutative setting. We prove these algebras are reflexive when the eigenvalues for the adjoint algebra include an open set in complex $n$-space, and provide a new elementary proof of reflexivity for the unweighted case. We compute eigenvalues for the adjoint algebras in general, finding geometry not present in the single variable setting. Motivated by this work, we obtain general information on the spectral theory for noncommuting $n$-tuples of operators.


title: Identities between q-hypergeometric and hypergeometric integrals of different dimensions

abstract: Given complex numbers $m_1,l_1$ and nonnegative integers $m_2,l_2$, such that $m_1+m_2=l_1+l_2$, for any $a,b=0, ... ,\min(m_2,l_2)$ we define an $l_2$-dimensional Barnes type q-hypergeometric integral $I_{a,b}(z,\mu;m_1,m_2,l_1,l_2)$ and an $l_2$-dimensional hypergeometric integral $J_{a,b}(z,\mu;m_1,m_2,l_1,l_2)$. The integrals depend on complex parameters $z$ and $\mu$. We show that $I_{a,b}(z,\mu;m_1,m_2,l_1,l_2)$ equals $J_{a,b}(e^\mu,z;l_1,l_2,m_1,m_2)$ up to an explicit factor, thus establishing an equality of $l_2$-dimensional q-hypergeometric and $m_2$-dimensional hypergeometric integrals. The identity is based on the $(gl_k,gl_n)$ duality for the qKZ and dynamical difference equations.


title: The Arnold-Givental conjecture and moment Floer homology

abstract: We prove the Arnold-Givental conjecture for a class of Lagrangian submanifolds in Marsden-Weinstein quotients which are fixpoint sets of some antisymplectic involution. For these Lagrangians the Floer homology cannot in general be defined by standard means due to the bubbling phenomenon. To overcome this difficulty we consider moment Floer homology whose boundary operator is defined by counting solutions of the symplectic vortex equations on the strip which have better compactness properties than the original Floer equations.


title: On the irreducibility of multivariate subresultants

abstract: Let $P_1,...,P_n$ be generic homogeneous polynomials in $n$ variables of degrees $d_1,...,d_n$ respectively. We prove that if $\nu$ is an integer satisfying ${\sum_{i=1}^n d_i}-n+1-\min\{d_i\}<\nu,$ then all multivariate subresultants associated to the family $P_1,...,P_n$ in degree $\nu$ are irreducible. We show that the lower bound is sharp. As a byproduct, we get a formula for computing the residual resultant of $\binom{\rho-\nu +n-1}{n-1}$ smooth isolated points in $\PP^{n-1}.$


title: On the upper semicontinuity of the Wu metric

abstract: We discuss continuity and upper semicontinuity of the Wu pseudometric.


title: Grassmann Electrodynamics and General Relativity

abstract: The aim of this paper is to present a short introduction to supergeometry on pure odd supermanifolds. (Pseudo)differential forms, Cartan calculus (DeRham differential, Lie derivative, "inner" product), metric, inner product, Killing's vector fields, Hodge star operator, integral forms, co-differential and connection on odd Riemannian supermanifolds are introduced. The electrodynamics and Einstein relativity with anti-commuting variables only are formulated modifying the geometry beyond classical (even, bosonic) theories appropriately. Extension of these ideas to general supermanifolds is straightforward. All this "odd business" (in both meanings of the word "odd") is based on classical geometrical analogy.


title: Proper discs in Stein manifolds avoiding complete pluripolar sets

abstract: We prove the following theorem: Let X be a Stein manifold of dimension at least 2 and Y a closed complete pluripolar subset of X. Given a point p in the complement of Y there is a proper holomorphic map f from the unit disc to X such that f(0)=p and the image of f avoids Y.


title: An Algorithm of Constructing Cohomological Series Solutions of Holonomic Systems

abstract: We present an algorithm to construct a basis of k-th extension group of a D-module M in ring of the formal power series Ext_D^k(M,O).


title: Motivic Galois theory for motives of niveau $\leq$ 1

abstract: Let T be a Tannakian category over a field k of characteristic 0 and \pi(T) its fundamental group. In this paper we prove that there is a bijection between the otimes-equivalence classes of Tannakian subcategories of T and the normal affine group sub-T-schemes of \pi(T). We apply this result to the Tannakian category T_1(k) generated by motives of niveau \leq 1 defined over k, whose fundamental group is called the motivic Galois group G_mot(T_1(k)) of motives of niveau \leq 1. We find four short exact sequences of affine group sub-T_1(k)-schemes of G_mot(T_1(k)), correlated one to each other by inclusions and projections. Moreover, given a 1-motive M, we compute explicitly the biggest Tannakian subcategory of the one generated by M, whose fundamental group is commutative.


title: The interleaved multichromatic number of a graph

abstract: For $k\ge 1$, we consider interleaved $k$-tuple colorings of the nodes of a graph, that is, assignments of $k$ distinct natural numbers to each node in such a way that nodes that are connected by an edge receive numbers that are strictly alternating between them with respect to the relation $<$. If it takes at least $\chi_{int}^k(G)$ distinct numbers to provide graph $G$ with such a coloring, then the interleaved multichromatic number of $G$ is $\chi_{int}^*(G)=\inf_{k\ge 1}\chi_{int}^k(G)/k$ and is known to be given by a function of the simple cycles of $G$ under acyclic orientations if $G$ is connected [1]. This paper contains a new proof of this result. Unlike the original proof, the new proof makes no assumptions on the connectedness of $G$, nor does it resort to the possible applications of interleaved $k$-tuple colorings and their properties.


title: An infinite family of hyperbolic graph complements in S^3

abstract: For any g>1 we construct a graph G_g in S^3 whose exterior M_g supports a complete finite-volume hyperbolic structure with one toric cusp and a connected geodesic boundary of genus g. We compute the canonical decomposition and the isometry group of M_g, showing in particular that any self-homeomorphism of M_g extends to a self-homeomorphism of the pair (S^3,G_g), and that G_g is chiral. Building on a result of Lackenby we also show that any non-meridinal Dehn filling of M_g is hyperbolic, thus getting an infinite family of graphs in S^2xS^1 whose exteriors support a hyperbolic structure with geodesic boundary.


title: Factoring in Non-commutative Analytic Toeplitz Algebras

abstract: The non-commutative analytic Toeplitz algebra is the weak operator topology closed algebra generated by the left regular representation of the free semigroup on $n$ generators. The structure theory of contractions in these algebras is examined. Each is shown to have an $H^\infty$ functional calculus. The isometries defined by words are shown to factor only as the words do over the unit ball of the algebra. This turns out to be false over the full algebra. The natural identification of weakly closed left ideals with invariant subspaces of the algebra is shown to hold only for a proper subcollection of the subspaces.


title: The Curvature Invariant of a Non-commuting $N$-tuple

abstract: Non-commutative versions of Arveson's curvature invariant and Euler characteristic for a commuting $n$-tuple of operators are introduced. The non-commutative curvature invariant is sensitive enough to determine if an $n$-tuple is free. In general both invariants can be thought of as measuring the freeness or curvature of an $n$-tuple. The connection with dilation theory provides motivation and exhibits relationships between the invariants. A new class of examples is used to illustrate the differences encountered in the non-commutative setting and obtain information on the ranges of the invariants. The curvature invariant is also shown to be upper semi-continuous.


title: A Modified Burg Algorithm Equivalent In Results to Levinson Algorithm

abstract: We present a new modified Burg-Like algorithm for spectral estimation and adaptive signal processing, that yield the same prediction coefficients given by the Levinson algorithm for the solution of the normal equations. An equivalency proof is given for both the 1D signal and 2D signal cases. Numerical simulations illustrate the improved accuracy and stability in spectral power amplitude and localization; especially in the cases of low signal to noise ratio, and (or) augmenting the used prediction coefficients number for a relatively short data records. Also our simulations illustrate that for relatively short data records the unmodified version of Burg Algorithm fail to minimize the mean square residual error beyond certain Order, while the new algorithm continue the minimization with Order elevation.


title: Optimal SL(2)-homomorphisms

abstract: Let G be a semisimple group over an algebraically closed field of very good characteristic for G. In the context of geometric invariant theory, G. Kempf has associated optimal cocharacters of G to an unstable vector in a linear G-representation. If the nilpotent element X in Lie(G) lies in the image of the differential of a homomorphism SL(2) --> G, we say that homomorphism is optimal for X, or simply optimal, provided that its restriction to a suitable torus of SL(2) is optimal for X in Kempf's sense. We show here that any two SL(2)-homomorphisms which are optimal for X are conjugate under the connected centralizer of X. This implies, for example, that there is a unique conjugacy class of principal homomorphisms for G. We show that the image of an optimal SL(2)-homomorphism is a completely reducible subgroup of G; this is a notion defined recently by J-P. Serre. Finally, if G is defined over the (arbitrary) subfield K of k, and if X in Lie(G)(K) is a K-rational nilpotent element whose p-th power is 0, we show that there is an optimal homomorphism for X which is defined over K.


title: On the 1-pointed curves arising as etale covers of the affine line in positive characteristic

abstract: Let k be an algebraically closed field of positive characteristic. The goal of this paper is to characterize the proper smooth curves X/k of positive genus g equipped with a k-rational point P such that X\P can be realized as an etale cover of the affine line. A first elementary analysis shows that such a cover exists if and only if there exists an exact regular differential form on X having a unique zero at P (of order 2g-2). The main inconvenient of this approach is that it doesn't give any control on the degree of the cover. A finer investigation, essentially based on the duality between the Cartier operator and the Frobenius map allows to overcome this problem.


title: Bit retrieval: intractability and application to digital watermarking

abstract: Bit retrieval, the problem of determining a binary sequence from its cyclic autocorrelation, is a special case of the phase retrieval problem. Algorithms for phase retrieval are extensively used in several scientific disciplines, and yet, very little is known about the complexity of these algorithms or phase retrieval in general. Here we show that bit retrieval, in particular, is closely related to computations that arise in algebraic number theory and can also be formulated as an integer program. We find that general purpose algorithms from these fields, when applied to bit retrieval, are outperformed by a particular iterative phase retrieval algorithm. This algorithm still has exponential complexity and motivates us to propose a new public key signature scheme based on the intractability of bit retrieval, and image watermarking as a possible application.


title: The strong symmetric genus of the hyperoctahedral groups

abstract: The strong symmetric genus of a group is the smallest genus of a surface on which the group acts faithfully as a group of orientation preserving automorphisms. In this paper we announce and prove the strong symmetric genus for the hyperoctahedral groups. This parameter is already known for the alternating and symmetric groups as well as the sporadic finite simple groups.


title: Approximate Squaring

abstract: We study the ``approximate squaring'' map f(x) := x ceiling(x) and its behavior when iterated. We conjecture that if f is repeatedly applied to a rational number r = l/d > 1 then eventually an integer will be reached. We prove this when d=2, and provide evidence that it is true in general by giving an upper bound on the density of the ``exceptional set'' of numbers which fail to reach an integer. We give similar results for a p-adic analogue of f, when the exceptional set is nonempty, and for iterating the ``approximate multiplication'' map f_r(x) := r ceiling(x) where r is a fixed rational number.


title: Quantum Channels, Wavelets, Dilations and Representations of $O_n$

abstract: We show that the representations of the Cuntz C$^\ast$-algebras $O_n$ which arise in wavelet analysis and dilation theory can be classified through a simple analysis of completely positive maps on finite-dimensional space. Based on this analysis, an application in quantum information theory is obtained; namely, a structure theorem for the fixed point set of a unital quantum channel. We also include some open problems motivated by this work.


title: Asymptotic analysis via Mellin transforms for small deviations in $L^2$-norm of integrated Brownian sheets

abstract: We use Mellin transforms to compute a full asymptotic expansion for the tail of the Laplace transform of the squared $L^2$-norm of any multiply-integrated Brownian sheet. Through reversion we obtain corresponding strong small-deviation estimates.


title: The Rational Toomer Invariant and Certain Elliptic Spaces

abstract: We give an explicit formula for the rational category of an elliptic space whose minimal model has a homogeneous-length differential. We also show that for such a space, there are no gaps in the sequence of integers realized as the rational Toomer invariant of some cohomology class. With an additional hypothesis, we show a result from which we deduce the relation dim(H^*(X;Q)) >= 2 cat_0(X).


title: Partly Free Algebras from Directed Graphs

abstract: We say that a nonselfadjoint operator algebra is partly free if it contains a free semigroup algebra. Motivation for such algebras occurs in the setting of what we call free semigroupoid algebras. These are the weak operator topology closed algebras generated by the left regular representations of semigroupoids associated with finite or countable directed graphs. We expand our analysis of partly free algebras from previous work and obtain a graph-theoretic characterization of when a free semigroupoid algebra with countable graph is partly free. This analysis carries over to norm closed quiver algebras. We also discuss new examples for the countable graph case.


title: Free Semigroupoid Algebras

abstract: Every countable directed graph generates a Fock space Hilbert space and a family of partial isometries. These operators also arise from the left regular representations of free semigroupoids derived from directed graphs. We develop a structure theory for the weak operator topology closed algebras generated by these representations, which we call free semigroupoid algebras. We characterize semisimplicity in terms of the graph and show explicitly in the case of finite graphs how the Jacobson radical is determined. We provide a diverse collection of examples including; algebras with free behaviour, and examples which can be represented as matrix function algebras. We show how these algebras can be presented and decomposed in terms of amalgamated free products. We determine the commutant, consider invariant subspaces, obtain a Beurling theorem for them, conduct an eigenvalue analysis, give an elementary proof of reflexivity, and discuss hyper-reflexivity. Our main theorem shows the graph to be a complete unitary invariant for the algebra. This classification theorem makes use of an analysis of unitarily implemented automorphisms. We give a graph-theoretic description of when these algebras are partly free, in the sense that they contain a copy of a free semigroup algebra.


title: A(n,n)-graded Lie superalgebras

abstract: We determine the Lie superalgebras over fields of characteristic zero that are graded by the root system A(n,n) of the special linear Lie superalgebra psl(n+1,n+1).


title: Twisted actions and the obstruction to extending unitary representations of subgroups

abstract: Suppose that $G$ is a locally compact group and $\pi$ is a (not necessarily irreducible) unitary representation of a closed normal subgroup $N$ of $G$ on a Hilbert space $H$. We extend results of Clifford and Mackey to determine when $\pi$ extends to a unitary representation of $G$ on the same space $H$ in terms of a cohomological obstruction.