title: Stochastic spatial models of plant diseases

abstract: I present three models of plant--pathogen interactions. The models are stochastic and spatially explicit at the scale of individual plants. For each model, I use a version of pair approximation or moment closure along with a separation of timescales argument to determine the effects of spatial clustering on threshold structure. By computing the spatial structure early in an invasion, I find explicit corrections to mean field theory. In the first chapter, I present a lattice model of a disease that is not directly lethal to its host, but affects its ability to compete with neighbors. I use a type of pair approximation to determine conditions for invasions and coexistence. In the second chapter, I study a basic SIR epidemic point process in continuous space. I implement a multiplicative moment closure scheme to compute the threshold transmission rate as a function of spatial parameters. In the final chapter, I model the evolution of pathogen resistance when two plant species share a pathogen. Evolution may lead to non--resistance by a host that finds the disease to be a useful weapon. I use a lattice model with the ordinary pair approximation assumption to study phenotypic evolution via repeated invasions by novel strains.


title: Minimal volume Alexandrov spaces

abstract: Closed hyperbolic manifolds are proven to minimize volume over all Alexandrov spaces with curvature bounded below by -1 in the same bilipschitz class. As a corollary compact convex cores with totally geodesic boundary are proven to minimize volume over all hyperbolic manifolds in the same bilipschitz class. Also, closed hyperbolic manifolds minimize volume over all hyperbolic cone manifolds in the same bilipschitz class with cone angles not greater than 2pi. The proof uses techniques developed by Besson-Courtois-Gallot. In 3 dimensions, this result provides a partial solution to a conjecture in Kleinian groups concerning acylindrical manifolds.


title: Projective moduli space of semistable principal sheaves for a reductive group

abstract: Let X be a smooth projective complex variety, and let G be an algebraic reductive complex group. We define the notion of principal G-sheaf, that generalises the notion of principal G-bundle. Then we define a notion of semistability, and construct the projective moduli space of semistable principal G-sheaves on X. This is a natural compactification of the moduli space of principal G-bundles. This is the announcement note presented by the second author in the conference held at Catania (11-13 April 2001), dedicated to the 60th birthday of Silvio Greco. Detailed proofs will appear elsewhere.


title: Voronoi-Dickson Hypothesis on Perfect Forms and L-types

abstract: George Voronoi (1908, 1909) introduced two important reduction methods for positive quadratic forms: the reduction with perfect forms, and the reduction with L-type domains, often called domains of Delaunay type. The first method is important in studies of dense lattice packings of spheres. The second method provides the key tools for finding the least dense lattice coverings with equal spheres in lower dimensions. In his investigations Voronoi heavily relied on that in dimensions less than 6 the partition of the cone of positive quadratic forms into L-types refines the partition of this cone into perfect domains. Voronoi conjectured implicitely and Dickson (1972) explicitely that the L-partition is always a refinement of the partition into perfect domains. This was proved for n =< 5 (Voronoi, Delaunay, Ryshkov, Baranovskii). We show that Voronoi-Dickson conjecture fails already in dimension 6.


title: An Infinite Series of Perfect Quadratic Forms and Big Delaunay Simplexes in Z^n

abstract: George Voronoi (1908-09) introduced two important reduction methods for positive quadratic forms: the reduction with perfect forms, and the reduction with L-type domains. A form is perfect if can be reconstructed from all representations of its arithmetic minimum. Two forms have the same L-type if Delaunay tilings of their lattices are affinely equivalent. Delaunay (1937-38) asked about possible relative volumes of lattice Delaunay simplexes. We construct an infinite series of Delaunay simplexes of relative volume n-3, the best known as of now. This series gives rise to a new infintie series of perfect forms TF_{n} with interesting properties, e.g. TF_{5}=D_{5}, TF_{6}=E*_{6}, TF_{7}=\phi_{15}^{7}. For all n the domain of TF_{n} is adjacent to the domain of the 2-nd perfect form D_{n}. Perfect form TF_{n} is a direct n-dimensional generalization of Korkine and Zolotareff's 3-rd perfect form \phi_{2}^{5} in 5 variables. It is likely that this form is equivalent to Anzin's (1991) form h_n.


title: Rigidit\'e d'Einstein du plan hyperbolique complexe

abstract: We prove that every Einstein metric on the unit ball B^4 of C^2, asymptotic to the Bergman metric, is equal to it up to a diffeomorphism. We need a solution of Seiberg--Witten equations in this infinite volume setting. Therefore, and more generally, if M^4 is a manifold with a CR-boundary at infinity, an adapted spinc-structure which has a non zero Kronheimer--Mrowka invariant and an asymptotically complex hyperbolic Einstein metric, we produce a solution of Seiberg--Witten equations with an strong exponential decay property.


title: Chebyshev's bias for composite numbers with restricted prime divisors

abstract: Let P(x,d,a) denote the number of primes p<=x with p=a(mod d). Chebyshev's bias is the phenomenon that `more often' P(x;d,n)>P(x;d,r) than the other way around, where n is a quadratic non-residue mod d and r is a quadratic residue mod d. If P(x;d,n)>=P(x;d,r) for every x up to some large number, then one expects that N(x;d,n)>=N(x;d,r) for every x. Here N(x;d,a) denotes the number of integers n<=x such that every prime divisor p of n satisfies p=a(mod d). In this paper we develop some tools to deal with this type of problem and apply them to show that, for example, N(x;4,3)>=N(x;4,1) for every x. In the process we express the so called second order Landau-Ramanujan constant as an infinite series and show that the same type of formula holds true for a much larger class of constants. In a sequel to this paper the methods developed here will be used and somewhat refined to resolve a conjecture from P. Schmutz Schaller to the extent that the hexagonal lattice is `better' than the square lattice (see p. 201 of Bull. Amer. Math. Soc. 35 (1998), 193-214).


title: An additive version of higher Chow groups

abstract: The cosimplicial scheme $$Delta^bullet = \Delta^0 smallmatrix \to smallmatrix \Delta^1 smallmatrix to smallmatrix ...;\quad \Delta^n :=\Spec\Big(k[t_0,...c,t_n]/(\sum t_i -t)\Big)$$ was used in B to define higher Chow groups. In this note, we let t tend to 0 and replace \Delta^\bullet by a degenerate version $$Q^\bullet = Q^0 smallmatrix to smallmatrix Q^1 smallmatrix to smallmatrix ...;\quad Q^n := \Spec\Big(k[t_0,...c,t_n]/(\sum t_i)\Big) $$ to define an additive version of the higher Chow groups. For a field k, we show the Chow group of 0-cycles on $Q^n$ in this theory is isomorphic to the absolute $(n-1)$-K\"ahler forms $\Omega^{n-1}_k$. An analogous degeneration on the level of de Rham cohomology associated to ``constant modulus'' degenerations of varieties in various contexts is discussed.


title: Parameterizations of 1-bridge torus knots

abstract: A 1-bridge torus knot in a 3-manifold of genus $\le 1$ is a knot drawn on a Heegaard torus with one bridge. We give two types of normal forms to parameterize the family of 1-bridge torus knots that are similar to the Schubert's normal form and the Conway's normal form for 2-bridge knots. For a given Schubert's normal form we give algorithms to determine the number of components and to compute the fundamental group of the complement when the normal form determines a knot. We also give a description of the double branched cover of an ambient 3-manifold branched along a 1-bridge torus knot by using its Conway's normal form and obtain an explicit formula for the first homology of the double cover.


title: Random walks in random environment on trees and multiplicative chaos

abstract: We study random walks in a random environment on a regular, rooted, coloured tree. The asymptotic behaviour of the walks is classified for ergodicity/transience in terms of the geometric properties of the matrix describing the random environment. A related problem, with only one type of vertices and quite stringent conditions on the transition probabilities but on general trees has been considered previously in the literature LyoPem. In the presentation we give here, we restrict the study of the process on a regular graph instead of the irregular graph used in LyoPem. The close connection between various problems on random walks in random environment and the so called multiplicative chaos martingale is underlined by showing that the classification of the random walk problem can be drawn by the corresponding classification for the multiplicative chaos, at least for those situations where both problems have been solved by independent methods. The chaos counterpart of the problem we considered here has not yet been solved. The results we obtain for the random walk problem localise the position of the critical point. We conjecture that the additional conditions needed for the chaos problem to have non trivial solutions will be the same as the ones needed for the random walk to be null recurrent.


title: Addendum to `Bosonic formulas for $(k,l)$-admissible partitions'

abstract: In our earlier paper we made a combinatorial study of (k,l)-admissible partitions. This object appeared already in the work of M. Primc as a label of a basis of level k-integrable modules over $\hat{sl}_l$. We clarify the relation between these two works. As a byproduct we obtain an explicit parameterization of the affine Weyl group of $\hat{sl}_l$ by a simple combinatorial set.


title: The Legendrian satellite construction

abstract: We examine the Legendrian analogue of the topological satellite construction for knots, and deduce some results for specific Legendrian knots and links in standard contact three-space and the solid torus. In particular, we show that the Chekanov-Eliashberg contact homology invariants of Legendrian Whitehead doubles of stabilized knots contain no nonclassical information.


title: Cut numbers of 3-manifolds

abstract: The cut number of a manifold M, c(M), is the largest number of disjoint two-sided hypersurfaces in M which do not separate M. Equivalently, it is the largest rank of a free group being an epimorphic image of pi_1(M). We investigate the relations between the cut number and the first Betti number, b_1(M), of 3-manifolds M. We prove that the cut number of a ``generic'' 3-manifold is at most 2. This is a rather unexpected result since it is very hard to construct specific examples of 3-manifolds with with large b_1(M) and small c(M). On the other hand, we prove that for any complex semisimple Lie algebra g there exists a 3-manifold M with b_1(M)=dim g and c(M)<=rank g. Such manifolds can be explicitly constructed.


title: A derivation of the Catalan numbers from a bijection between permutations and labeled trees

abstract: We present an algorithmic mapping from permutations of length dn to labeled n-node d-ary trees and back again. Given such a bijection, one can interpret each of the factorials in the formula for the Catalan numbers as a count of permutations.


title: Cactus Trees, and Estimations of the Spectral Radius of Vertex-Transitive Graphs

abstract: This paper gives lower bounds on the spectral radius of vertex-transitive graphs, based on the number of ``prime cycles'' at a vertex. The bounds are obtained by constructing circuits in the graph that resemble ``cactus trees'', and enumerating them. Counting these circuits gives a coefficient-wise underestimation of the Green function of the graph, and hence and underestimation of its spectral radius. The bounds obtained are very good for the Cayley graph of surface groups of genus g>=2, with standard generators (these graphs are the 1-skeletons of tessellations of hyperbolic plane by 4g-gons, 4g per vertex). We have for example for g=2 0.662420<=|M|<=0.662816, and for g=3 0.552773<=|M|<=0.552792.


title: The 2-dimension series of the just-nonsolvable BSV group

abstract: I compute the structure of the restricted 2-algebra associated to a group first described by Andrew Brunner, Said Sidki and Ana Cristina Vieira, acting on the binary rooted tree. I show that its width is unbounded, growing logarithmically, and obeys a simple rule. As a consequence, the dimension of the successive quotients of powers of the augmentation ideal in the modular group algebra is p(0)+...+p(n), the count of partitions of numbers up to n.


title: On Waring's problem for several homogeneous forms

abstract: We reconsider the classical problem of representing a finite number of forms of degree d in n+1 variables as sums of powers of linear forms. We define a geometric construct called a `grove', which, in a number of cases allows us to determine the dimension of the space of forms which can be so represented. We also present two new `exceptional' examples, where this dimension is less than what a naive parameter count would predict.


title: Hodge structure on the cohomology of the moduli space of Higgs bundles

abstract: We study the moduli space of Higgs bundles on a compact Riemann surface. It was shown by Thaddeus and Hausel (in rank 2) and Markman (in general rank) that the rational cohomology ring of this space is generated by universal classes. In this paper, we use their results to compute the Hodge structure on the cohomology of this moduli space. We show that the natural Hodge structure on H^k is pure of weight k.


title: A geometric counterpart of the Baum-Connes map for GL(n)

abstract: We describe a geometric counterpart of the Baum-Connes map for the p-adic group GL(n).


title: Gap-labelling for quasi-crystals (proving a conjecture by J. Bellissard)

abstract: In the present paper, we give a proof of the gap-labelling conjecture for quasi-crystals. The main tools are the measured index theorem for laminations and a naturality of the longitudinal Chern character.


title: Special Kaehler manifolds: a survey

abstract: This is a survey of recent contributions to the area of special Kaehler geometry. It is based on lectures given at the 21st Winter School on Geometry and Physics held in Srni in January 2001.


title: Le spectre et la torsion analytique des fibres en droites sur les tores complexes

abstract: The spectrum of the Laplace-Dolbeault operator for any line bundle with parallel curvature on a flat complex torus is computed. The Ray-Singer analytic torsion is then deduced, generalizing thus Bost's result for ample line bundles and Ray-Singer's ones for flat bundles, of which we a geometric interpretation is given.


title: Local cocycles and central extensions for multi-point algebras of Krichever-Novikov type

abstract: Multi-point algebras of Krichever Novikov type for higher genus Riemann surfaces are generalisations of the Virasoro algebra and its related algebras. Complete existence and uniqueness results for local 2-cocycles defining almost-graded central extensions of the functions algebra, the vector field algebra, and the differential operator algebra (of degree \le 1) are shown. This is applied to the higher genus, multi-point affine algebras to obtain uniqueness for almost-graded central extensions of the current algebra of a simple finite-dimensional Lie algebra. An earlier conjecture of the author concerning the central extension of the differential operator algebra induced by the semi-infinite wedge representations is proved.


title: An algebraic approach to representations of the permutation group

abstract: The group algebra of the permutation group is spanned by a set of elements called projectors. The coordinates of permutations expanded in projectors are matrix elements of irreducible representations. The projectors of the permutation group are a product of a Young symmetriser and a Young antisymmetriser. They form non-orthogonal bases of right and left modules. The non-orthogonality is compensated by a constant matrix. It turns out that this reduces the matrix entries to -1, 0,+1. An algorithm to compute the projectors is given.


title: The Hopf algebra structure of GL(1,H$_q)$ and the isomorphism between SP$_q(1)$ and SU$_q(2)$

abstract: In this Letter, we introduce the Hopf algebra structure of the quantum quaternionic group GL(1,H$_q)$ and discuss the isomorphism between the quantum symplectic group SP$_q(1)$ and the quantum unitary group SU$_q(2)$.


title: Differential geometry of GL$_h(1| 1)$

abstract: We construct a right-invariant differential calculus on the quantum supergroup GL$_h(1| 1)$ and obtain the $h$-deformed superalgebra of GL$_h(1| 1)$.


title: Deforming maps between sl(n), sp(2n) and $U_q(sl(n))$, $U_q(sp(2n))$

abstract: Using crystal basis, in the space of symmetric irreducible representations, we explicitly write invertible deforming functionals between the q-deformed universal enveloping algebra and the Lie algebras sl(n) and sp(2n).For sl(2) we obtain the Curtright-Zachos map.


title: Two-Parameter Differential Calculus on the h-Exterior Plane

abstract: We construct a two-parameter covariant differential calculus on the quantum $h$-exterior plane. We also give a deformation of the two-dimensional fermionic phase space.


title: Differential Geometry of the q-plane

abstract: Hopf algebra structure on the differential algebra of the extended $q$-plane is defined. An algebra of forms which is obtained from the generators of the extended $q$-plane is introduced and its Hopf algebra structure is given.


title: On the Differential Geometry of $GL_q(1| 1)$

abstract: The differential calculus on the quantum supergroup GL$_q(1| 1)$ was introduced by Schmidke {\it et al}. (1990 {\it Z. Phys. C} {\bf 48} 249). We construct a differential calculus on the quantum supergroup GL$_q(1| 1)$ in a different way and we obtain its quantum superalgebra. The main structures are derived without an R-matrix. It is seen that the found results can be written with help of a matrix $\hat{R}$


title: Differential calculus on the h-superplane

abstract: A non-commutative differential calculus on the $h$-superplane is presented via a contraction of the $q$-superplane. An R-matrix which satisfies both ungraded and graded Yang-Baxter equations is obtained and a new deformation of the $(1+1)$ dimensional classical phase space (the super-Heisenberg algebra) is introduced.


title: Comment on the differential calculus on the quantum exterior plane

abstract: We give a two-parameter quantum deformation of the exterior plane and its differential calculus without the use of any R-matrix and relate it to the differential calculus with the R-matrix. We prove that there are two types of solutions of the Yang-Baxter equation whose symmetry group is $GL_{p,q}(2)$. We also give a two-parameter deformation of the fermionic oscillator algebra.


title: h-deformation of Gr(2)

abstract: The $h$-deformation of functions on the Grassmann matrix group $Gr(2)$ is presented via a contraction of $Gr_q(2)$. As an interesting point, we have seen that, in the case of the $h$-deformation, both R-matrices of $GL_h(2)$ and $Gr_h(2)$ are the same.


title: A differential ideal of symmetric polynomials spanned by Jack polynomials at $\beta=-(r-1)/(k+1)$

abstract: For each pair of positive integers (k,r) such that k+1,r-1 are coprime, we introduce an ideal $I^{(k,r)}_n$ of the ring of symmetric polynomials. The ideal $I^{(k,r)}_n$ has a basis consisting of Jack polynomials with parameter $\beta=-(r-1)/(k+1)$, and admits an action of a family of differential operators of Dunkl type including the positive half of the Virasoro algebra. The space $I^{(k,2)}_n$ coincides with the space of all symmetric polynomials in $n$ variables which vanish when $k+1$ variables are set equal. The space $I_n^{(2,r)}$ coincides with the space of correlation functions of an abelian current of a vertex operator algebra related to Virasoro minimal series (3,r+2).


title: Near identity transformations for the Navier-Stokes equations

abstract: The Navier-Stokes equations and their various approximations can be described in terms of near identity maps, that are diffusive particle path transformations of physical space. The active velocity is obtained from the diffusive path transformation and a virtual velocity using the Weber formula. The active vorticity is obtained from the diffusive path transformation and a virtual vorticity using a Cauchy formula. The virtual velocity and the virtual vorticity obey diffusive equations, which reduce to passive advection formally, if the viscosity is zero. Apart from being proportional to the viscosity, the coefficients of these diffusion equations involve second derivatives of the near identity transformation and are related to the Christoffel coefficients. If and when the near-identity transformation departs excessively from the identity, one resets the calculation. Lower bounds on the minimum time between two successive resettings are given in terms of the maximum enstrophy.


title: On Euler classes of abelian-by-finite groups

abstract: Let $G$ be a finitely generated abelian-by-finite group and $k$ a field of characteristic $p\ge 0$. The Euler class $[k_G]$ of $G$ over $k$ is the class of the trivial $kG$-module in the Grothendieck group $G_0(kG)$. We show that $[k_G]$ has finite order if and only if every $p$-regular element of $G$ has infinite centralizer in $G$. We also give a lower bound for the order of the Euler class in terms of suitable finite subgroups of $G$. This lower bound is derived from a more general result on finite-dimensional representations of smash products of Hopf algebras.


title: The Calderon problem for conormal potentials, I: Global uniqueness and reconstruction

abstract: In dimensions greater than or equal to three, we establish global uniqueness and obtain reconstruction in the Calderon problem for the Schrodinger equation with certain singular potentials. The potentials considered are conormal of order less than 1-k with respect to submanifolds (of arbitrary codimension k). This gives positive results for (conormal) conductivities which are Holder of any order > 1. A related problem for highly singular potentials is shown to exhibit nonuniqueness.


title: On 321-avoiding permutations in affine Weyl groups

abstract: We introduce the notion of 321-avoiding permutations in the affine Weyl group $W$ of type $A_{n-1}$ by considering the group as a George group (in the sense of Eriksson and Eriksson). This enables us to generalize a result of Billey, Jockusch and Stanley to show that the 321-avoiding permutations in $W$ coincide with the set of fully commutative elements; in other words, any two reduced expressions for a 321-avoiding element of $W$ (considered as a Coxeter group) may be obtained from each other by repeated applications of short braid relations. Using Shi's characterization of the Kazhdan--Lusztig cells in the group $W$, we use our main result to show that the fully commutative elements of $W$ form a union of Kazhdan--Lusztig cells. This phenomenon has been studied by the author and J. Losonczy for finite Coxeter groups, and is interesting partly because it allows certain structure constants for the Kazhdan--Lusztig basis of the associated Hecke algebra to be computed combinatorially. We also show how some of our results can be generalized to a larger group of permutations, the extended affine Weyl group associated to $GL_n({\Bbb C})$.


title: A Class of Matrix-Valued Schr\"odinger Operators with Prescribed Finite-Band Spectra

abstract: We construct a class of matrix-valued Schr\"odinger operators with prescribed finite-band spectra of maximum spectral multiplicity. The corresponding matrix potentials are shown to be stationary solutions of the KdV hierarchy. The methods employed in this paper rely on matrix-valued Herglotz functions, Weyl--Titchmarsh theory, pencils of matrices, and basic inverse spectral theory for matrix-valued Schr\"odinger operators.


title: Degree Bounds in Quantum Schubert Calculus

abstract: Fulton and Woodward have recently identified the smallest degree of $q$ that appears in the expansion of the product of two Schubert classes in the (small) quantum cohomology ring of a Grassmannian. We present a combinatorial proof of this result, and provide an alternative characterization of this smallest degree in terms of the rim hook formula for the quantum product.


title: The geometric minimal models of analytic spaces

abstract: This paper shows that an analytic space $X$ has a unique maximal model through which every proper surjective morphism from a non-singular analytic space to $X$ factors. This is called the {\sl geometric minimal model} of $X$ and characterized by the contraction property of rational curves. Some other properties such as functoriality, the direct product property and the quotient property of the geometric minimal model are also studied here. The relation of the geometric minimal model with Mori's minimal model is discussed.


title: Quantum properties of the dual matrices in $GL_q(1|1)$

abstract: In this paper, we give the quantum analogue of the dual matrices for the quantum supergroup $GL_q(1|1)$ and discuss these properties of the quantum dual supermatrices.


title: Embeddings into P(N)/fin and extension of automorphisms

abstract: Given a Boolean algebra B and an embedding e:B -> P(N)/fin we consider the possibility of extending each or some automorphism of B to the whole P(N)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras there are embeddings for which no non-trivial automorphism can be extended.


title: Expansions of Theta Functions and Applications

abstract: We prove that the classical theta function $\theta_4$ may be expressed as $$ \theta_4(v,\tau) = \theta_4(0,\tau) \exp[- \sum_{p\geq 1} \sum_{k\geq 0} \frac {1}{p} \bigg(\frac {\sin \pi v}{(\sin (k+{1/2})\pi \tau)}\bigg)^{2p}].$$ We obtain an analogous expansion for the three other theta functions since they are related. \\ These results have several consequences. In particular, an expansion of the Weierstrass elliptic function will be derived. Actions of the modular group and other arithmetical properties will also be considered. Finally using a new expression for the Rogers-Ramanujan continued fraction we produce a simple proof of a Rogers identity. {\it Key words and phrases} : theta functions, elliptic functions, q-series, Fourier series, continued fractions


title: The properties of the quantum supergroup $GL_{p,q}(1|1)$

abstract: In this paper properties of the quantum supermatrices in the quantum supergroup $GL_{p,q}(1|1)$ are discussed. It is shown that any element of $GL_{p,q}(1|1)$ can be expressed as the exponential of a matrix of non-commuting elements, like the group $GL_q(1|1)$. An explicit construction of this exponential representation is presented.


title: Two-parameter differential calculus on the h-superplane

abstract: We introduce a noncommutative differential calculus on the two-parameter $h$-superplane via a contraction of the (p,q)-superplane. We manifestly show that the differential calculus is covariant under $GL_{h_1,h_2}(1| 1)$ transformations. We also give a two-parameter deformation of the (1+1)-dimensional phase space algebra.


title: Two-parameter nonstandard deformation of 2x2 matrices

abstract: We introduce a two-parameter deformation of 2x2 matrices without imposing any condition on the matrices and give the universal R-matrix of the nonstandard quantum group which satisfies the quantum Yang-Baxter relation. Although in the standard two-parameter deformation the quantum determinant is not central, in the nonstandard case it is central. We note that the quantum group thus obtained is related to the quantum supergroup $GL_{p,q}(1|1)$ by a transformation.


title: Cohomological properties of the quantum shuffle product and application to the construction of quasi-Hopf algebras

abstract: For a commutative algebra the shuffle product is a morphism of complexes. We generalize this result to the quantum shuffle product, associated to a class of non-commutative algebras (for example all the Hopf algebras). As a first application we show that the Hochschild-Serre identity is the dual statement of our result. In particular, we extend this identity to Hopf algebras. Secondly, we clarify the construction of a class of quasi-Hopf algebras.


title: Anti-self-dual metrics on Lie groups

abstract: The aim of the paper is to determine left-invariant,anti-self-dual, non conformally flat, Riemannian metrics on four-dimensional Lie groups.


title: Growth fluctuations in a class of deposition models

abstract: We compute the growth fluctuations in equilibrium of a wide class of deposition models. These models also serve as general frame to several nearest-neighbor particle jump processes, e.g. the simple exclusion or the zero range process, where our result turns to current fluctuations of the particles. We use martingale technique and coupling methods to show that, rescaled by time, the variance of the growth as seen by a deterministic moving observer has the form |V-C|*D, where V and C is the speed of the observer and the second class particle, respectively, and D is a constant connected to the equilibrium distribution of the model. Our main result is a generalization of Ferrari and Fontes' result for simple exclusion process. Law of large numbers and central limit theorem are also proven. We need some properties of the motion of the second class particle, which are known for simple exclusion and are partly known for zero range processes, and which are proven here for a type of deposition models and also for a type of zero range processes.


title: Convexity of Hamiltonian manifolds

abstract: Let K be a connected Lie group and M a Hamiltonian K-manifold. In this paper, we introduce the notion of convexity of M. It implies that the momentum image is convex, the moment map has connected fibers, and the total moment map is open onto its image. Conversely, the three properties above imply convexity. We show that most Hamiltonian manifolds occuring "in nature" are convex (e.g., if M is compact, complex algebraic, or a cotangent bundle). Moreover, every Hamiltonian manifold is locally convex. This is an expanded version of section 2 of my paper dg-ga/9712010 on Weyl groups of Hamiltonian manifolds.


title: Elliptic Dynamical R-Matrices from the Monodromy of the q-Knizhnik-Zamolodchikov Equations for the Standard Representation of Uq(sl(n+1))

abstract: We give an explicit formula for the exchange matrix correponding to the tensor product of two copies of the natural (standard) evaluation representation of the quantum group associated to the affine Lie algebra of sl(n+1). Then we calculate the gauge trasformations that transforms it into Felder's elliptic solution of the quantum dynamical Yang-Baxter equation, for the proper parameters. All intermediate formulas are explicitly calculated.


title: On the Expansion of Graphs of 0/1-Polytopes

abstract: The edge expansion of a graph is the minimum quotient of the number of edges in a cut and the size of the smaller one among the two node sets separated by the cut. Bounding the edge expansion from below is important for bounding the ``mixing time'' of a random walk on the graph from above. It has been conjectured by Mihail and Vazirani that the graph of every 0/1-polytope has edge expansion at least one. A proof of this (or even a weaker) conjecture would imply solutions of several long-standing open problems in the theory of randomized approximate counting. We present different techniques for bounding the edge expansion of a 0/1-polytope from below. By means of these tools we show that several classes of 0/1-polytopes indeed have graphs with edge expansion at least one. These classes include all 0/1-polytopes of dimension at most five, all simple 0/1-polytopes, all hypersimplices, all stable set polytopes, and all (perfect) matching polytopes.


title: Can our number system be improved?

abstract: Our number system is a magnificent tool. But it is far from perfect. Can it be improved? In this paper some possibilities are discussed, including the use of a different base or directed (negative as well as positive) numerals. We also put forward some suggestions for further research.


title: Quantization of canonical cones of algebraic curves

abstract: We introduce a quantization of the graded algebra of functions on the canonical cone of an algebraic curve C, based on the theory of formal pseudodifferential operators. When C is a complex curve with Poincar\'e uniformization, we propose another, equivalent construction, based on the work of Cohen-Manin-Zagier on Rankin-Cohen brackets. We give a presentation of the quantum algebra when C is a rational curve, and discuss the problem of constructing algebraically "differential liftings".


title: Grassmann defectivity \`a la Terracini

abstract: This work is a modern revisitation of a classical paper by Alessandro Terracini, going back to 1915, which suggests an elementary but powerful method for studing Grassmann defective varieties. In particular, the case of Veronese surfaces is completely understood, giving an positive answer to the so-called Waring problem for pairs of homogeneous polynomials in three variables.


title: Puzzles and (equivariant) cohomology of Grassmannians

abstract: We generalize our puzzle formula for ordinary Schubert calculus on Grassmannians, to a formula for the T-equivariant Schubert calculus. The structure constants to be calculated are polynomials in {y_{i+1} - y_i}; they were shown (abstractly) to have positive coefficients in [Graham] math.AG/9908172. Our formula is the first to be manifestly positive in this sense. In particular this gives a new and self-contained proof of the ordinary puzzle formula, by an induction backwards from the "most equivariant" case. The proof of the formula is mostly combinatorial, but requires no prior combinatorics, and only a modicum of equivariant cohomology (which we include). This formula is closely related to the one in [Molev-Sagan] q-alg/9707028 for multiplying factorial Schur functions in three sets of variables, although their rule does not give a positive formula in the sense of [Graham]. We include a cohomological interpretation of this problem, and a puzzle formulation for it.


title: A Grauert Type Theorem and Extension of Matrices with Entries in H^{\infty}

abstract: In the paper we prove an extension theorem for matrices with entries in H^{\infty}(U) for U being a Riemann surface of a special type. One of the main components of the proof is a Grauert type theorem for "holomorphic" vector bundles defined over maximal ideal spaces of certain Banach algebras. The proof is also based on the results of A.Brudnyi "Projections in the Space H^{\infty} and the Corona Theorem for Coverings of Bordered Riemann Surfaces" (see my previous submissions here).


title: Quasi-Lie bialgebroids and twisted Poisson manifolds

abstract: We develop a theory of quasi-Lie bialgebroids using a homological approach. This notion is a generalization of quasi-Lie bialgebras, as well as twisted Poisson structures with a 3-form background which have recently appeared in the context of string theory, and were studied by \v{S}evera and Weinstein using a different method.


title: On crossed products of the Cuntz algebra ${\mathcal O}_\infty$ by quasi-free actions of abelian groups

abstract: We investigate the structures of crossed products of the Cuntz algebra ${\mathcal O}_\infty$ by quasi-free actions of abelian groups. We completely determine their ideal structures and compute the strong Connes spectra and K-groups.


title: Differential Calculus on Quantum Complex Grassmann Manifolds I: Construction

abstract: Covariant first order differential calculus over quantum complex Grassmann manifolds is considered. It is shown by a Pusz-Woronowicz type argument that under restriction to calculi close to classical Kaehler differentials there exist exactly two such calculi for the homogeneous coordinate ring. Complexification and localization procedures are used to induce covariant first order differential calculi over quantum Grassmann manifolds. It is shown that these differential calculi behave in many respects as their classical counterparts. As an example the q-deformed Chern character of the tautological bundle is constructed. Keywords: Quantum groups, quantum spaces, quantum Grassmann manifolds, differential calculus


title: Differential Calculus on Quantum Complex Grassmann Manifolds II: Classification

abstract: For differential calculi over certain right coideal subalgebras of quantum groups the notion of quantum tangent space is introduced. In generalization of a result by Woronowicz a one to one correspondence between quantum tangent spaces and covariant first order differential calculi is established. This result is used to classify differential calculi over quantum Grassmann manifolds. It turns out that up to special cases in low dimensions there exists exactly one such calculus of classical dimension 2r(N-r). Keywords: Quantum groups, quantum spaces, quantum Grassmann manifolds, differential calculus


title: Restricted version of the infinitesimal Hilbert 16th problem

abstract: The paper deals with the {\it infinitesimal Hilbert 16th problem}: to find an upper estimate of the number of zeros of an Abelian integral regarded as a function of a parameter. In more details, consider a real polynomial $ H$ of degree $ n+1 $ in the plane, and a continuous family of ovals $\gamma_t$ (compact components of level curves $ H = t$) of this polynomial. Consider a polynomial 1-form $\omega$ with coefficients of degree at most $n.$ Let I(t) = \int_{\gamma_t} \omega. \label{I} The problem is to give an upper estimate of the number of zeros of this integral. We solve a {\it restricted version} of this problem. Namely, the form $ \omega $ is {\it arbitrary,}, and the polynomial $ H$, though having an arbitrary degree, is not too close to the hypersurface of degenerate (non ultra-Morse) polynomials. We hope that the solution of the restricted version of the problem is a step to the solution of the complete (nonrestricted) version.


title: Quaternionic K\"ahler and hyperK\"ahler manifolds with torsion and twistor spaces

abstract: The target space of a (4,0) supersymmetric two-dimensional sigma model with Wess-Zumino term has a connection with totally skew-symmetric torsion and holonomy contained in Sp(n)Sp(1) (resp. Sp(n)), QKT (resp. HKT)-spaces. We study the geometry of QKT, HKT manifold and their twistor spaces. We show that the Swann bundle of a QKT manifold admits a HKT structure with special symmetry if and only if the twistor space of the QKT manifold admits an almost hermitian structure with totally skew-symmetric Nijenhuis tensor, thus connecting two structures arising from quantum field theories and supersymmetric sigma models with Wess-Zumino term.


title: Representations of marked quivers

abstract: We introduce a generalization of representations of quivers that contains also representations of posets, vectorspace problems and other matrix problems. Many examples, some of which are given in the paper, show that the language of marked quivers is rather convenient and that the notion of their representations can probably be considered as basic for a general theory of matrix problems. Some historical comments from my personal point of view are added in the Appendix.


title: Dimensional reduction, SL(2,C)-equivariant bundles and stable holomorphic chains

abstract: In this paper we study gauge theory on SL(2,C)-equivariant bundles over XxP^1, where X is a compact Kahler manifold, P^1 is the complex projective line, and the action of SL(2,C) is trivial on X and standard on P^1. We first classify these bundles, showing that they are in correspondence with objects on X - that we call holomorphic chains - consisting of a finite number of holomorphic bundles E_i and morphisms E_i->E_{i-1}. We then prove a Hitchin-Kobayashi correspondence relating the existence of solutions to certain natural gauge-theoretic equations and an appropriate notion of stability for an equivariant bundle and the corresponding chain. A central tool in this paper is a dimensional reduction procedure which allow us to go from XxP^1 to X.


title: Dimensional reduction and quiver bundles

abstract: The so-called Hitchin-Kobayashi correspondence, proved by Donaldson, Uhlenbeck and Yau, establishes that an indecomposable holomorphic vector bundle over a compact Kahler manifold admits a Hermitian-Einstein metric if and only if the bundle satisfies the Mumford-Takemoto stability condition. In this paper we consider a variant of this correspondence for G-equivariant vector bundles on the product of a compact Kahler manifold X by a flag manifold G/P, where G is a complex semisimple Lie group and P is a parabolic subgroup. The modification that we consider is determined by a filtration of the vector bundle which is naturally defined by the equivariance of the bundle. The study of invariant solutions to the modified Hermitian-Einstein equation over XxG/P leads, via dimensional reduction techniques, to gauge-theoretic equations on X. These are equations for hermitian metrics on a set of holomorphic bundles on X linked by morphisms, defining what we call a quiver bundle for a quiver with relations whose structure is entirely determined by the parabolic subgroup P. Similarly, the corresponding stability condition for the invariant filtration over XxG/P gives rise to a stability condition for the quiver bundle on X, and hence to a Hitchin-Kobayashi correspondence. In the simplest case, when the flag manifold is the complex projective line, one recovers the theory of vortices, stable triples and stable chains, as studied by Bradlow, the authors, and others.


title: Hitchin-Kobayashi correspondence, quivers, and vortices

abstract: A twisted quiver bundle is a set of holomorphic vector bundles over a complex manifold, labelled by the vertices of a quiver, linked by a set of morphisms twisted by a fixed collection of holomorphic vector bundles, labelled by the arrows. When the manifold is Kaelher, quiver bundles admit natural gauge-theoretic equations, which unify many known equations for bundles with extra structure. In this paper we prove a Hitchin--Kobayashi correspondence for twisted quiver bundles over a compact Kaehler manifold, relating the existence of solutions to the gauge equations to a stability criterion, and consider its application to a number of situations related to Higgs bundles and dimensional reductions of the Hermitian--Einstein equations.


title: Optimal tail estimates for directed last passage site percolation with geometric random variables

abstract: In this paper, we obtain optimal uniform lower tail estimates for the probability distribution of the properly scaled length of the longest up/right path of the last passage site percolation model considered by Johansson in [12]. The estimates are used to prove a lower tail moderate deviation result for the model. The estimates also imply the convergence of moments, and also provide a verification of the universal scaling law relating the longitudinal and the transversal fluctuations of the model.


title: Spectral and scattering theory for symbolic potentials of order zero

abstract: The spectral and scattering theory is investigated for a generalization, to scattering metrics on two-dimensional compact manifolds with boundary, of the class of smooth potentials on the Euclidean plane which are homogeneous of degree zero near infinity. The most complete results require the additional assumption that the restriction of the potential to the circle(s) at infinity be Morse. Generalized eigenfunctions associated to the essential spectrum at non-critical energies are shown to originate both at minima and maxima, although the latter are not germane to the $L^2$ spectral theory. Asymptotic completeness is shown, both in the traditional $L^2$ sense and in the sense of tempered distributions. This leads to a definition of the scattering matrix, the structure of which will be described in a future publication.


title: A Note on Arithmetic Cohomologies for Number Fields

abstract: As a part of our program for Geometric Arithmetic, we develop an arithmetic cohomology theory for number fields using theory of locally compact groups.


title: An index inequality for embedded pseudoholomorphic curves in symplectizations

abstract: Let $\Sigma$ be a surface with a symplectic form, let $\phi$ be a symplectomorphism of $\Sigma$, and let $Y$ be the mapping torus of $\phi$. We show that the dimensions of moduli spaces of embedded pseudoholomorphic curves in $\R\times Y$, with cylindrical ends asymptotic to periodic orbits of $\phi$ or multiple covers thereof, are bounded from above by an additive relative index. We deduce some compactness results for these moduli spaces. This paper establishes some of the foundations for a program with Michael Thaddeus, to understand the Seiberg-Witten Floer homology of $Y$ in terms of such pseudoholomorphic curves. Analogues of our results should also hold in three dimensional contact homology.


title: Hyperk\"ahler torsion structures invariant by nilpotent Lie groups

abstract: We study HKT structures on nilpotent Lie groups and on associated nilmanifolds. We exhibit three weak HKT structures on $\R^8$ which are homogeneous with respect to extensions of Heisenberg type Lie groups. The corresponding hypercomplex structures are of a special kind, called abelian. We prove that on any 2-step nilpotent Lie group all invariant HKT structures arise from abelian hypercomplex structures. Furthermore, we use a correspondence between abelian hypercomplex structures and subspaces of ${\frak sp}(n)$ to produce continuous families of compact and noncompact of manifolds carrying non isometric HKT structures. Finally, geometrical properties of invariant HKT structures on 2-step nilpotent Lie groups are obtained.


title: Hilbert Schemes of Degree Four Curves

abstract: In this paper we determine the irreducible components of the Hilbert schemes H(4,g) of locally Cohen-Macaulay space curves of degree four and arbitrary arithmetic genus g. We show that these Hilbert schemes are connected, in spite of having about g^2/24 irreducible components. For g < -2 we exhibit a component that is disjoint from the component of extremal curves and use this to give a counterexample to a conjecture of Ait-Amrane and Perrin.


title: Curves on a Double Surface

abstract: Let F be a smooth surface in a smooth projective threefold T, and let X=2F be the first infinitesimal neighborhood of X in T. A locally Cohen-Macaulay curve C in X gives rise to two effective divisors on F, namely the curve part P of the intersection of C and F, and the curve R residual in C to this intersection. We show that a general deformation of R on F lifts to a deformation of C on X when a certain cohomology group vanishes. In our paper "Hilbert Schemes of Degree Four Curves" we use this result to prove the connectedness of the Hilbert schemes H(4,g) of locally Cohen-Macaulay space curves of degree four and arbitrary arithmetic genus g.


title: Subalgebras of group cohomology defined by infinite loop spaces

abstract: We study natural subalgebras Ch_E(G) of group cohomology defined in terms of infinite loop spaces E and give representation theoretic descriptions of those based on QS^0 and the Johnson-Wilson theories E(n). We describe the subalgebras arising from the Brown-Peterson spectra BP and as a result give a simple reproof of Yagita's theorem that the image of BP^*(BG) in H^*(BG;F_p) is F-isomorphic to the whole cohomology ring; the same result is shown to hold with BP replaced by any complex oriented theory E with a map of ring spectra from E to HF_p which is non-trivial in homotopy. We also extend the constructions to define subalgebras of H^*(X;F_p) for any space X; when X is finite we show that the subalgebras Ch_{E(n)}(X) give a natural unstable chromatic filtration of H^*(X;F_p).


title: Hyperbolic 2-spheres with conical singularities, accessory parameters and Kaehler metrics on $\mathcal{M}_{0,n}$

abstract: We show that the real-valued function $S_\alpha$ on the moduli space $\mathcal{M}_{0,n}$ of pointed rational curves, defined as the critical value of the Liouville action functional on a hyperbolic 2-sphere with $n\geq 3$ conical singularities of arbitrary orders $\alpha=\{\alpha_1,...,\alpha_n\}$, generates accessory parameters of the associated Fuchsian differential equation as their common antiderivative. We introduce a family of Kaehler metrics on $\mathcal{M}_{0,n}$ parameterized by the set of orders $\alpha$, explictly relate accessory parameters to these metrics, and prove that the functions $S_\alpha$ are their Kaehler potentials.


title: Construction of raising and lowering operators for Uq(sl(2,R))

abstract: In the case of Uq(sl(2,R)) at root of unity q-deformed analogues are proposed for the generator of the maximal compact subalgebra, J, and for the raising and lowering operators. We prove an algebraic identity which implies that J has similar properties as in the nondeformed case.


title: Seismic inverse scattering in the `wave-equation' approach

abstract: Seismic data are commonly modeled by a high-frequency single scattering approximation. This amounts to a linearization in the medium coefficient about a smooth background. The discontinuities are contained in the medium perturbation. The wave solutions in the background medium admit a geometrical optics representation. Here we describe the wave propagation in the background medium by a one-way wave equation. Based on this we derive the double-square-root equation, which is a first order pseudodifferential equation, that describes the continuation of seismic data in depth. We consider the modeling operator, its adjoint and reconstruction based on this equation. If the rays in the background that are associated with the reflections due to the perturbation are nowhere horizontal, the singular part of the data is described by the solution to an inhomogeneous double-square-root equation. We derive a microlocal reconstruction equation. The main result is a characterization of the angle transform that generates the common image point gathers, and a proof that this transform contains no artifacts. Finally, pseudodifferential annihilators based on the double-square-root equation are constructed. The double-square-root equation approach is used in seismic data processing.


title: Permutation group algebras

abstract: We consider the permutation group algebra defined by Cameron and show that if the permutation group has no finite orbits, then no homogeneous element of degree one is a zero-divisor of the algebra. We proceed to make a conjecture which would show that the algebra is an integral domain if, in addition, the group is oligomorphic. We go on to show that this conjecture is true in certain special cases, including those of the form H Wr S and H Wr A, and show that in the oligormorphic case, the algebras corresponding to these special groups are polynomial algebras. In the H Wr A case, the algebra is related to the shuffle algebra of free Lie algebra theory. We finish by considering some integer sequences which arise from certain of these groups.


title: Adiabatic decomposition of the zeta-determinant of the Dirac Laplacian I. The case of an invertible tangential operator. With an appendix by Yoonweon Lee

abstract: we discuss the decomposition of the zeta-determinant of the square of the Dirac operator into the contributions coming from the different parts of the manifold in the case of an invertible tangential operator.


title: Analytic Surgery of the zeta-determinant of the Dirac operator

abstract: We review the work of the authors and their collaborators on the decomposition of the zeta-determinant of the Dirac operator into the contribution coming from different parts of a manifold.


title: An example of a non-cofibrantly generated model category

abstract: We show that the model category of diagrams of spaces generated by a proper class of orbits is not cofibrantly generated. In particular the category of maps between spaces may be given a non-cofibrantly generated model structure.


title: Brace algebras and the cohomology comparison theorem

abstract: The Gerstenhaber and Schack cohomology comparison theorem asserts that there is a cochain equivalence between the Hochschild complex of a certain algebra and the usual singular cochain complex of a space. We show that this comparison theorem preserves the brace algebra structures. This result gives a structural reason for the recent results establishing fine topological structures on the Hochschild cohomology, and a simple way to derive them from the corresponding properties of cochain complexes.


title: On the lower bounds for the number of periodic billiard trajectories in manifolds embedded in Euclidean space

abstract: In this paper the problem of estimating the number of periodical billiard trajectories is considered. The main result is the theorem on Morse theory for periodical billiard trajectories.


title: The Heun equation and the Calogero-Moser-Sutherland system II: perturbation and algebraic solution

abstract: We apply a method of perturbation for the $BC_1$ Inozemtsev model from the trigonometric model and show the holomorphy of perturbation.Consequently, the convergence of eigenvalues and eigenfuncions which are expressed as formal power series is proved. We investigate also the relationship between $L^2$ space and some finite dimensional space of elliptic functions.


title: Lower bounds for the number of closed billiard trajectories of period 2 and 3 in manifolds embedded in Euclidean space

abstract: A lower bound for the number of 3-periodical billiard trajectories in a manifold embedded in Euclidean space is obtained.


title: A disjointness type property of conditional expectation operators

abstract: We give a characterization of conditional expectation operators through a disjointness type property similar to band preserving operators. We say that the operator $T:X\to X$ on a Banach lattice $X$ is semi band preserving if and only if for all $f, g \in X$, $f \perp Tg$ implies that $Tf \perp Tg$. We prove that when $X$ is a purely atomic Banach lattice, then an operator $T$ on $X$ is a weighted conditional expectation operator if and only if $T$ is semi band preserving.


title: Equivariant cellular homology and its applications

abstract: In this work we develop a cellular equivariant homology functor and apply it to prove an equivariant Euler-Poincare formula and an equivariant Lefschetz theorem.


title: On the quantum product of Schubert classes

abstract: We give a formula for the smallest powers of the quantum parameters q that occur in a product of Schubert classes in the (small) quantum cohomology of general flag varieties G/P. We also include a complete proof of Peterson's quantum version of Chevalley's formula, also for general G/P's.


title: A GKM description of the equivariant cohomology ring of a homogeneous space

abstract: Let $T$ be a torus of dimension $n>1$ and $M$ a compact $T-$manifold. $M$ is a GKM manifold if the set of zero dimensional orbits in the orbit space $M/T$ is zero dimensional and the set of one dimensional orbits in $M/T$ is one dimensional. For such a manifold these sets of orbits have the structure of a labelled graph and it is known that a lot of topological information about $M$ is encoded in this graph. In this paper we prove that every compact homogeneous space $M$ of non-zero Euler characteristic is of GKM type and show that the graph associated with $M$ encodes \emph{geometric} information about $M$ as well as topological information. For example, from this graph one can detect whether $M$ admits an invariant complex structure or an invariant almost complex structure.


title: The border of the Hilbert function of a set of points in P^{n_1} x ... x P^{n_k}

abstract: We describe the eventual behaviour of the Hilbert function of a set of distinct points in P^{n_1} x ... x P^{n_k}. As a consequence of this result, we show that the Hilbert function of a set of points in P^{n_1} x ... x P^{n_k} can be determined by computing the Hilbert function at only a finite number of values. Our result extends the result that the Hilbert function of a set of points in P^n stabilizes at the cardinality of the set of points. Motivated by our result, we introduce the notion of the_border_ of the Hilbert function of a set of points. By using the Gale-Ryser Theorem, a classical result about (0,1)-matrices, we characterize all the possible borders for the Hilbert function of a set of distinct points in P^1 x P^1.


title: The Hilbert functions of ACM sets of points in P^{n_1} x ... x P^{n_k}

abstract: The Hilbert functions of sets of distinct points in P^n have been characterized. We show that if we restrict to sets of distinct of points in P^{n_1} x ... x P^{n_k} that are also arithmetically Cohen-Macaulay (ACM for short), then there is a natural generalization of this result. We begin by determining the possible values for the invariants K-dim R/Ix and depth R/Ix, where R/Ix is the coordinate ring associated to a set of distinct points X in P^{n_1} x ... x P^{n_k}. At the end of this paper we give a new characterization of ACM sets of points in P^1 x P^1.


title: Homology of holomorphs of free groups

abstract: The holomorph of a free group $F_n$ is the semidirect product $F_n \rtimes Aut(F_n)$. Using the methods of Hatcher and Vogtmann, we derive stability results and calculate the mod-$p$ homology of these holomorphs for odd primes $p$ in dimensions 1 and 2, and their rational homology in dimensions 1 through 5. Calculations of the twisted (where $Aut(F_n)$ acts by first projecting to $Gl_n(\Z)$ and then including in $Gl_n(\Q)$) homology $H_*(Aut(F_n); \Q^n)$ follow in corresponding dimensions.


title: Stable rational cohomology of automorphism groups of free groups and the integral cohomology of moduli spaces of graphs

abstract: It is not known whether or not the stable rational cohomology groups $\tilde H^*(Aut(F_\infty);\Q)$ always vanish. We show that either the rational cohomology does not vanish in certain dimensions, or the integral cohomology of a moduli space of pointed graphs does not stabilize in certain other dimensions. Similar results are stated for groups of outer automorphisms. This yields that $H^5(\hat Q_m; \mathbb{Z})$, $H^6(\hat Q_m; \mathbb{Z})$, and $H^5(Q_m; \mathbb{Z})$ never stabilize as $m \to \infty$, where the moduli spaces $\hat Q_m$ and $Q_m$ are the quotients of the spines $\hat X_m$ and $X_m$ of ``outer space'' and ``auter space'', respectively, introduced by Culler and Vogtmann and by Hatcher and Vogtmann.


title: Contractibility of fixed point sets of auter space

abstract: We show that for every finite subgroup $G$ of $Aut(F_n)$, the fixed point subcomplex $X_n^G$ is contractible, where $F_n$ is the free group on $n$ letters and $X_n$ is the spine of ``auter space'' constructed by Hatcher and Vogtmann. In more categorical language, $X_n =\underline{E}Aut(F_n)$. This is useful because it allows one to compute the cohomology of normalizers or centralizers of finite subgroups of $Aut(F_n)$ based on their actions on fixed point subcomplexes. The techniques used to prove it are largely those of Krstic and Vogtmann, who in turn used techniques similar to Culler and Vogtmann.


title: Geometry for palindromic automorphism groups of free groups

abstract: We examine the palindromic automorphism group $\Pi A(F_n)$ of a free group $F_n$, a group first defined by Collins which is related to hyperelliptic involutions of mapping class groups, congruence subgroups of $SL_n(\Z)$, and symmetric automorphism groups of free groups. Cohomological properties of the group are explored by looking at a contractible space on which $\Pi A(F_n)$ acts properly with finite quotient. Our results answer some conjectures of Collins and provide a few striking results about the cohomology of $\Pi A(F_n)$, such as that its rational cohomology is zero at the vcd.


title: Cohomology of $Aut(F_n)$ in the p-rank two case

abstract: For odd primes p, we examine $\hat H^*(Aut(F_{2(p-1)}); \Z_{(p)})$, the Farrell cohomology of the group of automorphisms of a free group $F_{2(p-1)}$ on $2(p-1)$ generators, with coefficients in the integers localized at the prime $(p) \subset \Z$. This extends results by Glover and Mislin, whose calculations yield $\hat H^*(Aut(F_n); \Z_{(p)})$ for $n \in \{p-1,p\}$ and is concurrent with work by Chen where he calculates $\hat H^*(Aut(F_n); \Z_{(p)})$ for $n \in \{p+1,p+2\}$. The main tools used are Ken Brown's ``normalizer spectral sequence'', a modification of Krstic and Vogtmann's proof of the contractibility of fixed point sets for outer space, and a modification of the Degree Theorem of Hatcher and Vogtmann.


title: Cohomoloy of $Aut(F_n)$

abstract: We calculate the homology of automorphism groups of free groups in various cases. The author would like to thank his thesis advisor Karen Vogtmann.


title: On the Cut Number of a 3-manifold

abstract: The question was raised as to whether the cut number of a 3-manifold X is bounded from below by 1/3 beta_1(X). We show that the answer to this question is `no.' For each m>0, we construct explicit examples of closed 3-manifolds X with beta_1(X)=m and cut number 1. That is, pi_1(X) cannot map onto any non-abelian free group. Moreover, we show that these examples can be assumed to be hyperbolic.


title: Free martingale polynomials

abstract: In this paper we investigate the properties of the free Sheffer systems, which are certain families of martingale polynomials with respect to the free Levy processes. First, we classify such families that consist of orthogonal polynomials; these are the free analogs of the Meixner systems. Next, we show that the fluctuations around free convolution semigroups have as principal directions the polynomials whose derivatives are martingale polynomials. Finally, we indicate how Rota's finite operator calculus can be modified for the free context.


title: Real Quartic Surfaces in RP_3 containing 16 Skew Lines

abstract: In [BN] the authors construct a special complex of degree 20 over M, which for an open three dimensional set parametrizes smooth complex surfaces of degree four invariant which are Heisenberg invariant and each member of the family contains 32 lines but only 16 skew lines. The coordinates of the lines however need not be real. For a point l in a Zariski open set of M an algorithm is presented which evaluates the real coefficients of l in terms of the K-coordinates of l. The author uses a code in Maple which allows him to construct very explicite examples of real smooth Heisenberg invariant Kummer surfaces containing the special configuration of 16 real skew lines. An example is constructed at the end of the paper.


title: The Highest-Lowest Zero and other Applications of Positivity

abstract: The first nontrivial zeroes of the Riemann $\zeta$ function are $\approx 1/2+\pm14.13472i$. We investigate the question of whether or not any other L-function has a higher lowest zero. To do so we try to quantify the notion that the L-function of a ``small'' automorphic representation (i.e. one with small level and archimedean type) does not have small zeroes, and vice-versa. We prove that many types of automorphic L-functions have a lower first zero than $\zeta$'s. This is done using Weil's explicit formula with carefully-chosen test functions. When this method does not immediately show L-functions of a certain type have low zeroes, we then attempt to turn the tables and show no L-functions of that type exist. Thus the argument is a combination of proving low zeroes exist and that certain cusp forms do not. Consequently we are able to prove cohomological vanishing theorems and improve upon existing bounds on the Laplace spectrum on $L^2(\quo n)$.


title: Moduli spaces of topological calibrations, Calabi-Yau, HyperK\"ahler, $G_2$ and Spin(7) structures

abstract: We shall obtain unobstructed deformations of four geometric structures: Calabi-Yau, HyperK\"ahler, $\G$ and Spin(7) structures in terms of closed differential forms (calibrations). We develop a direct and unified construction of smooth moduli spaces of these four geometric structures and show that the local Torelli type theorem holds in a systematic way.


title: A Barth-Lefschetz theorem for toric varieties

abstract: The theorem of Barth-Lefschetz is a statement about the cohomology of a submanifold X of some projective space, in a range depending on the codimension of the embedding. Here this is generalized to the case of a submanifold X of a smooth projective toric variety Y, under some natural conditions on X. In particular, in the Barth-Lefschetz range a formula for the Hodge numbers of X in terms of the toric, i.e. combinatorial data of Y is given.


title: Deformation de fibres vectoriels sur les varietes lisses de dimension trois

abstract: Let X be a smooth 3-fold and let E be a rank 2 torsion free sheaf. In the first part of this paper, we give some necessary conditions for the sheaf E to be limit of vector bundles. In the second part, we describe an example of this problem. Thanks to the construction of Ellingsrud and Stromme, we describe a familly of rank 2 sheaves on P^3 (the 3-dimensional projective space). We show that for this familly, the conditions of the first part are sufficient.


title: Limites de fibres vectoriels dans ${\bf M}_{\mathbb{Q}_3}(0,2,0)$

abstract: Let $\mathbb{Q_3}$ the smooth quadric in P^4 (the 4-dimensional projective space). In this note we completely describe the closure of the open set of vector bundles in ${\bf M}_{\mathbb{Q}_3}(0,2,0)$. This description gives another example where the conditions given in math.AG/0112199 for a sheaf to be limit of vector bundles are necessary and sufficient.


title: Killing spinor equations in dimension 7 and geometry of integrable G_2-manifolds

abstract: We compute the scalar curvature of 7-dimensional ${G}_2$-manifolds admitting a connection with totally skew-symmetric torsion. We prove the formula for the general solution of the Killing spinor equation and express the Riemannian scalar curvature of the solution in terms of the dilation function and the NS 3-form field. In dimension n=7 the dilation function involved in the second fermionic string equation has an interpretation as a conformal change of the underlying integrable ${G}_2$-structure into a cocalibrated one of pure type $W_3$.


title: A q-Analogue of the embedding chain $U(6) \supset G \supset SO(3)$

abstract: A q-analogue of the embedding chains of the Arima-Iachello model is proposed. The generators of the deformed U(6)-subalgebras are written in terms of the generators of gl_{q}(6), using q-bosons.


title: A variational proof for the existence of a conformal metric with preassigned negative Gaussian curvature for compact Riemann surfaces of genus $>1$

abstract: Given an smooth function $K <0$ we prove a result by Berger, Kazhdan and others that in every conformal class there exists a metric which attains this function as its Gaussian curvature for a compact Riemann surface of genus $g>1$. We do so by minimizing an appropriate functional using elementary analysis. In particular for $K$ a negative constant, this provides an elementary proof of the uniformization theorem for compact Riemann surfaces of genus $g >1$.


title: Relative Cohomology with Respect to a Lefschetz Pencil

abstract: Let $M$ be a complex projective manifold of dimension $n+1$ and $f$ a meromorphic function on $M$ obtained by a generic pencil of hyperplane sections of $M$. The $n$-th cohomology vector bundle of $f_0=f|_{M-\RR}$, where $\RR$ is the set of indeterminacy points of $f$, is defined on the set of regular values of $f_0$ and we have the usual Gauss-Manin connection on it. Following Brieskorn's methods in [bri], we extend the $n$-th cohomology vector bundle of $f_0$ and the associated Gauss-Manin connection to $\pl$ by means of differential forms. The new connection turns out to be meromorphic on the critical values of $f_0$. We prove that the meromorphic global sections of the vector bundle with poles of arbitrary order at $\infty\in\pl$ is isomorphic to the Brieskorn module of $f$ in a natural way, and so the Brieskorn module in this case is a free $\Pf$-module of rank $\beta_n$, where $\Pf$ is the ring of polynomials in $t$ and $\beta_n$ is the dimension of $n$-th cohomology group of a regular fiber of $f_0$.


title: A multiplicative property of quantum flag minors

abstract: We study multiplicative properties of the (quantum) dual canonical basis B* associated to a semi-simple complex Lie group G. We provide a subset D of B* such that the following property holds : if two elements b, b' in B* q-commute and if one of these elements is in D, then the product bb' is in B* up to a power of q, where q the quantum parameter. If G is SL_n, then D is the set of so-called quantum flag minors and we obtain a generalization of a result of Leclerc-Nazarov-Thibon, see ArXiv:Math.QA/0011074.


title: On Filamentations and Virtual Knots

abstract: In this paper, we discuss filamentations on oriented chord diagrams. When a filamentation cannot be realized on an oriented chord diagram, then the corresponding flat virtual knot is non-trivial. If a flat knot diagram is non-trivial, then any virtual diagram whose shadow is the flat diagram must also be non-trivial. We introduce a class of flat diagrams for which no filamentations exist. This class gives the first example of an infinite set of virtual knots for which the Jones polynomial and the fundamental group both evaluate trivially. The related generalized Alexander polynomials for the virtual knots in this class turn out to be distinct, proving that the class is indeed infinite.


title: Markov theorem for transversal links

abstract: It is shown that two braids represent transversally isotopic links if and only if one can pass from one braid to another by conjugations in braid groups, positive Markov moves, and their inverses.


title: An Improved Bound on the VC-Dimension of Neural Networks with Polynomial Activation Functions

abstract: In this note, we derive an improved upper bound for the VC-dimension of neural networks with polynomial activation functions. This improved bound is based on a result of Rojas on the number of connected components of a semi-algebraic set.


title: Rozansky-Witten theory

abstract: Rozansky and Witten proposed in 1996 a family of new three-dimensional topological quantum field theories, indexed by compact (or asymptotically flat) hyperkaehler manifolds. As a byproduct they proved that hyperkaehler manifolds also give rise to Vassiliev weight systems. These may be thought of as invariants of hyperkaehler manifolds, so the theory is of interest to geometers as well as to low-dimensional topologists. This paper surveys the geometrical construction of the weight systems, how they may be integrated into the framework of Lie algebra weight systems (joint work with Simon Willerton), their applications, and an approach to a rigorous construction of the TQFTs (joint work with Justin Sawon and Simon Willerton).


title: Generalisations of Rozansky-Witten invariants

abstract: We survey briefly the definition of the Rozansky-Witten invariants, and review their relevance to the study of compact hyperkahler manifolds. We consider how various generalisations of the invariants might prove useful for the study of non-compact hyperkahler manifolds, of quaternionic-Kahler manifolds, and of relations between hyperkahler manifolds and Lie algebras. The paper concludes with a list of additional problems.


title: Twisted Modules over Vertex Algebras on Algebraic Curves

abstract: We extend the geometric approach to vertex algebras developed by the first author to twisted modules, allowing us to treat orbifold models in conformal field theory. Let $V$ be a vertex algebra, $H$ a finite group of automorphisms of $V$, and $C$ an algebraic curve such that $H \subset \on{Aut}(C)$. We show that a suitable collection of twisted $V$--modules gives rise to a section of a certain sheaf on the quotient $X=C/H$. We introduce the notion of conformal blocks for twisted modules, and analyze them in the case of the Heisenberg and affine Kac-Moody vertex algebras. We also give a chiral algebra interpretation of twisted modules.


title: Quite Complete Real Closed fields

abstract: We prove that any ordered field can be extended to one for which every decreasing sequence of bounded closed intervals, of any length, has a nonempty intersection; equivalently, there are no Dedekind cuts with equal cofinality from both sides. Here we strengthen the results from the published version.


title: On the Arrow property

abstract: Let X be a finite set of alternatives. A choice function c is a mapping which assigns to nonempty subsets S of X an element c(S) of S. A rational choice function is one for which there is a linear ordering on the alternatives such that c(S) is the maximal element of S according to that ordering. Arrow's impossibility theorem asserts that under certain natural conditions, if there are at least three alternatives then every non-dictatorial social choice gives rise to a non-rational choice function. Gil Kalai asked if Arrow's theorem can be extended to the case when the individual choices are not rational but rather belong to an arbitrary non-trivial symmetric class of choice functions. The main theorem of this paper gives an affirmative answer in a very general setting.


title: Almost-free E-rings of cardinality aleph_1

abstract: An E-ring is a unital ring R such that every endomorphism of the underlying abelian group R^+ is multiplication by some ring-element. The existence of almost-free E-rings of cardinality greater than 2^{aleph_0} is undecidable in ZFC. While they exist in Goedel's universe, they do not exist in other models of set theory. For a regular cardinal aleph_1 <= lambda <= 2^{aleph_0} we construct E-rings of cardinality lambda in ZFC which have aleph_1-free additive structure. For lambda = aleph_1 we therefore obtain the existence of almost-free E-rings of cardinality aleph_1 in ZFC.


title: Hyperkaehler manifolds with torsion, supersymmetry and Hodge theory

abstract: Let M be a hypercomplex Hermitian manifold, (M,I) the same manifold considered as a complex Hermitian with a complex structure I induced by the quaternions. The standard linear-algebraic construction produces a canonical nowhere degenerate (2,0)-form on (M,I). It is well known that M is hyperkaehler if and only if the form \Omega is closed with respect to the de Rham differential. The M is called HKT (hyperkaehler with torsion) if this form is closed with respect to the Dolbeault differential (this condition is weaker. Conjecturally, all compact hypercomplex manifolds admit an HKT-metrics. We exploit a remarkable analogy between the de Rham DG-algebra of a Kaehler manifold and the Dolbeault DG-algebra of an HKT-manifold. The supersymmetry of a Kaehler manifold is given by an action of an 8-dimensional Lie superalgebra on its de Rham algebra, containing the Lefschetz SL(2)-triple, the Laplacian and the de Rham differential. We establish the action of this superalgebra on the Dolbeault DG-algebra of an HKT-manifold. This is used to construct a canonical Lefschetz-type SL(2)-action on the space of harmonic spinors of M.


title: Classification of Finite Dynamical Systems

abstract: This paper is motivated by the theory of sequential dynamical systems, developed as a basis for a mathematical theory of computer simulation. It contains a classification of finite dynamical systems on binary strings, which are obtained by composing functions defined on the coordinates. The classification is in terms of the dependency relations among the coordinate functions. It suggests a natural notion of the linearization of a system. Furthermore, it contains a sharp upper bound on the number of systems in terms of the dependencies among the coordinate functions. This upper bound generalizes an upper bound for sequential dynamical systems.


title: Integral Closures of Cohen-Macaulay monomial ideals

abstract: The purpose of this paper is to present a family of Cohen-Macaulay monomial ideals such that their integral closures have embedded components and hence are not Cohen-Macaulay.


title: Hilbert C*-modules are JB*-triples

abstract: We show that every Hilbert C*-module E is a JB*-triple in a canonical way and establish an explicit expression for the holomorphic automorphisms of the unit ball of E.


title: Symplectic and Hyperkahler structures in a dimensional reduction of the Seiberg-Witten equations with a Higgs field

abstract: In this paper we show that the dimensionally reduced Seiberg-Witten equations lead to a Higgs field and study the resulting moduli spaces. The moduli space arising out of a subset of the equations, shown to be non-empty for a compact Riemann surface of genus g >= 1, gives rise to a family of moduli spaces carrying a hyperkahler structure. For the full set of equations the corresponding moduli space does not have the aforementioned hyperkahler structure but has a natural symplectic structure. For the case of the torus, g=1, we show that the full set of equations has a solution, different from the ``vortex solutions''.


title: On Co-H-maps to the Suspension of the Projective Plane

abstract: We study co-H-maps from a suspension to the suspension of the projective plane and provide examples of non-suspension 3-cell co-H-spaces. These (infinitely many) examples are related to the homotopy groups of the 3-sphere. For each element of order 2 in $\pi_n(S^3)$, there is a corresponding non-suspension co-H-space of cells in dimensions 2, 3 and n+2. Our ideas are to study Hopf invariants in combinatorial way by using the Cohen groups.


title: The canonical decomposition of once-punctured torus bundles

abstract: In this paper, we determine the canonical polyhedral decomposition of every hyperbolic once-punctured torus bundle over the circle. In fact, we show that the only ideal polyhedral decomposition that is straight in the hyperbolic structure and that is invariant under a certain involution is the ideal triangulation defined by Floyd and Hatcher. Unlike previous work on this problem, the techniques we use are not geometric. Instead, they involve angled polyhedral decompositions, thin position and a version of almost normal surface theory.


title: H\"older-Zygmund regularity in algebras of generalized functions

abstract: We introduce an intrinsic notion of Hoelder-Zygmund regularity for Colombeau generalized functions. In case of embedded distributions belonging to some Zygmund-Hoelder space this is shown to be consistent. The definition is motivated by the well-known use of Littlewood-Paley decomposition in characterizing Hoelder-Zygmund regularity for distributions. It is based on a simple interplay of differentiated convolution-mollification with wavelet transforms, which directly translates wavelet estimates into properties of the regularizations. Thus we obtain a scale of new subspaces of the Colombeau algebra. We investigate their basic properties and indicate first applications to differential equations whose coefficients are non-smooth but belong to some Hoelder-Zygmund class (distributional or generalized). In applications problems of this kind occur, for example, in seismology when Earth's geological properties of fractal nature have to be taken into account while the initial data typically involve strong singularities.


title: t-analogues des operateurs d'ecrantage associes aux q-caracteres (t-analogs of screening operators related to q-characters)

abstract: Frenkel and Reshetikhin introduced screening operators related to q-characters of finite dimensional representations of quantum affine algebras. We propose t-analogs of screening operators related to Nakajima's q,t-characters with the same properties of symmetry. Nakajima introduced non-commutative rings, so we propose bimodules. Our construction uses only combinatorial definition of q,t-characters, and therefore can be extended to the non-simply laced case.


title: Attaching handles to Bryant surfaces

abstract: We prove the existence of complete, embedded, constant mean curvature 1 surfaces in 3 dimensional hyperbolic space when g, the genus of the surface, and n, the number of ends of the surface, satisfy either g=0 and $n\geq 1$ or $g \geq 1$ and $2n\geq g+5$. The surfaces are all regular points of their corresponding moduli space.


title: Enhanced interface repulsion from quenched hard-wall randomness

abstract: We consider the harmonic crystal on the d-dimensional lattice, d larger or equal to 3, that is the centered Gaussian field $\phi$ with covariance given by the Green function of the simple random walk on $Z^d$. Our main aim is to obtain quantitative information on the repulsion phenomenon that arises when we condition the field to be larger than an IID field $\sigma$ (which is also independent of $\phi$), for every x in a large region $D_N=ND\cap \Z^d$, with N a positive integer and $D \subset\R^d$. We are mostly motivated by results for given typical realizations of the $\sigma$ (quenched set-up), since the conditioned harmonic crystal may be seen as a model for an equilibrium interface, constrained not to go below a inhomogeneous substrate that acts as a hard wall. We consider various types of substrate and we observe that the interface is pushed away from the wall much more than in the case of a flat wall as soon as the upward tail of $\sigma$ is heavier than Gaussian, while essentially no effect is observed if the tail is sub--Gaussian. In the critical case, that is the one of approximately Gaussian tail, the interplay of the two sources of randomness, $\phi$ and $\sigma$, leads to an enhanced repulsion effect of additive type.


title: Maschke functors, semisimple functors and separable functors of the second kind. Applications

abstract: We introduce separable functors of the second kind (or $H$-separable functors) and $H$-Maschke functors. $H$-separable functors are generalizations of separable functors. Various necessary and sufficient conditions for a functor to be $H$-separable or $H$-Maschke, in terms of generalized (co)Casimir elements (integrals, in the case of Hopf algebras), are given. An $H$-separable functor is always $H$-Maschke, but the converse holds in particular situations. A special role will be played by Frobenius functors and their relations to $H$-separability. Our concepts are applied to modules, comodules, entwined modules, quantum Yetter-Drinfeld modules, relative Hopf modules.


title: Ergodic theory and maximal abelian subalgebras of the hyperfinite factor

abstract: Let T be a free ergodic measure-preserving action of an abelian group G on (X,mu). The crossed product algebra R_T has two distinguished masas, the image C_T of L^infty(X,mu) and the algebra S_T generated by the image of G. We conjecture that conjugacy of the singular masas S_{T^(1)} and S_{T^(2)} for weakly mixing actions T^(1) and T^(2) of different groups implies that the groups are isomorphic and the actions are conjugate with respect to this isomorphism. Our main result supporting this conjecture is that the conclusion is true under the additional assumption that the isomorphism gamma of R_{T^(1)} onto R_{T^(2)} such that gamma(S_{T^(1)})=S_{T^(2)} has the property that the Cartan subalgebras gamma(C_{T^(1)}) and C_{T^(2)} of R_{T^(2)} are inner conjugate. We discuss a stronger conjecture about the structure of the automorphism group Aut(R_T,S_T), and a weaker one about entropy as a conjugacy invariant. We study also the Pukanszky and some related invariants of S_T, and show that they have a simple interpretation in terms of the spectral theory of the action T. It follows that essentially all values of the Pukanszky invariant are realized by the masas S_T, and there exist non-conjugate singular masas with the same Pukanszky invariant.


title: Well-posedness for the linearized motion of a compressible liquid with free surface boundary

abstract: We study the problem of the motion of the free surface of a compressible fluid. We prove existence for the linearized equations.


title: A complete rewrite system and normal forms for (S)_reg

abstract: The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S)_reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (S)_reg. The new proof of the normal form theorem is conceptually simpler than the previous proofs.


title: A general proof of the Dybvig-Ingersoll-Ross-Theorem: Long forward rates can never fall

abstract: A general proof of the Dybvig-Ingersoll-Ross Theorem on the monotonicity of long forward rates is presented. Some inconsistencies in the original proof of this theorem are discussed.


title: An intrinsic characterization of p-symmetric Heegaard splittings

abstract: We show that every p-fold strictly-cyclic branched covering of a b-bridge link in the 3-sphere admits a p-symmetric Heegaard splitting of genus g=(b-1)(p-1). This gives a complete converse to a result of Birman and Hilden, and gives an intrinsic characterization of p-symmetric Heegaard splittings as p-fold strictly-cyclic branched coverings of links.


title: Asymptotic amplitudes and cauchy gains: A small-gain principle and an application to inhibitory biological feedback

abstract: The notions of asymptotic amplitude for signals, and Cauchy gain for input/output systems, and an associated small-gain principle, are introduced. These concepts allow the consideration of systems with multiple, and possibly feedback-dependent, steady states. A Lyapunov-like characterization allows the computation of gains for state-space systems, and the formulation of sufficient conditions insuring the lack of oscillations and chaotic behaviors in a wide variety of cascades and feedback loops. An application in biology (MAPK signaling) is worked out in detail.


title: Twisted Internal coHom Objects in the Category of Quantum Spaces

abstract: Adapting the idea of twisted tensor products to the category of finitely generated algebras, we define on its opposite, the category QLS of quantum linear spaces, a family of objects hom(B,A)^{op}, one for each pair A^{op},B^{op} there, with analogous properties to its internal Hom ones, but representing spaces of transformations whose coordinate rings hom(B,A) and the ones of their respective domains B^{op} do not commute among themselves. The mentioned non commutativity is controlled by a collection of twisting maps \tau_{A,B}. We show that the (bi)algebras end(A)=hom(A,A), under certain circumstances, are 2-cocycle twistings of the quantum semigroups end(A) in the untwisted case. This fact generalizes the twist equivalence (at a semigroup level) between, for instance, the quantum groups GL_{q}(n) and their multiparametric versions GL_{q,\phi}(n).


title: Conformal invariance of planar loop-erased random walks and uniform spanning trees

abstract: We prove that the scaling limit of loop-erased random walk in a simply connected domain $D$ is equal to the radial SLE(2) path in $D$. In particular, the limit exists and is conformally invariant. It follows that the scaling limit of the uniform spanning tree in a Jordan domain exists and is conformally invariant. Assuming that the boundary of the domain is a $C^1$ simple closed curve, the same method is applied to show that the scaling limit of the uniform spanning tree Peano curve, where the tree is wired along a proper arc $A$ on the boundary, is the chordal SLE(8) path in the closure of $D$ joining the endpoints of $A$. A by-product of this result is that SLE(8) is almost surely generated by a continuous path. The results and proofs are not restricted to a particular choice of lattice.


abstract: We study the K-homology of the rotation algebras $A_{\theta}$ using the six term cyclic sequence for the K-homology of a crossed product by ${\bf Z}$. In the case where $\theta$ is irrational we use Pimsner and Voiculescu's work on AF-embeddings of the $A_{\theta}$ to search for the missing generator of the even K-homology.


title: K-homology of the CAR algebra

abstract: We compare the K-theory and K-homology of the well known CAR algebra. While the $K_0$ group is infinitely generated, we shows that it pairs identically to zero with even Fredholm modules over the algebra. We show further that in fact the even K-homology is trivial, while the odd K-homology is very large. These results give some insight into the K-homology of AF-algebras.


title: Vive la difference III

abstract: We show that, consistently, there is an ultrafilter F on omega such that if N^l_n=(P^l_n cup Q^l_n,P^l_n,Q^l_n,R^l_n) (for l =1,2, n< omega), P^l_n cup Q^l_n subseteq omega, and prod_{n<omega} N^1_n/F and prod_{n< omega}N^2_n/F are isomorphic models of the canonical theory t^ind of the strong independence property, then every isomorphism from prod_{n<omega} N^1_n/F onto prod_{n<omega} N^2_n/F is a product isomorphism.


title: Long iterations for the continuum

abstract: We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).


title: On Heron Simplices and Integer Embedding

abstract: In "Unsolved Problems in Number Theory" problem D22 Richard Guy asked for the existence of simplices with integer lengths, areas, volumes... In dimension two this is well known, these triangles are called Heron triangles. Here I will present my results on Heron tetrahedra, their connection to the existence of an integer box (problem D18), the tools for the search for higher dimensional Heron simplices and my nice embedding conjecture about Heron simplices, which I can only proof in dimension two, but I verified it for a large range in dimension three.


title: On a nonlinear fourth order elliptic equation involving the Sobolev critical exponent

abstract: In this paper we use an algebraic topological argument due to Bahri and Coron to show how the topology of the domain influences the existence of positive solutions of some fourth order elliptic equation involving the critical Sobolev exponent.


title: On the cohomology of frobeniusian model Lie algebras

abstract: We compute the first and second cohomology groups with coefficients in the adjoint module of frobeniusian model algebras whose parameters move in a dense open subset of $\mathbb{C}^{p-1}$, and obtain upper bounds for the dimension of cohomology groups of frobeniusian Lie algebras. Moreover, it is shown that for a dense open subset of $\mathbb{C}^{p-1}$ the deformations of model algebras also belong to the family. Therefore any frobeniusian non-model algebra contracts on some element of the model whose parameters move on a finite union of hyperplanes. Further applications as the nullity of Rim's quadratic map $sq_{1}$ are obtained.


title: On Gorenstein Surfaces Dominated by P^2

abstract: In this paper we prove that a normal Gorenstein surface dominated by the projective plane P^2 is isomorphic to a quotient P^2/G, where G is a finite group of automorphisms of P^2 (except possibly for one surface V_8'). We can completely classify all such quotients. Some natural conjectures when the surface is not Gorenstein are also stated.


title: Cibils'spectral sequence for the cohomology of triangular algebras

abstract: In order to study the Hochschild cohomology of triangular algebras $\mathcal T$, we construct a spectral sequence, whose terms are parametrized by the length of the trajectories of the quiver associated with $\mathcal T$, and which converges to $HH^*(\mathcal T)$. We explicit its components, and its differentials which are sums of cup products. In case $n=3$, we study some properties of the differential at level 2. Finally, we apply these results to the paths algebra of a quiver without oriented cycles, and link them with previous results on the incidence algebra of a simplicial complex, and more generally on the morphisms algebra of certain categories.


title: Regularity of finite-dimensional realizations for Evolution Equations

abstract: We show that a continuous local semiflow of $C^k$-maps on a finite-dimensional $C^k$-manifold M can be embedded into a local $C^k$-flow on M under some weak (necessary) assumptions. This result is applied to an open problem in [fil/tei:01]. We prove that finite-dimensional realizations for interest rate models are highly regular objects, namely given by submanifolds M of $D(A^{\infty})$, where A is the generator of a strongly continuous semigroup.


title: Homology Lens Spaces in Topological 4-Manifolds

abstract: For a closed 4-manifold X and closed 3-manifold M we investigate the smallest integer n (perhaps infinity) such that M embeds in the connected sum of n copies of X. It is proven that any lens space (or homology lens space) embeds topologically locally flatly in a connected sum of 8 copies of the complex projective plane.


title: Monte Carlo Tests of SLE Predictions for the 2D Self-Avoiding Walk

abstract: The conjecture that the scaling limit of the two-dimensional self-avoiding walk (SAW) in a half plane is given by the stochastic Loewner evolution (SLE) with $\kappa=8/3$ leads to explicit predictions about the SAW. A remarkable feature of these predictions is that they yield not just critical exponents, but probability distributions for certain random variables associated with the self-avoiding walk. We test two of these predictions with Monte Carlo simulations and find excellent agreement, thus providing numerical support to the conjecture that the scaling limit of the SAW is SLE$_{8/3}$.


title: A counterexample to the Hodge conjecture for Kaehler varieties

abstract: Summary: The Hodge conjecture asks whether rational Hodge classes on a smooth projective manifolds are generated by the classes of algebraic subsets, or equivalently by Chern classes of coherent sheaves. On a compact Kaehler manifold, Hodge conjecture is known to be false if algebraic subsets are replaced with analytic subsets. Here we show that it is even false that for a Kaehler manifold, Hodge classes are generated by Chern classes of coherent sheaves. We also show that finite free resolution do not in general exist for coherent sheaves on compact Kaehler manifolds.


title: Decoupling of Translations from Homogeneous Transformations in Inhomogeneous Quantum Groups

abstract: We briefly report on our result that, if there exists a realization of a Hopf algebra $H$ in a $H$-module algebra $A$, then their cross-product is equal to the product of $A$ itself with a subalgebra isomorphic to $H$ and commuting with $A$. We illustrate its application to the Euclidean quantum groups in $N\ge 3$ dimensions.


title: Integration motivique sur les schemas formels

abstract: We develop the theory of motivic integration for formal schemes


title: L-modules and the Conjecture of Rapoport and Goresky-MacPherson

abstract: Consider the middle perversity intersection cohomology groups of various compactifications of a Hermitian locally symmetric space. Rapoport and independently Goresky and MacPherson have conjectured that these groups coincide for the reductive Borel-Serre compactification and the Baily-Borel-Satake compactification. This paper describes the theory of L-modules and how it is used to solve the conjecture. More generally we consider a Satake compactification for which all real boundary components are equal-rank. Details will be given elsewhere (math.RT/0112251). As another application of L-modules, we prove a vanishing theorem for the ordinary cohomology of a locally symmetric space. This answers a question raised by Tilouine.


title: L-modules and micro-support

abstract: L-modules are a combinatorial analogue of constructible sheaves on the reductive Borel-Serre compactification of a locally symmetric space. We define the micro-support of an L-module; it is a set of irreducible modules for the Levi quotients of the parabolic Q-subgroups associated to the strata. We prove a vanishing theorem for the global cohomology of an L-module in term of the micro-support. We calculate the micro-support of the middle weight profile weighted cohomology and the middle perversity intersection cohomology L-modules. (For intersection cohomology we must assume the Q-root system has no component of type D_n, E_n, or F_4.) Finally we prove a functoriality theorem concerning the behavior of micro-support upon restriction of an L-module to the pre-image of a Satake stratum. As an application we settle a conjecture made independently by Rapoport and by Goresky and MacPherson, namely, that the intersection cohomology (for either middle perversity) of the reductive Borel-Serre compactification of a Hermitian locally symmetric space is isomorphic to the intersection cohomology of the Baily-Borel-Satake compactification. We also obtain a new proof of the main result of Goresky, Harder, and MacPherson on weighted cohomology as well as generalizations of both of these results to general Satake compactifications with equal-rank real boundary components. An overview of the theory of L-modules and the above conjecture, as well as an application to the cohomology of arithmetic groups, can be found in math.RT/0112250 .


title: On universal and epi-universal locally nilpotent groups

abstract: In this paper we mainly consider the class LN of all locally nilpotent groups. We first show that there is no universal group in LN_lambda if lambda is a cardinal such that lambda = lambda^{aleph_0}; here we call a group G universal (in LN_lambda) if any group H in LN_lambda can be embedded into G where LN_lambda denotes the class of all locally nilpotent groups of cardinality at most lambda. However, our main interest is the construction of torsion-free epi-universal groups in LN_lambda, where G in LN_lambda is said to be epi-universal if any group H in LN_lambda is an epimorphic image of G. Thus we give an affirmative answer to a question by Plotkin. To prove the torsion-freeness of the constructed locally nilpotent group we adjust the well-known commutator collecting process due to P. Hall to our situation. Finally, we briefly discuss how to use the same methods as for the class LN for other canonical classes of groups to construct epi-universal objects.