title: Cyclic homology of Hopf algebras

abstract: A cyclic cohomology theory adapted to Hopf algebras has been introduced recently by Connes and Moscovici. In this paper, we consider this object in the homological framework, in the spirit of Loday-Quillen and Karoubi's work on the cyclic homology of associative algebras. In the case of group algebras, we interpret the decomposition of the classical cyclic homology of a group algebra in terms of this homology. We also compute both cyclic homologies for truncated quiver algebras.


title: Cyclic homology of the Taft algebras and of their Auslander algebras

abstract: In this paper, we compute the cyclic homology of the Taft algebras and of their Auslander algebras. Given a Hopf algebra $\Lambda,$ the Grothendieck groups of projective $\Lambda -$modules and of all $\Lambda -$modules are endowed with a ring structure, which in the case of the Taft algebras is commutative (\cite{C2}, \cite{G}). We also describe the first Chern character for these algebras.


title: Kobayashi-Royden vs. Hahn pseudometric in ${\Bbb C}^2$

abstract: For a domain $D\subset{\Bbb C}$ the Kobayashi--Royden $\kappa$ and Hahn $h$ pseudometrics are equal iff $D$ is simply connected. Overholt showed that for $D\subset{\Bbb C}^n$, $n\geq3$, we have $h_D\equiv\kappa_D$. Let $D_1,D_2\subset{\Bbb C}$. The aim of this paper is to show that $h_{D_1\times D_2}\equiv\kappa_{D_1\times D_2}$ iff at least one of $D_1$, $D_2$ is simply connected or biholomorphic to ${\Bbb C}\setminus\{0\}$. In particular, there are domains $D\subset{\Bbb C}^2$ for which $h_D\not\equiv\kappa_D$.


title: How to make a triangulation of S^3 polytopal

abstract: We introduce a numerical isomorphism invariant p(T) for any triangulation T of S^3. Although its definition is purely topological (inspired by the bridge number of knots), p(T) reflects the geometric properties of T. Specifically, if T is polytopal or shellable then p(T) is `small' in the sense that we obtain a linear upper bound for p(T) in the number n=n(T) of tetrahedra of T. Conversely, if p(T) is `small' then T is `almost' polytopal, since we show how to transform T into a polytopal triangulation by O((p(T))^2) local subdivisions. The minimal number of local subdivisions needed to transform T into a polytopal triangulation is at least $\frac{p(T)}{3n}-n-2$. Using our previous results [math.GT/0007032], we obtain a general upper bound for p(T) exponential in n^2. We prove here by explicit constructions that there is no general subexponential upper bound for p(T) in n. Thus, we obtain triangulations that are `very far' from being polytopal. Our results yield a recognition algorithm for S^3 that is conceptually simpler, though somewhat slower, as the famous Rubinstein-Thompson algorithm.


title: The meromorphic non-integrability of the planar three-body problem

abstract: We study the planar three-body problem and prove the absence of a complete set of complex meromorphic first integrals in a neighborhood of the Lagrangian solution.


title: The meromorphic non-integrability of the three-body problem

abstract: We study the planar three-body problem and prove the absence of a complete set of complex meromorphic first integrals in a neighborhood of the Lagrangian solution. We use the Ziglin's method and study the monodromy group of the corresponding normal variational equations.


title: Berezin-Toeplitz quantization and Berezin transform

abstract: In this lecture results on the Berezin-Toeplitz quantization of arbitrary compact quantizable Kaehler manifolds are presented. These results are obtained in joint work with M. Bordemann and E. Meinrenken. The existence of the Berezin-Toeplitz deformation quantization is also covered. Recent results obtained in joint work with A. Karabegov on the asymptotic expansion of the Berezin transform for arbitrary quantizable compact Kaehler manifolds are explained. As an application the asymptotic expansion of the Fubini-Study fundamental form under the coherent state embedding is considered. Some comments on the dynamics of the quantum operators are given. (This is an extended write-up of an invited lecture presented at the workshop ``Asymptotic properties of time evolutions in classical and quantum systems'', September 13-17, 1999, Bologna, Italy.)

categories: math.QA math-ph math.CV math.DG math.MP math.SG quant-ph


title: Homotopy type of symplectomorphism groups of S^2 X S^2

abstract: In this paper we discuss the topology of the symplectomorphism group of a product of two 2-dimensional spheres when the ratio of their areas lies in the interval (1,2]. More precisely we compute the homotopy type of this symplectomorphism group and we also show that the group contains two finite dimensional Lie groups generating the homotopy. A key step in this work is to calculate the mod 2 homology of the group of symplectomorphisms. Although this homology has a finite number of generators with respect to the Pontryagin product, it is unexpected large containing in particular a free noncommutative ring with 3 generators.


title: A note on idempotents in finite AW*-factors

abstract: We prove that the value of the quasi-trace on an idempotent element in a AW*-factor of type II_1 is the same as the dimension of its left (or right) support.


title: Topological quantum field theory and hyperk\"ahler geometry

abstract: Rozansky and Witten proposed a 3-dimensional sigma-model whose target space is a hyperk\"ahler manifold. They conjectured that this theory has an associated TQFT, with Hilbert spaces given by certain cohomology groups of the hyperk\"ahler manifold. On the other hand, there is a certain modified TQFT constructed by Murakami and Ohtsuki using the universal quantum invariant. We explain how the Rozansky-Witten TQFT can be obtained from the latter by applying a `hyperk\"ahler weight system'.


title: The Dynamics of a Vertically Transmitted Disease

abstract: An SIRS epidemiological model for a vertically transmitted disease is discussed. We give a complete global analysis in terms of three explicit threshold parameters which respectively govern the existence and stability of an endemic proportion equilibrium, the increase of the total population and the growth of the infective population. This paper gereralize the results of Busenberg and van den Driessche.


title: Lusternik-Schnirelmann Theory for a Morse Decomposition

abstract: Let $\phi^t$ be a continuous flow on a metric space $X$ and $I$ be an isolated invariant set with an index pair $(N,L)$ and a Morse decomposition $\{M_i\}^n_{i=1}$. For every category $\nu$ on $N/L$, we prove that $\nu(N/L)\leq \nu([L])+\sum_{i=1}^n \nu(M_i)$. As a result if $\phi^t|_I$ is gradient-like and $X$ is semi-locally contractible, then $\phi^t$ has at least $\nu_H(h(I))-1$ rest points in $I$ where $h(I)$ is the Conley index of $I$ and $\nu_H$ is the Homotopy Lusternik-Schnirelmann category.


title: Invariants of PL manifolds from metrized simplicial complexes. Three-dimensional case

abstract: An invariant of three-dimensional orientable manifolds is built on the base of a solution of pentagon equation expressed in terms of metric characteristics of Euclidean tetrahedra.


title: The natural metric in the Horrocks-Mumford bundle is not Hermitian-Einstein

abstract: The Horrocks-Mumford bundle $E$ is a famous stable complex vector bundle of rank 2 on 4-dimensional complex projective space. By construction, $E$ has a natural Hermitian metric $h_1$. On the other hand, stability implies the existence of a Hermitian-Einstein metric in $E$ which is unique up to a positive scalar. Now the obvious question is if $h_1$ is in fact the Hermitian-Einstein metric. In this note we indicate how to show by computation that this is not the case.


title: An obstruction to conservation of volume in contact dynamics

abstract: A theorem of Moser guarantees that every diffeomorphism of a closed manifold can be isotoped to a volume preserving one. We show that this statement cannot be extended into contact category: some connected components of contactomorphism groups of certain contact manifolds contain no volume-preserving diffeomorphisms. This phenomenon can be considered from different viewpoints: geometric (isometric action of the contact mapping class group on the moduli space of contact forms), topological (action in symplectic homology) and dynamical (diffusion). We define a numerical invariant - a kind of contact Lyapunov exponent - which leads to a quantitive version of the abovementioned result.


title: The C*-algebras of arbitrary graphs

abstract: To an arbitrary directed graph we associate a row-finite directed graph whose C*-algebra contains the C*-algebra of the original graph as a full corner. This allows us to generalize results for C*-algebras of row-finite graphs to C*-algebras of arbitrary graphs: the uniqueness theorem, simplicity criteria, descriptions of the ideals and primitive ideal space, and conditions under which a graph algebra is AF and purely infinite. Our proofs require only standard Cuntz-Krieger techniques and do not rely on powerful constructs such as groupoids, Exel-Laca algebras, or Cuntz-Pimsner algebras.


title: Chern characters via connections up to homotopy

abstract: The aim of this note is to point out that Chern characters can be computed using curvatures o ``super-connections up to homotopy'. We also present an application to the vanishing theorem for Lie algebroids which is at the origin of new secondary classes of algebroids (Fernandes), hence, in particular, of Poisson manifolds.


title: The conjecture cr(C_m\times C_n)=(m-2)n is true for all but finitely many n, for each m

abstract: It has been long congectured that the crossing number of $C_m\times C_n$ is $(m-2)n$ for $2<m<=n$. In this paper we proved that conjecture is true for all but finitely many $n$ for each $m$. More specifically we proved conjecture for $n>=(m/2)((m+3)^2/2+1)$.The proof is largely based on the theory of arrangements introduced by Adamsson and further developed by Adamsson and Richter.


title: t-analogue of the q-characters of finite dimensional representations of quantum affine algebras

abstract: Frenkel-Reshetikhin introduced $q$-characters of finite dimensional representations of quantum affine algebras. We give a combinatorial algorithm to compute them for all simple modules. Our tool is $t$-analogue of the $q$-characters, which is similar to Kazhdan-Lusztig polynomials, and our algorithm has a resemblance with their definition.


title: An Introduction To Small Divisors

abstract: This is an introduction to small divisors problems. The material treated in this book was brought together for a PhD course I tought at the University of Pisa in the spring of 1999. Here is a Table of Contents: Part I One Dimensional Small Divisors. Yoccoz's Theorems 1. Germs of Analytic Diffeomorphisms. Linearization 2. Topological Stability vs. Analytic Linearizability 3. The Quadratic Polynomial: Yoccoz's Proof of the Siegel Theorem 4. Douady-Ghys' Theorem. Continued Fractions and the Brjuno Function 5. Siegel-Brjuno Theorem, Yoccoz's Theorem. Some Open Problems 6. Small Divisors and Loss of Differentiability Part II Implicit Function Theorems and KAM Theory 7. Hamiltonian Systems and Integrable Systems 8. Quasi-Integrable Hamiltonian Systems 9. Nash-Moser's Implicit Function Theorem 10. From Nash-Moser's Theorem to KAM: Normal Form of Vector Fields on the Torus Appendices A1. Uniformization, Distorsion and Quasi-conformal maps A2. Continued Fractions A3. Distributions, Hyperfunctions. Hypoellipticity and Diophantine Conditions


title: Polynomial invariants of links satisfying cubic skein relations

abstract: The aim of this paper is to define two link invariants satisfying cubic skein relations. In the hierarchy of polynomial invariants determined by explicit skein relations they are the next level of complexity after Jones, HOMFLY, Kauffman and Kuperberg's $G_2$ quantum invariants. Our method consists in the study of Markov traces on a suitable tower of quotients of cubic Hecke algebras extending Jones approach.


title: Dual 2-complexes in 4-manifolds

abstract: Concerns decompositions of smooth 4-manifolds as the union of two handlebodies, each with handles of index <=2 (``Heegard'' decompositions).Sample result: Two 2-complexes are (up to 2-deformation) dual spines of a Heegard decomposition of the 4-sphere if and only if they satisfy the conclusions of the Alexander-Lefshetz duality theorem ($H_1K\simeq H^2L$ and $H_2K\simeq H^1L$).


title: Mirror symmetry without corrections

abstract: We give geometric explanations and proofs of various mirror symmetry conjectures for $T^{n}$-invariant Calabi-Yau manifolds when instanton corrections are absent. This uses fiberwise Fourier transformation together with base Legendre transformation. We discuss mirror transformations of (i) moduli spaces of complex structures and complexified symplectic structures, $H^{p,q}$'s, Yukawa couplings; (ii) sl(2)xsl(2)-actions; (iii) holomorphic and symplectic automorphisms and (iv) A- and B-connections, supersymmetric A- and B-cycles, correlation functions. We also study (ii) for $T^{n}$-invariant hyperkahler manifolds.


title: Equivariant Cyclic Cohomology of H-Algebras

abstract: We define an equivariant $K_0$-theory for \textit{Yetter-Drinfeld} algebras over a Hopf algebra with an invertible antipode. We then show that this definition can be generalized to all Hopf-module algebras. We show that there exists a pairing, generalizing Connes' pairing, between this theory and a suitably defined Hopf algebra equivariant cyclic cohomology theory.


title: Global existence for a quasilinear wave equation outside of star-shaped domains

abstract: We establish global existence in 3+1 dimensions of small-amplitude solutions of quasilinear Dirichlet-wave equations satisfying the null condition outside of star-shapped obstacles.


title: Small Eigenvalues of Large Hankel Matrices

abstract: In this paper we investigate the smallest eigenvalue, denoted as $\la_N,$ of a $(N+1)\times (N+1)$ Hankel or moments matrix, associated with the weight, $w(x)=\exp(-x^{\bt}),x>0,\bt>0$, in the large $N$ limit. Using a previous result, the asymptotics for the polynomials, $P_n(z),z\notin[0,\infty)$, orthonormal with respect to $w,$ which are required in the determination of $\la_N$ are found. Adopting an argument of Szeg\"{o} the asymptotic behaviour of $\la_N$, for $\bt>1/2$ where the related moment problem is determinate, is derived. This generalises the result given by Szeg\"{o} for $\bt=1$. It is shown that for $\bt>1/2$ the smallest eigenvalue of the infinite Hankel matrix is zero, while for $0<\bt<1/2$ it is greater then a positive constant. This shows a phase transition in the corresponding Hermitian random matrix model as the parameter $\bt$ varies with $\bt=1/2$ identified as the critical point. The smallest eigenvalue at this point is conjectured.


title: Maximal subalgebras of vector fields for equivariant quantizations

abstract: The elaboration of new quantization methods has recently developed the interest in the study of subalgebras of the Lie algebra of polynomial vector fields over a Euclidean space. In this framework, these subalgebras define maximal equivariance conditions that one can impose on a linear bijection between observables that are polynomial in the momenta and differential operators.Here, we determine which finite dimensional graded Lie subalgebras are maximal. In order to characterize these, we make use of results of Guillemin, Singer and Sternberg and Kobayashi and Nagano.


title: A simple maximality principle

abstract: In this paper, following an idea of Christophe Chalons, I propose a new kind of forcing axiom, the Maximality Principle, which asserts that any sentence phi holding in some forcing extension V^P and all subsequent extensions V^P*Q holds already in V. It follows, in fact, that such sentences must also hold in all forcing extensions of V. In modal terms, therefore, the Maximality Principle is expressed by the scheme (diamond box phi) implies (box phi), and is equivalent to the modal theory S5. In this article, I prove that the Maximality Principle is relatively consistent with ZFC. A boldface version of the Maximality Principle, obtained by allowing real parameters to appear in phi, is equiconsistent with the scheme asserting that V_delta is an elementary substructure of V for an inaccessible cardinal delta, which in turn is equiconsistent with the scheme asserting that ORD is Mahlo. The strongest principle along these lines is the Necessary Maximality Principle, which asserts that the boldface MP holds in V and all forcing extensions. From this, it follows that 0# exists, that x# exists for every set x, that projective truth is invariant by forcing, that Woodin cardinals are consistent and much more. Many open questions remain.


title: Syzygies of Oriented Matroids

abstract: We construct minimal cellular resolutions of squarefree monomial ideals arising from hyperplane arrangements, matroids and oriented matroids. These are Stanley-Reisner ideals of complexes of independent sets, and of triangulations of Lawrence matroid polytopes. Our resolution provides a cellular realization of Stanley's formula for their Betti numbers. For unimodular matroids our resolutions are related to hyperplane arrangements on tori, and we recover the resolutions constructed by Bayer, Popescu and Sturmfels. We resolve the combinatorial problems posed in their paper by computing Mobius invariants of graphic and cographic arrangements in terms of Hermite polynomials.


title: The Randomness Recycler: A new technique for perfect sampling

abstract: For many probability distributions of interest, it is quite difficult to obtain samples efficiently. Often, Markov chains are employed to obtain approximately random samples from these distributions. The primary drawback to traditional Markov chain methods is that the mixing time of the chain is usually unknown, which makes it impossible to determine how close the output samples are to having the target distribution. Here we present a new protocol, the randomness recycler (RR), that overcomes this difficulty. Unlike classical Markov chain approaches, an RR-based algorithm creates samples drawn exactly from the desired distribution. Other perfect sampling methods such as coupling from the past use existing Markov chains, but RR does not use the traditional Markov chain at all. While by no means universally useful, RR does apply to a wide variety of problems. In restricted instances of certain problems, it gives the first expected linear time algorithms for generating samples. Here we apply RR to self-organizing lists, the Ising model, random independent sets, random colorings, and the random cluster model.


title: Weak Limits of Riemannian Metrics in Surfaces with integral Curvature Bound

abstract: In this paper, we study the weak compactness of the set of conformal metrics in any Riemann surface without boundary whose Calabi energy and area are uniformly bounded. We prove that for any sequence of such metrics, there alwasy exists a subsequence which converges in H\sp{2,2}_\sb{loc} everywhere except a finite number of bubble points. Blowup analysis near bubble shows that the bubble on bubble phenomenon occurs. The limit metric gives rise to a tree structure decomposition, where each node in the tree represents a limit metric of a subsequence at that stage while the edge of the tree structure represents the neck on the process of blowing up. We also show that the number of the nodes which have more than three edges attached is finite.


title: The perturbation of the quantum Calogero-Moser-Sutherland system and related results

abstract: The Hamiltonian of the trigonometric Calogero-Sutherland model coincides with some limit of the Hamiltonian of the elliptic Calogero-Moser model. In other words the elliptic Hamiltonian is a perturbed operator of the trigonometric one. In this article we show the essential self-adjointness of the Hamiltonian of the elliptic Calogero-Moser model and the regularity (convergence) of the perturbation for the arbitrary root system. We also show the holomorphy of the joint eigenfunctions of the commuting Hamiltonians w.r.t the variables (x_1, >..., x_N) for the A_{N-1}-case. As a result, the algebraic calculation of the perturbation is justified.


title: On the Existence of Critical Points to the Seiberg-Witten Functional

abstract: Considering that the Seiberg-Witten functional satisfies the Palais-Smale Condition, up to gauge equivalence, the Minimax Principle can be applied on the moduli space to prove the existence of critical points, which correspond to solutions of the second-order SW-equations, up to gauge equivalence.


title: Calabi flow in Riemann surfaces revisited: A new point of view

abstract: In this paper, we observe a set of functionals of metrics which are all decrease under the Calabi flow and have uniform lower bound along the flow, which give rise to a set of integral estimates on the curvature flow. Using these estimates, together with weak compactness we obtained in previous papers [8] and [10], we prove the long term existence and convergence of the Calabi flow. Thus give a new proof to Chruscial's theorem. The set of simple ideas of global integral estimates and concentration compactness should have further implications in other heat flow problems.


title: A new parabolic flow in Kaehler manifolds

abstract: In this paper, we introduce a new parabolic equation on K\"ahler manifolds. The static point of this flow is related to the existence of a lower bound of the Mabuchi energy. In this paper, we prove the flow always exists for all times for any initial smooth data. Further more, if the initial metric has non-negative bisectional curvature, we prove the flow converges to a static metric eventually.


title: Families of four dimensional manifolds that become mutually diffeomorphic after one stabilization

abstract: In this paper, we will introduce a cut and paste move, called a geometrically null log transform, and prove that any two manifolds related by a sequence of these moves become diffeomorphic afte r one stabilization. To motivate the cut and paste move, we will use the symplec tic fiber sum, and a construction of Fintushel and Stern to construct several large families of 4-manifolds. We will then proceed to prove that the members of any one of these families become diffeomorphic after one stabilization. Finally, we will compute the Seiberg-Witten invariants of each member of each of the families.


title: Regularity of induced representations and a theorem of Quigg and Spielberg

abstract: The Symmetric Imprimitivity Theorem provides a Morita equivalence between two crossed products of induced C*-algebras. Quigg and Spielberg proved, by indirect but ingenious methods, that the symmetric imprimitivity theorem has an analog for reduced crossed products. Here we identify the representations which induce to regular representations under the equivalence of the symmetric theorem. We use this result to show that regular representations themselves almost always induce to regular representations. In addition, we obtain a direct proof of the theorem of Quigg and Spielberg.


title: The Szlenk index and local l_1-indices

abstract: We introduce two new local l_1-indices of the same type as the Bourgain l_1 index; the l_1^+-index and the l_1^+-weakly null index. We show that the l_1^+-weakly null index of a Banach space X is the same as the Szlenk index of X, provided X does not contain l_1. The l_1^+-weakly null index has the same form as the Bourgain l_1 index: if it is countable it must take values omega^alpha for some alpha<omega_1. The different l_1-indices are closely related and so knowing the Szlenk index of a Banach space helps us calculate its local l_1-index, via the l_1^+-weakly null index. We show that I(C(omega^{omega^alpha}))=omega^{1+alpha+1}.


title: Covering properties of meromorphic functions, negative curvature and spherical geometry

abstract: Every nonconstant meromorphic function in the plane univalently covers spherical discs of radii arbitrarily close to arctan(sqrt 8) ~ 70^\circ 32'. If in addition all critical points of the function are multiple, then a similar statement holds with pi/2. These constants are the best possible. The proof is based on the consideration of negatively curved singular surfaces associated with meromorphic functions.


title: Groupes p-divisibles, groupes finis et modules filtr\'es

abstract: Let k be a perfect field of characteristic p>0. When p>2, Fontaine and Laffaille have classified p-divisibles groups and finite flat p-groups over the Witt vectors W(k) in terms of filtered modules. Still assuming p>2, we extend these classifications over an arbitrary complete discrete valuation ring A with unequal characteristic (0,p) and residue field k by using "generalized" filtered modules. In particular, there is no restriction on the ramification index. In the case k is included in \bar{F}_p (and p>2), we then use this new classification to prove that any crystalline representation of the Galois group of Frac(A) with Hodge-Tate weights in {0,1} contains as a lattice the Tate module of a p-divisible group over A.


title: Projective varieties invariant by one-dimensional foliations

abstract: This work concerns the problem of relating characteristic numbers of one-dimensional holomorphic foliations of P^n to those of algebraic varieties invariant by them. More precisely: if M is a connected complex manifold, a one-dimensional holomorphic foliation F of M is a morphism \Phi:L -> TM where L is a holomorphic line bundle on M. The singular set of F is the analytic subvariety sing(F) = {p : \Phi(p)=0} and the leaves of F are the leaves of the nonsingular foliation induced by F on M-sing(F). If M is P^n then, since line bundles over P^n are classified by the Chern class c_1(L) in H^2(P^n,Z) = Z, one-dimensional holomorphic foliations F of P^n are given by morphisms Phi:O(1-d) -> TP^n with d >= 0, d in Z, which we call the degree of F. We will use the notation F^d for such a foliation. Suppose now i:V -> P^n is an irreducible algebraic variety invariant by F^d in such a way that the pull-back i^*(F^d) of F^d to V has a finite set of points as the singular set. The problem we address is the relation between d and the degree of V.


title: Counting dimensions of L-harmonic functions

abstract: In this article, we will consider second order uniformly elliptic operators of divergence form defined on R^n with measurable coefficients. Mainly, we will give estimates on the dimension of space of solutions that grow at most polynomially of degree d. More precisely, in terms of a rectangular coordinate system {x_1,...,x_n}, a second order uniformly elliptic operator of divergence form, L, acting on a function f in H^1_loc(R^n) is given by Lf = sum_{ij} d/dx_i (a^{ij}(x) df/dx_j) where (a^{ij}(x)) is an n x n symmetric matrix satisfying the ellipticity bounds \lambda I <= (a^{ij}) <= Lambda I for some constants 0 < lambda <= Lambda < \infty. Other than the ellipticity bounds, we only assume that the coefficients (a_{ij}) are merely measurable functions.


title: Explicit computation of Galois p-groups unramified at p

abstract: In this paper we introduce a new method for finding Galois groups by computer. This is particularly effective in the case of Galois groups of p-extensions ramified at finitely many primes but unramified at the primes above p. Such Galois groups have been regarded as amongst the most mysterious objects in number theory. Very little has hitherto been discovered regarding them despite their importance in studying p-adic Galois representations unramified at p. The conjectures of Fontaine-Mazur say that they should have no p-adic analytic quotients (equivalently, the images of the Galois representations should always be finite), and there are generalizations due to the first author, suggesting that they should instead have `large' actions on certain trees. The idea is to modify the p-group generation algorithm so that as it goes along, it uses number-theoretical information to eliminate groups that cannot arise as suitable quotients of the Galois group under investigation. In the best cases we obtain a short list of candidates for the Galois group. This leads to various conjectures.


title: Tree representations of Galois groups

abstract: Much work has gone into matrix representations of Galois groups, but there is a whole new class of naturally occurring representations that have as yet gone almost unnoticed. In fact, it is well-known in various areas of mathematics that the main sources of totally disconnected groups are matrix groups over local fields AND automorphism groups of locally finite trees. It is perhaps surprising then that representations of Galois groups into the latter have been almost ignored, while at the same time Galois representations into the former have been enormously effective in resolving long-standing problems in number theory. These ``tree'' representations are important as regards topics such as the unramified Fontaine-Mazur conjecture. This conjecture states that any p-adic representation of the Galois group of an extension unramified at p (and ramified at only finitely many primes) should have finite image. In other words, p-adic representations say little about such Galois groups. This paper proposes the conjecture that these Galois groups should, on the other hand, have representations with large image (measured by Hausdorff dimension) in the automorphism group of a rooted tree. Thus, they might allow us to investigate the structure of the Galois group of infinite pro-p extensions (such as Hilbert p-class towers), something unapproachable by standard p-adic representation methods.


title: Bounding minimum distances of cyclic codes using algebraic geometry

abstract: There are many results on the minimum distance of a cyclic code of the form that if a certain set T is a subset of the defining set of the code, then the minimum distance of the code is greater than some integer t. This includes the BCH, Hartmann-Tzeng, Roos, and shift bounds and generalizations of these. In this paper we define certain projective varieties V(T,t) whose properties determine whether, if T is in the defining set, the code has minimum distance exceeding t. Thus our attention shifts to the study of these varieties. By investigating them using class field theory and arithmetical geometry, we will prove various new bounds. It is interesting, however, to note that there are cases that existing methods handle, that our methods do not, and vice versa. We end with a number of conjectures.


title: Regular components of moduli spaces of stable maps

abstract: A component of the moduli space M_g(Y,b) of stable maps from genus g curves to a variety Y is said to be regular if it is generically smooth and of the expected dimension provided by deformation theory. In this note we prove existence of regular components of M_g(Y,b) when Y is a product of projective spaces. This result can also be seen as a general position theorem for Brill-Noether loci in M_g.


title: Monomialization of Morphisms From 3 Folds to Surfaces

abstract: Suppose that $\Phi:X\to Y$ is a morphism from a 3 fold to a surface (over an algebraically closed field of characteristic zero). We prove that there exist sequences of blowups of nonsingular subvarieties $X_1\to X$ and $Y_1\to Y$ such that the morphism $\Phi_1:X_1\to Y_1$ is a ``Monomial Morphism''. As a corollary, we show that we can make $\Phi_1$ a toroidal morphism.


title: Bass Numbers of Semigroup-Graded Local Cohomology

abstract: Given a module M over a ring R which has a grading by a semigroup Q, we present a spectral sequence that computes the local cohomology of M at any Q-graded ideal I in terms of Ext modules. This method is used to obtain finiteness results for the local cohomology of graded modules over semigroup rings; in particular we prove that for a semigroup Q whose saturation is simplicial, the Bass numbers of such local cohomology modules are finite. Conversely, if the saturation of Q is not simplicial, one can find a graded ideal I and a graded R-module M whose local cohomology at I in some degree has an infinite-dimensional socle. We introduce and exploit the combinatorially defined essential set of a semigroup.


title: Strict Quantization of Solvable Symmetric Spaces

abstract: This work is a contribution to the area of Strict Quantization (in the sense of Rieffel) in the presence of curvature and non-Abelian group actions. More precisely, we use geometry to obtain explicit oscillatory integral formulae for strongly invariant strict deformation quantizations of a class of solvable symplectic symmetric spaces. Each of these quantizations gives rise to a field of (pre)-C*-algebras whose fibers are function algebras which are closed under the deformed product. The symmetry group of the symmetric space acts on each fiber by C*-algebra automorphisms.


title: Presenting Schur algebras as quotients of the universal enveloping algebra of gl(2)

abstract: We give a presentation of Schur algebras (over the rational number field) by generators and relations, in fact a presentation which is compatible with Serre's presentation of the universal enveloping algebra of a simple Lie algebra. In the process we find a new basis for Schur algebras, a truncated form of the usual PBW basis. We also locate the integral Schur algebra within the presented algebra as the analogue of Kostant's Z-form, and show that it has an integral basis which is a truncated version of Kostant's basis.


title: On the Cohomology of Theta Divisors of Hyperelliptic Jacobians

abstract: We prove that k-th singular cohomology group of the complement of the theta divisor in a hyperelliptic Jacobian is isomorphic to the k-th fundamental representation of the symplectic group Sp(2g,C). This is one of the conjectures in our previous paper.


title: Ricci flow on Kaehler manifolds

abstract: In this paper, we announce the following results: Let M be a Kaehler-Einstein manifold with positive scalar curvature. If the initial metric has nonnegative bisectional curvature and positive at least at one point, then the K\"ahler-Ricci flow converges exponentially fast to a Kaehler-Einstein metric with constant bisectional curvature.


title: Ricci flow on Kaehler-Einstein surfaces

abstract: In this paper, we construct a set of new functionals of Ricci curvature on any Kaehler manifolds which are invariant under holomorphic transfermations in Kaehler Einstein manifolds and essentially decreasing under the Kaehler Ricci flow. Moreover, if the initial metric has non-negative bisectional curvature, using Tian's inequality, we can prove that each of the functionals has uniform lower bound along the flow which gives a set of integral estimates on curvature. Using this set of integral estimates, we are able to show the following theorem: Let M be a Kaehler-Einstein surface with positive scalar curvature. If the initial metric has nonnegative sectional curvature and positive somewhere, then the Kaehler-Ricci flow converges exponentially fast to a Kaehler-Einstein metric with constant bisectional curvature.


title: Vassiliev invariants and the cubical knot complex

abstract: We construct a cubical CW-complex CK(M^3) whose rational cohomology algebra contains Vassiliev invariants of knots in the 3-manifold M^3. We construct \bar{CK}(R^3) by attaching cells to CK(R^3) for every degenerate 1-singular and 2-singular knot, and we show that \pi_1(\bar{CK}(R^3))=1 and \pi_2(\bar{CK}(R^3))=Z. We give conditions for Vassiliev invariants to be nontrivial in cohomology. In particular, for R^3 we show that v_2 uniquely generates H^2(CK,D), where D is the subcomplex of degenerate singular knots. More generally, we show that any Vassiliev invariant coming from the Conway polynomial is nontrivial in cohomology. The cup product in H^*(CK) provides a new graded commutative algebra of Vassiliev invariants evaluated on ordered singular knots. We show how the cup product arises naturally from a cocommutative differential graded Hopf algebra of ordered chord diagrams.


title: Recent Developments in the Theory of Lorentz Spaces and Weighted Inequalities

abstract: The main objective of this work is to bring together two well known and, a priori, unrelated theories dealing with weighted inequalities for the Hardy-Littlewood maximal operator $M$, and thus, we consider the boundedness of $M$ in the weighted Lorentz space $\Lambda^p_u(w)$. Two examples are historically relevant as a motivation: If $w=1$, this corresponds to the study of the boundedness $M:L^p(u)\longrightarrow L^p(u),$ which was characterized by B. Muckenhoupt, giving rise to the so called $A_p$ weights. The second case is when we take $u=1$. This is a more recent theory, and was completely solved by M.A. Ari\~no and B. Muckenhoupt in 1991. It turns out that the boundedness $M:\llo\longrightarrow\llo,$ can be seen to be equivalent to the boundedness of the Hardy operator $A$ restricted to decreasing functions of $L^p(w)$. The class of weights satisfying this boundedness is known as $B_p$. Even though the $A_p$ and $B_p$ classes enjoy some similar features, they come from very different theories, and so are the techniques used on each case: Calder\'on--Zygmund decompositions and covering lemmas for $A_p$, rearrangement invariant properties and positive integral operators for $B_p$. It is our aim to give a unified version of these two theories. Contrary to what one could expect, the solution is not given in terms of the limiting cases above considered (i.e., $u=1$ and $w=1$), but in a rather more complicated condition, which reflects the difficulty of estimating the distribution function of the Hardy-Littlewood maximal operator with respect to general measures.


title: Homogenization of oscillating boundaries and applications to thin films

abstract: We prove a homogenization result for integral functionals in domains with oscillating boundaries, showing that the limit is defined on a degenerate Sobolev space. We apply this result to the description of the asymptotic behaviour of thin films with fast-oscillating profile, proving that they can be described by first applying the homogenization result above and subsequently a dimension-reduction technique.


title: Quantized Dirac Operators

abstract: We determine what should correspond to the Dirac operator on certain quantized hermitian symmetric spaces and what its properties are. A new insight into the quantized wave operator is obtained.


title: Homogenization of Periodic Multi-Dimensional Structures II: The Linearly Elastic/Perfectly Plastic Case

abstract: In this paper we study the asymptotic behaviour via Gamma-convergence of some integral functionals which model some multi-dimensional structures and depend explicitly on the linearized strain tensor. The functionals are defined in particular classes of functions with bounded deformation while the limit problem is set in the usual framework of Sobolev spaces or BD. We also construct an example of such functionals showing that under some special assumptions we can have non local effects.


title: Construction of boundary invariants and the logarithmic singularity of the Bergman kernel

abstract: This paper studies Fefferman's program \cite{F3} of expressing the singularity of the Bergman kernel, for smoothly bounded strictly pseudoconvex domains $\Omega\subset\C^n$, in terms of local biholomorphic invariants of the boundary. By \cite{F1}, the Bergman kernel on the diagonal $K(z,\c{z})$ is written in the form $$ K=\phi r^{-n-1}+\psi \log r \qtext{with} \phi,\psi\in C^\infty(\c\Omega), $$ where $r$ is a (smooth) defining function of $\Omega$. Recently, Bailey, Eastwood and Graham \cite{BEG}, building on Fefferman's earlier work \cite{F3}, obtained a full invariant expression of the strong singularity $\phi r^{-n-1}$. The purpose of this paper is to give a full invariant expression of the weak singularity $\psi\log r$.


title: Gauge theory and calibrated geometry, I

abstract: The geometry of submanifolds is intimately related to the theory of functions and vector bundles. It has been of fundamental importance to find out how those two objects interact in many geometric and physical problems. A typical example of this relation is that the Picard group of line bundles on an algebraic manifold is isomorphic to the group of divisors, which is generated by holomorphic hypersurfaces modulo linear equivalence. A similar correspondence can be made between the K-group of sheaves and the Chow ring of holomorphic cycles. There are two more very recent examples of such a relation. The mirror symmetry in string theory has revealed a deeper phenomenon involving special Lagrangian cycles (cf. [SYZ]). On the other hand, C. Taubes has shown that the Seiberg-Witten invariant coincides with the Gromov-Witten invariant on any symplectic 4-manifolds. In this paper, we will show another natural interaction between Yang-Mills connections, which are critical points of a Yang-Mills action associated to a vector bundle, and minimal submanifolds, which have been studied extensively for years in classical differential geometry and the calculus of variations.


title: Regularity of a free boundary with application to the Pompeiu problem

abstract: In the unit ball B(0,1), let $u$ and $\Omega$ (a domain in $\R$) solve the following overdetermined problem: $$\Delta u =\chi_\Omega\quad \hbox{in} B(0,1), \qquad 0 \in \partial \Omega, \qquad u=|\nabla u |=0 \quad \hbox{in} B(0,1)\setminus \Omega,$$ where $\chi_\Omega$ denotes the characteristic function, and the equation is satisfied in the sense of distributions. If the complement of $\Omega$ does not develop cusp singularities at the origin then we prove $\partial \Omega$ is analytic in some small neighborhood of the origin. The result can be modified to yield for more general divergence form operators. As an application of this, then, we obtain the regularity of the boundary of a domain without the Pompeiu property, provided its complement has no cusp singularities.


title: Sur l'homologie des espaces de noeuds non-compacts

abstract: The spectral sequence constructed by V.A.Vassiliev computes the homology of the spaces of non-compact knots in ${\bf R}^d$, $d\ge 3$. In this work the first term of this spectral sequence is described in terms of the homology of the Hochschild complex for the Poisson algebras operad, if d is odd (resp. for the Gerstenhaber algebras operads, if d is even). In particular the bialgebra of chord diagrams arises as some subspace of this homology (in this case d=3). Also a simplification for the calculation of the Vassiliev spectral sequence in the first term is provided.


title: Real algebraic curves, the moment map and amoebas

abstract: In this paper we prove the topological uniqueness of maximal arrangements of a real plane algebraic curve with respect to three lines. More generally, we prove the topological uniqueness of a maximally arranged algebraic curve on a real toric surface. We use the moment map as a tool for studying the topology of real algebraic curves and their complexifications.


title: Natural Energy Bounds in Quantum Thermodynamics

abstract: Given a stationary state for a noncommutative flow, we study a boundedness condition, depending on a positive parameter beta, which is weaker than the KMS equilibrium condition at inverse temperature beta. This condition is equivalent to a holomorphic property closely related to the one recently considered by Ruelle and D'Antoni-Zsido and shared by a natural class of non-equilibrium steady states. Our holomorphic property is stronger than the Ruelle's one and thus selects a restricted class of non-equilibrium steady states. We also introduce the complete boundedness condition and show this notion to be equivalent to the Pusz-Woronowicz complete passivity property, hence to the KMS condition. In Quantum Field Theory, the beta-boundedness condition can be interpreted as the property that localized state vectors have energy density levels increasing beta-subexponentially, a property which is similar in the form and weaker in the spirit than the modular compactness-nuclearity condition. In particular, for a Poincare' covariant net of C*-algebras on the Minkowski spacetime, the beta-boundedness property, for beta greater equal than 2 pi, for the boosts is shown to be equivalent to the Bisognano-Wichmann property. The Hawking temperature is thus minimal for a thermodynamical system in the background of a Rindler black hole within the class of beta-holomorphic states. More generally, concerning the Killing evolution associated with a class of stationary quantum black holes, we characterize KMS thermal equilibrium states at Hawking temperature in terms of the boundedness property and the existence of a translation symmetry on the horizon.


title: The moduli space of rational elliptic surfaces

abstract: We show that the moduli space of rational elliptic surfaces admitting a section is locally a complex hyperbolic variety of dimension eight. We compare its Satake-Baily-Borel compactification with a compactification obtained by means of geometric invariant theory, considered by Miranda.


title: Conditional expectations on compact quantum groups and new examples of quantum hypergroups

abstract: We propose a construction of quantum hypergroups using conditional expectations on compact quantum groups. Using this construction, we describe several series of non-trivial finite-dimensional quantum hypergroups via conditional expectations of Delsart type on non-trivial Kac algebras obtained by twisting of the finite groups.


title: The moduli space of Riemann surfaces is Kahler hyperbolic

abstract: Let $\cM_{g,n}$ be the moduli space of Riemann surfaces of genus $g$ with $n$ punctures. From a complex perspective, moduli space is hyperbolic. For example, $\cM_{g,n}$ is abundantly populated by immersed holomorphic disks of constant curvature -1 in the Teichm\"uller (=Kobayashi) metric. When $r=\dim_{\cx} \cM_{g,n}$ is greater than one, however, $\cM_{g,n}$ carries no complete metric of bounded negative curvature. Instead, Dehn twists give chains of subgroups $\zed^r \subset \pi_1(\cM_{g,n})$ reminiscent of flats in symmetric spaces of rank $r>1$. In this paper we introduce a new K\"ahler metric on moduli space that exhibits its hyperbolic tendencies in a form compatible with higher rank.


title: Rational connectedness and Galois covers of the projective line

abstract: Let k be a p-adic field. Some time ago, D. Harbater [9] proved that any finite group G may be realized as a regular Galois group over the rational function field in one variable k(t), namely there exists a finite field extension $F/k(t)$, Galois with group G, such that F is a regular extension of k (i.e. k is algebraically closed in F). Moreover, one may arrange that a given k-place of k(t) be totally split in F. Harbater proved this theorem for k an arbitrary complete valued field. Rather formal arguments ([10, \S 4.5]; \S2 hereafter) then imply that the theorem holds over any `large' field k. This in turn is a special case of a result of Pop [15], hence will be referred to as the Harbater/Pop theorem. We refer to [10], [16], [6] for precise references to the literature (work of D\`ebes, Deschamps, Fried, Haran, Harbater, Jarden, Liu, Pop, Serre, and V\"olklein). Most proofs (see [10], [19, 8.4.4, p.~93] and Liu's contribution to [16]; see however [15]) first use direct arguments to establish the theorem when G is a cyclic group (here the nature of the ground field is irrelevant), then proceed by patching, using either formal or rigid geometry, together with GAGA theorems. In the present paper, where I take the case of algebraically closed fields for granted, I show how a technique recently developed by Koll\'ar [12] may be used to give a quite different proof of the Harbater/Pop theorem, when the `large' field k has characteristic zero. This proof actually gives more than the original result (see comment after statement of Theorem 1).


title: A proof of Pisot's dth root conjecture

abstract: Let $\{b(n):n\in\N\}$ be the sequence of coefficients in the Taylor expansion of a rational function $R(X)\in\Q(X)$ and suppose that b(n) is a perfect $d^{\rm th}$ power for all large n. A conjecture of Pisot states that one can choose a $d^{\rm th}$ root a(n) of b(n) such that $\sum a(n)X^n$ is also a rational function. Actually, this is the fundamental case of an analogous statement formulated for fields more general than $\Q$. A number of papers have been devoted to various special cases. In this note we shall completely settle the general case.


title: Tangential Structures on Toric Manifolds, and Connected Sums of Polytopes

abstract: We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism groups and cobordism ring of an arbitrary omnioriented toric manifold. We consider a family of examples $B_{i,j}$, which are toric manifolds over products of simplices, and verify that their natural stably complex structure is induced by an omniorientation. Studying connected sums of products of the $B_{i,j}$ allows us to deduce that every complex cobordism class of dimension >2 contains a toric manifold, necessarily connected, and so provides a positive answer to the toric analogue of Hirzebruch's famous question for algebraic varieties. In previous work, we dealt only with disjoint unions, and ignored the relationship between the stably complex structure and the action of the torus. In passing, we introduce a notion of connected sum $#$ for simple $n$-dimensional polytopes; when $P^n$ is a product of simplices, we describe $P^n# Q^n$ by applying an appropriate sequence of {\it pruning operators}, or hyperplane cuts, to $Q^n$.


title: Realizable monotonicity and inverse probability transform

abstract: A system (P_a: a in A) of probability measures on a common state space S indexed by another index set A can be ``realized'' by a system (X_a: a in A) of S-valued random variables on some probability space in such a way that each X_a is distributed as P_a. Assuming that A and S are both partially ordered, we may ask when the system (P_a: a in A) can be realized by a system (X_a: a in A) with the monotonicity property that X_a <= X_b almost surely whenever a <= b. When such a realization is possible, we call the system (P_a: a in A) ``realizably monotone.'' Such a system necessarily is stochastically monotone, that is, satisfies P_a <= P_b in stochastic ordering whenever a <= b. In general, stochastic monotonicity is not sufficient for realizable monotonicity. However, for some particular choices of partial orderings in a finite state setting, these two notions of monotonicity are equivalent. We develop an inverse probability transform for a certain broad class of posets S, and use it to explicitly construct a system (X_a: a in A) realizing the monotonicity of a stochastically monotone system when the two notions of monotonicity are equivalent.


title: On Partitions of Goldbach's Conjecture

abstract: An approximate formula for the partitions of Goldbach's Conjecture is derived using Prime Number Theorem and a heuristic probabilistic approach. A strong form of Goldbach's conjecture follows in the form of a lower bounding function for the partitions of Goldbach's conjecture. Numerical computations suggest that the lower and upper bounding functions for the partitions satisfy a simple functional equation. Assuming that this invariant scaling property holds for all even integer $n$, the lower and upper bounds can be expressed as simple exponentials.


title: A note on group actions on subfactors

abstract: We construct approximately inner actions of discrete amenable groups on strongly amenable subfactors of type II_1 with given invariants, and obtain classification results under some conditions. We also study the lifting of the relative \chi group.


title: Higher Abel-Jacobi Maps

abstract: This paper forms the major portion of a talk given at the International Colloquium on Arithmetic, Algebra and Geometry at TIFR, Mumbai in Jan 2000. We look at the problem of detecting cycles with trivial Abel-Jacobi invariant. M. Green proposed a Hodge-theoretic method to which C. Voisin found a counter-example. We present an easier example. We also propose another possible invariant to detect these classes using Hodge Theory. Similar methods have been proposed earlier by M. Asakura and M. Saito.


title: Necklace Lie algebras and noncommutative symplectic geometry

abstract: Recently V. Ginzburg proved that Calogero phase space is a coadjoint orbit for some infinite dimensional Lie algebra coming from noncommutative symplectic geometry. In this note we generalize this argument to specific quotient varieties of representations of (deformed) preprojective algebras. This result was also obtained independently by V. Ginzburg.

categories: math.AG math-ph math.DG math.MP math.QA math.RT


title: GW Invariants and Invariant Quotients

abstract: The article investigates the following question: given a projective variety X acted on by a connected and reductive group G, which is the relationship between the Gromov-Witten invariants of X and those of X//G? In this study we shall also try to give an algebraic approach to the so called Hamiltonian Gromov-Witten invariants which have appeared rather recenly in the literature.


title: More about vanishing cycles and mutation

abstract: The paper continues the discussion of symplectic aspects of Picard-Lefschetz theory begun in "Vanishing cycles and mutation" (this archive). There we explained how to associate to a suitable fibration over a two-dimensional disc a triangulated category, the "derived directed Fukaya category" which describes the structure of the vanishing cycles. The present second part serves two purposes. Firstly, it contains various kinds of algebro-geometric examples, including the "mirror manifold" of the projective plane. Secondly there is a (largely conjectural) discussion of more advanced topics, such as (i) Hochschild cohomology, (ii) relations between Picard-Lefschetz theory and Morse theory, (iii) a proposed "dimensional reduction" algorithm for doing certain Floer cohomology computations.


title: End compactifications in non-locally-finite graphs

abstract: There are different definitions of ends in non-locally-finite graphs which are all equivalent in the locally finite case. We prove the compactness of the end-topology that is based on the principle of removing finite sets of vertices and give a proof of the compactness of the end-topology that is constructed by the principle of removing finite sets of edges. For the latter case there exists already a proof in \cite{cartwright93martin}, which only works on graphs with countably infinite vertex sets and in contrast to which we do not use the Theorem of Tychonoff. We also construct a new topology of ends that arises from the principle of removing sets of vertices with finite diameter and give applications that underline the advantages of this new definition.


title: M\'ethode des orbites et formules du caract\`ere pour les repr\'esentations temp\'er\'ees d'un groupe alg\'ebrique r\'eel r\'eductif non connexe

abstract: Let G be a non-connected reductive real Lie group. In this paper, I parametrize the set of irreductible tempered characters of G. Afterwards, I describe these characters by means of some ``Kirillov's formulas'', using the descent method near each elliptic element in G. If G is linear and connected, the parameters that I use are ``final basic'' parameters in the sense of Knapp and Zuckerman.


title: Splitting of Singularities

abstract: We study one parameter deformations of a pair consisting of an analytic singular space $X_0$ and a function $f_0$ on it, in case this defines an isolated singularity. We prove, under general conditions, a bouquet decomposition of the Milnor fibre when the isolated singularity splits in the deformation and the invariance of the Milnor fibration if there is no splitting.


title: Evolution equations for special Lagrangian 3-folds in C^3

abstract: This is the third in a series of papers constructing explicit examples of special Lagrangian submanifolds in C^m. The previous paper in the series, math.DG/0008155, defined the idea of evolution data, which includes an (m-1)-submanifold P in R^n, and constructed a family of special Lagrangian m-folds N in C^m, which are swept out by the image of P under a 1-parameter family of linear or affine maps phi_t : R^n -> C^m, satisfying a first-order o.d.e. in t. In this paper we use the same idea to construct special Lagrangian 3-folds in C^3. We find a 1-1 correspondence between sets of evolution data with m=3 and homogeneous symplectic 2-manifolds P. This enables us to write down several interesting sets of evolution data, and so to construct corresponding families of special Lagrangian 3-folds in C^3. Our main results are a number of new families of special Lagrangian 3-folds in C^3, which we write very explicitly in parametric form. Generically these are nonsingular as immersed 3-submanifolds, and diffeomorphic to R^3 or S^1 x R^2. Some of the 3-folds are singular, and we describe their singularities, which we believe are of a new kind. We hope these 3-folds will be helpful in understanding singularities of compact special Lagrangian 3-folds in Calabi-Yau 3-folds. This will be important in resolving the SYZ conjecture in Mirror Symmetry.


title: Rational curves on general projective hypersurfaces

abstract: Let $k$ be an integer such that $1\leq k\leq n-5$, and $X_{2n-2-k}\subset \mathbf P^n$ a general projective hypersurface of degree $d=2n-2-k$. In this paper we prove that the only $k$-dimensional subvariety $Y$ of $X_{2n-2-k}$ having geometric genus zero is the one covered by the lines. As an immediate corollary we obtain that, for $n>5$, the general $X_{2n-3}\subset \mathbf P^n$, contains no rational curves of degree $\delta >1$.


title: Vanishing Theorems and String Backgrounds

abstract: We show various vanishing theorems for the cohomology groups of compact hermitian manifolds for which the Bismut connection has (restricted) holonomy contained in SU(n) and classify all such manifolds of dimension four. In this way we provide necessary conditions for the existence of such structures on hermitian manifolds. Then we apply our results to solutions of the string equations and show that such solutions admit various cohomological restrictions like for example that under certain natural assumptions the plurigenera vanish. We also find that under some assumptions the string equations are equivalent to the condition that a certain vector is parallel with respect to the Bismut connection.


title: Rinehart complexes and Batalin-Vilkovisky algebras

abstract: For a Lie-Rinehart algebra (A,L) such that, as an A-module, L is finitely generated and projective of finite constant rank, the relationship between generators of the Gerstenhaber bracket and connections on the highest A-exterior power of L given in an earlier paper arises from the canonical pairing between the exterior A-powers of L. Thus, given an exact generator for the corresponding Gerstenhaber algebra, the chain complex underlying the resulting Batalin-Vilkovisky algebra coincides with the Rinehart complex computing the corresponding Lie-Rinehart homology.


title: Murnaghan-Nakayama Rules for the Characters of the Wenzl (k,l)-Representations of the Iwahori-Hecke Algebras of type A

abstract: This paper has been withdrawn by the author because he was informed of the following paper: Cummins C. and King R. C., An algorithm for calculating characters of Hecke algebras Hn (q) of tyoe An-1 when q is a root of unity, Comm. Algebra 21 (1993), no.12 4425-4437 by its first author. The author's main result seems to be included in their result.


title: Quantum differential operators on K[x]

abstract: Following the definition of quantum differential operators given by Lunts and Rosenberg in (Sel. math., New ser. 3 (1997) 335--359), we show that the ring of quantum differential operators on the affine line is the ring generated by x and \del, the familiar differential operators on the line, along with two additional operators which we call \del^\beta^1 and \del^\beta^-1. We describe this ring both as a subring of the ring of graded endomorphisms and as a ring given by generators and relations. From this starting point, we are able to describe the ring of quantum differential operators on affine n-space and to construct the ring of global quantum differential operators on the projective line.


title: Quantum differential operators on the quantum plane

abstract: The universal enveloping algebra U(g) of a Lie algebra g acts on its representation ring R through D(R), the ring of differential operators on R. A quantised universal enveloping algebra (or "quantum group") is a deformation of a universal enveloping algebra and acts not through the differential operators of its representation ring but through the quantised differential operators of its representation ring. We present this situation for the quantum group of sl_2.


title: Quasi-isometries between non-locally-finite graphs and structure trees

abstract: We prove several criteria for quasi-isometry between non-locally-finite graphs and their structure trees. Results of M\"oller in \cite{moeller92ends2} for locally finite and transitive graphs are generalized. We also give a criterion which describes quasi-isometry by how edge-ends are split up by the cuts of a structure tree.


title: Tight contact structures with no symplectic fillings

abstract: We exhibit tight contact structures on 3-manifolds that do not admit any symplectic fillings.


title: A probabilistic algorithm to test local algebraic observability in polynomial time

abstract: The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the input-output behavior of an experiment? How many of the remaining variables should we assume to be known in order to determine all the others? These questions are parts of the \emph{local algebraic observability} problem which is concerned with the existence of a non trivial Lie subalgebra of the symmetries of the model letting the inputs and the outputs invariant. We present a \emph{probabilistic seminumerical} algorithm that proposes a solution to this problem in \emph{polynomial time}. A bound for the necessary number of arithmetic operations on the rational field is presented. This bound is polynomial in the \emph{complexity of evaluation} of the model and in the number of variables. Furthermore, we show that the \emph{size} of the integers involved in the computations is polynomial in the number of variables and in the degree of the differential system. Last, we estimate the probability of success of our algorithm and we present some benchmarks from our Maple implementation.


title: Hall invariants, homology of subgroups, and characteristic varieties

abstract: Given a finitely-generated group G, and a finite group \Gamma, Philip Hall defined \delta_\Gamma to be the number of factor groups of G that are isomorphic to \Gamma. We show how to compute the Hall invariants by cohomological and combinatorial methods, when G is finitely-presented, and \Gamma belongs to a certain class of metabelian groups. Key to this approach is the stratification of the character variety by the jumping loci of the cohomology of G, with coefficients in rank 1 local systems over a suitably chosen field \K. Counting relevant torsion points on these "characteristic" subvarieties gives \delta_\Gamma(G). In the process, we compute the distribution of prime-index, normal subgroups K of G according to the dimension of the the first homology group of K with \K coefficients, provided \char\K does not divide the index of K in G. In turn, we use this distribution to count low-index subgroups of G. We illustrate these techniques in the case when G is the fundamental group of the complement of an arrangement of either affine lines in \C^2, or transverse planes in \R^4.


title: Restricted 132-avoiding permutations

abstract: We study generating functions for the number of permutations on n letters avoiding 132 and an arbitrary permutation $\tau$ on k letters, or containing $\tau$ exactly once. In several interesting cases the generating function depends only on k and is expressed via Chebyshev polynomials of the second kind.


title: Discrete approximation of functionals with jumps and creases

abstract: We prove a discrete approximation of functionals with jumps and creases.


title: The modularity of the Barth-Nieto quintic and its relatives

abstract: The moduli space of (1,3)-polarized abelian surfaces with full level-2 structure is birational to a double cover of the Barth-Nieto quintic. Barth and Nieto have shown that these varieties have Calabi-Yau models Z and Y, respectively. In this paper we apply the Weil conjectures to show that Y and Z are rigid and we prove that the L-function of their common third \'etale cohomology group is modular, as predicted by a conjecture of Fontaine and Mazur. The corresponding modular form is the unique normalized cusp form of weight 4 for the group \Gamma_1(6). By Tate's conjecture, this should imply that Y, the fibred square of the universal elliptic curve S_1(6), and Verrill's rigid Calabi-Yau Z_{A_3}, which all have the same L-function, are in correspondence over Q. We show that this is indeed the case by giving explicit maps.


title: On the algebra A_{\hbar,\eta}(osp(2|2)^{(2)}) and free boson representations

abstract: A two-parameter quantum deformation of the affine Lie super algebra $osp(2|2)^{(2)}$ is introduced and studied in some detail. This algebra is the first example associated with nonsimply-laced and twisted root systems of a quantum current algebra with the structure of a so-called infinite Hopf family of (super)algebras. A representation of this algebra at $c=1$ is realized in the product Fock space of two commuting sets of Heisenberg algebras.


title: Admissible vectors for the regular representation

abstract: It is well known that for irreducible, square-integrable representations of a locally compact group, there exist so-called admissible vectors which allow the construction of generalized continuous wavelet transforms. In this paper we discuss when the irreducibility requirement can be dropped, using a connection between generalized wavelet transforms and Plancherel theory. For unimodular groups with type I regular representation, the existence of admissible vectors is equivalent to a finite measure condition. The main result of this paper states that this restriction disappears in the nonunimodular case: Given a nondiscrete, second countable group $G$ with type I regular representation $\lambda_G$, we show that $\lambda_G$ itself (and hence every subrepresentation thereof) has an admissible vector in the sense of wavelet theory iff $G$ is nonunimodular.


title: Estimated transversality in symplectic geometry and projective maps

abstract: The main theorem of this paper is a result of estimated transversality with respect to stratifications of jet spaces in the approximately holomorphic category over an almost-complex manifold. The notion of asymptotic ampleness of complex vector bundles over an almost-complex manifold is also discussed, as well as applications to the construction of maps with generic singularities from compact symplectic manifolds to projective spaces.


title: An explicit construction of the McKay correspondence for A-Hilb C^3

abstract: For a finite Abelian subgroup A of SL(3,C), Ito and Nakajima proved that the tautological bundles on the A-Hilbert scheme Y = A-Hilb(C^3) form a basis of the K-theory of Y. We establish the relations between these bundles in the Picard group of Y and hence, following a recipe introduced by Reid, construct an explicit basis of the integral cohomology of Y in one-to-one correspondence with the irreducible representations of A.


title: The geometry of three-forms in six and seven dimensions

abstract: We study the special algebraic properties of alternating 3-forms in 6 and 7 dimensions and introduce a diffeomorphism-invariant functional on the space of differential 3-forms on a closed manifold M in these dimensions. Restricting the functional to closed forms in a fixed cohomology class, we find that a critical point which is generic in a suitable sense defines in the 6-dimensional case a complex threefold with trivial canonical bundle and in 7 dimensions a Riemannian manifold with holonomy G2. This approach gives a direct method of finding a local moduli space, with its special geometry, for these structures.


title: Global Existence for Systems of Nonlinear Wave Equations in 3D with Multiple Speeds

abstract: Global smooth solutions to the initial value problem for systems of nonlinear wave equations with multiple propagation speeds will be constructed in the case of small initial data and nonlinearities satisfying the null condition.


title: Rank frequencies for quadratic twists of elliptic curves

abstract: We give explicit examples of infinite families of elliptic curves E over Q with (nonconstant) quadratic twists over Q(t) of rank at least 2 and 3. We recover some results announced by Mestre, as well as some additional families. Suppose D is a squarefree integer and let r_E(D) denote the rank of the quadratic twist of E by D. We apply results of Stewart and Top to our examples to obtain results of the form #{D : |D| < x, r_E(D) >= 2} >> x^{1/3}, #{D : |D| < x, r_E(D) >= 3} >> x^{1/6} for all sufficiently large x.


title: Heat kernel asymptotics for Laplace type operators and matrix KdV hierarchy

abstract: We study the heat kernel asymptotics for the Laplace type differential operators on vector bundles over Riemannian manifolds. In particular this includes the case of the Laplacians acting on differential p-forms. We extend our results obtained earlier for the scalar Laplacian and present closed formulas for all heat invariants associated with these operators. As another application, we present new explicit formulas for the matrix Korteweg-de Vries hierarchy.


title: On the topological entropy of an optical Hamiltonian flow

abstract: In this article we prove two formulas for the topological entropy of an F-optical Hamiltonian flow induced by a C^{\infty} Hamiltonian, where F is a Lagrangian distribution. In these formulas, we calculate the topological entropy as the exponential growth rate of the average of the determinant of the differential of the flow, restricted to the Lagrangian distribution or to a proper modification.


title: Introduction to Symplectic Field Theory

abstract: We sketch in this article a new theory, which we call Symplectic Field Theory or SFT, which provides an approach to Gromov-Witten invariants of symplectic manifolds and their Lagrangian submanifolds in the spirit of topological field theory, and at the same time serves as a rich source of new invariants of contact manifolds and their Legendrian submanifolds. Moreover, we hope that the applications of SFT go far beyond this framework.


title: Standard Complex for Quantum Lie Algebras

abstract: For a quantum Lie algebra $\Gamma$, let $\Gamma^\wedge$ be its exterior extension (the algebra $\Gamma^\wedge$ is canonically defined). We introduce a differential on the exterior extension algebra $\Gamma^\wedge$ which provides the structure of a complex on $\Gamma^{\wedge}$. In the situation when $\Gamma$ is a usual Lie algebra this complex coincides with the "standard complex". The differential is realized as a commutator with a (BRST) operator $Q$ in a larger algebra $\Gamma^\wedge[\Omega]$, with extra generators canonically conjugated to the exterior generators of $\Gamma^{\wedge}$. A recurrent relation which defines uniquely the operator $Q$ is given.


title: The homology of iterated loop spaces

abstract: The singular chain complex of the iterated loop space is expressed in terms of the cobar construction. After that we consider the spectral sequence of the cobar construction and calculate its first term over Z/p-coefficients and over a field of characteristic zero. Finally we apply these results to calculate the homology of the iterated loop spaces of the stunted real and complex projective spaces. In the Appendix, written by F.Sergeraert there are considered computer methods for calculations of the homology of iterated loop spaces.


title: Statistical properties of unimodal maps: the quadratic family

abstract: We prove that almost every non-regular real quadratic map is Collet-Eckmann and has polynomial recurrence of the critical orbit (proving a conjecture by Sinai). It follows that typical quadratic maps have excellent ergodic properties, as exponential decay of correlations (Keller and Nowicki, Young) and stochastic stability in the strong sense (Baladi and Viana). This is an important step to get the same results for more general families of unimodal maps.


title: The zeta(2) limit in the random assignment problem

abstract: The random assignment (or bipartite matching) problem studies the random total cost A_n of the optimal assignment of each of n jobs to each of n machines, where the costs of the n^2 possible job-machine matches has exponential (mean 1) distribution. Mezard - Parisi (1987) used the replica method from statistical physics to argue non-rigorously that EA_n converges to zeta(2) = pi^2/6. Aldous (1992) identified the limit as the optimal solution of a matching problem on an infinite tree. Continuing that approach, we construct the optimal matching on the infinite tree. This yields a rigorous proof of the zeta(2) limit and of the conjectured limit distribution of edge-costs and their rank-orders in the optimal matching.


title: A Survey of Mirror Principle

abstract: This note briefly reviews the {\it Mirror Principle} as developed in the series of papers \LLYI\LLYII\LLYIII\LLYIV\LCHY. We illustrate this theory with a few new examples. One of them gives an intriguing connection to a problem of counting holomorphic disks and annuli. This note has been submitted for the proceedings of the Workshop on Strings, Duality and Geometry the C.R.M. in Montreal of March 2000.


title: Introductory Calculus from the Viewpoint of Non-Standard Analysis - Derivative of Sine and Cosine

abstract: This article exemplifies a novel approach to the teaching of introductory differential calculus using the modern notion of ``infinitesimal'' as opposed to the traditional approach using the notion of ``limit''. I illustrate the power of the new approach with a discussion of the derivatives of the sine and cosine functions.


title: The identity is the most likely exchange shuffle for large n

abstract: Let a deck of n cards be shuffled by successively exchanging the cards in positions 1, 2, ..., n with cards in randomly chosen positions. We show that for n equal to 18 or greater, the identity permutation is the most likely. We prove a surprising symmetry of the resulting distribution on permutations. We also obtain the limiting distribution of the number of fixed points as n goes to infinity.


title: Detecting flat normal cones using Segre classes

abstract: Given a flat, projective morphism $Y \to T$ from an equidimensional scheme to a nonsingular curve and a subscheme $Z$ of $Y$, we give conditions under which specialization of the Segre class $s(N_{Z}Y)$ of the normal cone of $Z$ in $Y$ implies flatness of the normal cone. We apply this result to study when the relative tangent star cone of a flat family is flat.


title: Global regularity of wave maps I. Small critical Sobolev norm in high dimension

abstract: We show that wave maps from Minkowski space $R^{1+n}$ to a sphere are globally smooth if the initial data is smooth and has small norm in the critical Sobolev space $\dot H^{n/2}$ in the high dimensional case $n \geq 5$. A major difficulty, not present in the earlier results, is that the $\dot H^{n/2}$ norm barely fails to control $L^\infty$, potentially causing a logarithmic divergence in the nonlinearity; however, this can be overcome by using co-ordinate frames adapted to the wave map by approximate parallel transport. In the sequel of this paper we address the more interesting two-dimensional case, which is energy-critical.


title: Recent progress on the Kakeya conjecture

abstract: The purpose of this article is to survey the developments on the Kakeya problem in recent years, concentrating on the period after the excellent 1999 survey of Wolff, and including some recent work by the authors. We will focus on the standard Kakeya problem for line segments and not discuss other important variants (such as Kakeya estimates for circles, light rays, or $k$-planes).


title: Measured creatures

abstract: Using forcing with measured creatures we build a universe of set theory in which: (a) every sup-measurable function f:RxR-->R is measurable, and (b) every function f:R-->R is continuous on a non-measurable set. This answers a question of Balcerzak, Ciesielski and Kharazishvili and von Weizsacker's problem (see Fremlin's list of problems).


title: Real Analysis, Quantitative Topology, and Geometric Complexity

abstract: Contents 1 Mappings and distortion 2 The mathematics of good behavior much of the time, and the BMO frame of mind 3 Finite polyhedra and combinatorial parameterization problems 4 Quantitative topology, and calculus on singular spaces 5 Uniform rectifiability Appendices A Fourier transform calculations B Mappings with branching C More on existence and behavior of homeomorphisms D Doing pretty well with spaces which may not have nice coordinates E Some simple facts related to homology


title: Deformation complex of a d-algebra is a (d+1)-algebra

abstract: We prove thst the deformation complex of a d-algebra (shifted by 1-d) carries a natural structure of (d+1)-algebra. This is a purely algebraic version of a similkar theorem of Kontsevich.


title: Torus actions, combinatorial topology and homological algebra

abstract: The paper surveys some new results and open problems connected with such fundamental combinatorial concepts as polytopes, simplicial complexes, cubical complexes, and subspace arrangements. Particular attention is paid to the case of simplicial and cubical subdivisions of manifolds and, especially, spheres. We describe important constructions which allow to study all these combinatorial objects by means of methods of commutative and homological algebra. The proposed approach to combinatorial problems relies on the theory of moment-angle complexes, currently being developed by the authors. The theory centres around the construction that assigns to each simplicial complex $K$ with $m$ vertices a $T^m$-space $\zk$ with a special bigraded cellular decomposition. In the framework of this theory, the well-known non-singular toric varieties arise as orbit spaces of maximally free actions of subtori on moment-angle complexes corresponding to simplicial spheres. We express different invariants of simplicial complexes and related combinatorial-geometrical objects in terms of the bigraded cohomology rings of the corresponding moment-angle complexes. Finally, we show that the new relationships between combinatorics, geometry and topology result in solutions to some well-known topological problems.

categories: math.AT math.AC math.AG math.CO math.GT math.RA


title: Poisson and Hamiltonian Superpairs over Polarized Associative Algebras

abstract: Poisson superpair is a pair of Poisson superalgebra structures on a super commutative associative algebra, whose any linear combination is also a Poisson superalgebra structure. In this paper, we first construct certain linear and quadratic Poisson superpairs over a finite-dimensional or semi-finitely-filtered polarized $\Bbb{Z}_2$-graded associative algebra. Then we give a construction of certain Hamiltonian superpairs in the formal variational calculus over any finite-dimensional $\Bbb{Z}_2$-graded associative algebra with a supersymmetric nondegenerate associative bilinear form. Our constructions are based on the Adler mapping in a general sense. Our works in this paper can be viewed as noncommutative generalizations of the Adler-Gel'fand-Dikii Hamiltonian pair. As a preparatory work, some structural properties of polarized associative algebras have been studied.


title: Multilinear Calder\'on-Zygmund operators on Hardy spaces

abstract: It is shown that multilinear Calder\'on-Zygmund operators are bounded on products of Hardy spaces.


title: The Marcinkiewicz multiplier condition for bilinear operators

abstract: This article is concerned with the question of whether Marcinkiewicz multipliers on $\mathbb R^{2n}$ give rise to bilinear multipliers on $\mathbb R^n\times \mathbb R^n$. We show that this is not always the case. Moreover we find necessary and sufficient conditions for such bilinear multipliers to be bounded. These conditions in particular imply that a slight logarithmic modification of the Marcinkiewicz condition gives multipliers for which the corresponding bilinear operators are bounded on products of Lebesgue and Hardy spaces.


title: Isometries of elliptic 3-manifolds

abstract: The closed 3-manifolds of constant positive curvature were classified long ago by Seifert and Threlfall. Using well-known information about the orthogonal group O(4), we calculate their full isometry groups Isom(M), determine which elliptic 3-manifolds admit Seifert fiberings that are invariant under all isometries, and verify that the inclusion of Isom(M) to Diff(M) is a bijection on path components.


title: Extrema of p-energy functional on a Finsler manifold

abstract: The paper analyses the extrema of p-energy functional on a Finsler space with constant curvature.


title: A theory of quaternionic algebra, with applications to hypercomplex geometry

abstract: In this paper we introduce a new algebraic device, which enables us to treat the quaternions as though they were a commutative field. This is of interest both for its own sake, and because it can be applied to develop an "algebraic geometry" of noncompact hypercomplex manifolds. The basic building blocks of the theory are AH modules, which should be thought of "vector spaces" over the quaternions. An AH-module is a left module over the quaternions H, together with a real vector subspace. There are natural concepts of linear map and tensor product of AH-modules, which have many of the properties of linear maps and tensor products of vector spaces. However, the definition of tensor product of AH-modules is strange and has some unexpected properties. Let M be a hypercomplex manifold. Then there is a natural class of H-valued "q-holomorphic functions" on M, satisfying a quaternionic analogue of the Cauchy-Riemann equations, which are analogues of holomorphic functions on complex manifolds. The vector space of q-holomorphic functions A on M is an AH-module. Now some pairs of q-holomorphic functions can be multiplied together to get another q-holomorphic function, but other pairs cannot. So A has a kind of partial algebra structure. It turns out that this structure can be very neatly described using the quaternionic tensor product and AH-morphisms, and that A has the structure of an "H-algebra", a quaternionic analogue of commutative algebra.


title: Quantum cohomology of flag manifolds

abstract: The (small) quantum cohomology ring of a flag manifold F encodes enumerative geometry of rational curves on F. We give a proof of the presentation of the ring and of a quantum Giambelli formula, which is more direct and geometric than the previously known proof. Furthermore, this proof gives a relationship between quantum Schubert polynomials and universal Schubert polynomials, which arise in a degeneracy locus formula of Fulton.


title: Sigma Models, Minimal Surfaces and Some Ricci Flat Pseudo Riemannian Geometries

abstract: We consider the sigma models where the base metric is proportional to the metric of the configuration space. We show that the corresponding sigma model equation admits a Lax pair. We also show that this type of sigma models in two dimensions are intimately related to the minimal surfaces in a flat pseudo Riemannian 3-space. We define two dimensional surfaces conformally related to the minimal surfaces in flat three dimensional geometries which enable us to give a construction of the metrics of some even dimensional Ricci flat pseudo Riemannian geometries.


title: Toric morphisms and fibrations of toric Calabi-Yau hypersurfaces

abstract: Special fibrations of toric varieties have been used by physicists, e.g. the school of Candelas, to construct dual pairs in the study of Het/F-theory duality. Motivated by this, we investigate in this paper the details of toric morphisms between toric varieties. In particular, a complete toric description of fibers - both generic and non-generic -, image, and the flattening stratification of a toric morphism are given. Two examples are provided to illustrate the discussions. We then turn to the study of the restriction of a toric morphism to a toric hypersurface. The details of this can be understood by the various restrictions of a line bundle with a section that defines the hypersurface. These general toric geometry discussions give rise to a computational scheme for the details of a toric morphism and the induced fibration of toric hypersurfaces therein. We apply this scheme to study the family of 4-dimensional elliptic Calabi-Yau toric hypersurfaces that appear in a recent work of Braun-Candelas-dlOssa-Grassi. The Maple codes that are employed for the computation are provided. Some directions for future work are listed in the end.


title: The role of connectedness in the structure and the action of group of isometries of locally compact metric spaces

abstract: By proving that, if the quotient space S(X) of the connected components of the locally compact metric space (X,d) is compact, then the full group I(X,d) of isometries of X is closed in C(X,X) with respect to the pointwise topology, i.e., that I(X,d) coincides in this case with its Ellis' semigroup, we complete the proof of the following: Theorem (a) If S(X) is not compact, I(X,d) need not be locally compact, nor act properly on X. (b) If S(X) is compact, I(X,d) is locally compact but need not act properly on X. (c) If, especially, X is connected, the action (I(X,d),X) is proper.


title: Quantum groups and Fuss-Catalan algebras

abstract: The categories of representations of compact quantum groups of automorphisms of certain inclusions of finite dimensional C*-algebras are shown to be isomorphic to the categories of Fuss-Catalan diagrams.


title: Connections up to homotopy and characteristic classes

abstract: In this note we clarify the relevance of ``connections up to homotopy'' to the theory of characteristic classes. We have already remarked \cite{Crai} that such connections up to homotopy can be used to compute the classical Chern characters. Here we present a slightly different argument for this, and then proceed with the discussion of the flat (secondary) characteristic classes. As an application, we clarify the relation between the two different approaches to characteristic classes of algebroids (and of Poisson manifolds in particular): we explain that the intrinsic characteristic classes are precisely the secondary classes of the adjoint representation.


title: Asymmetries in the Shanks-Renyi Prime Number Race

abstract: It has been well-observed that an inequality of the type $\pi(x;q,a) > \pi(x;q,b)$ is more likely to hold if $a$ is a non-square modulo $q$ and $b$ is a square modulo $q$ (the so-called ``Chebyshev Bias''). For instance, each of $\pi(x;8,3)$, $\pi(x;8,5)$, and $\pi(x;8,7)$ tends to be somewhat larger than $\pi(x;8,1)$. However, it has come to light that the tendencies of these three $\pi(x;8,a)$ to dominate $\pi(x;8,1)$ have different strengths. A related phenomenon is that the six possible inequalities of the form $\pi(x;8,a_1) > \pi(x;8,a_2) > \pi(x;8,a_3)$ with $\{a_1,a_2,a_3\}=\{3,5,7\}$ are not all equally likely---some orderings are preferred over others. In this paper we discuss these phenomena, focusing on the moduli $q=8$ and $q=12$, and we explain why the observed asymmetries (as opposed to other possible asymmetries) occur.


title: Amoebas of maximal area

abstract: To any algebraic curve A in a complex 2-torus $(\C^*)^2$ one may associate a closed infinite region in a real plane called the amoeba of A. The amoebas of different curves of the same degree come in different shapes and sizes. All amoebas in have finite area and, furthermore, there is an upper bound on the area in terms of the degree of the curve. The subject of this paper is the curves in a complex 2-torus whose amoebas are of the maximal area. We show that up to multiplication by a constant such curves are defined over real numbers and, furthermore, that their real loci are isotopic to so-called Harnack curves.


title: An Introduction to the Neutrosophic Probability Applied in Quantum Physics

abstract: In this paper one generalizes the classical probability and imprecise probability to the notion of "neutrosophic probability" in order to be able to model Heisenberg's Uncertainty Principle of a particle's behavior, Schr"dinger's Cat Theory, and the state of bosons which do not obey Pauli's Exclusion Principle (in quantum physics). Neutrosophic probability is close related to neutrosophic logic and neutrosophic set, and etymologically derived from "neutrosophy".


title: On tensor categories attached to cells in affine Weyl groups

abstract: We prove a conjecture by Lusztig, which describes the tensor categories of perverse sheaves on affine flag manifolds, with tensor structure provided by truncated convolution, in terms of the Langlands dual group. We also give a geometric (categorical) description of Lusztig's bijection between two-sided cells in an affine Weyl group, and unipotent conjugacy classes in the Langlands dual group. The main tool is the sheaf-theoretic construction of the center of the affine Hecke algebra due to Gaitsgory (based on ideas of Beilinson and Kottwitz), see math.AG/9912074.


title: The Geometry of Relativistic Rheonomic Lagrange Spaces

abstract: The paper contains a geometrization of a time dependent Lagrangian function defined on the 1-jet space J^1(R,M) which identifies with R\times TM. The reader is invited to compare this geometrization with that developped by Miron and Anastasiei.


title: The Geometry of Autonomous Metrical Multi-Time Lagrange Space of Electrodynamics

abstract: The paper contains a geometrization of the autonomous multi-time Lagrangian function of electrodynamics. We point out that this multi-time Lagrangian function comes from electrodynamics and the theory of bosonic strings.


title: On blockers in bounded posets

abstract: Antichains of a finite bounded poset are assigned antichains playing a role analogous to that played by blockers in the Boolean lattice of all subsets of a finite set. Some properties of lattices of generalized blockers are discussed.


title: Harmonic analysis on the SU(2) dynamical quantum group

abstract: Dynamical quantum groups were recently introduced by Etingof and Varchenko as an algebraic framework for studying the dynamical Yang-Baxter equation, which is precisely the Yang-Baxter equation satisfied by 6j-symbols. We investigate one of the simplest examples, generalizing the standard SU(2) quantum group. The matrix elements for its corepresentations are identified with Askey-Wilson polynomials, and the Haar measure with the Askey-Wilson measure. The discrete orthogonality of the matrix elements yield the orthogonality of q-Racah polynomials (or quantum 6j-symbols). The Clebsch-Gordan coefficients for representations and corepresentations are also identified with q-Racah polynomials. This results in new algebraic proofs of the Biedenharn-Elliott identity satisfied by quantum 6j-symbols.


title: q-convolution and its q-Fourier transform

abstract: The functions on a lattice generated by the integer degrees of $q^2$ are considered, 0<q<1. The $q^2$-translation operator is defined. The multiplicators and the $q^2$-convolutors are defined in the functional spaces which are dual with respect to the $q^2$-Fourier transform. The $q^2$-analog of convolution of two $q^2$-distributions is constructed. The $q^2$-analog of an arbitrary (non integer) order derivative is introduced


title: Partial synchronicity and the (max,+) semiring

abstract: In this paper we illustrate how non-stochastic (max,+) techniques can be used to describe partial synchronization in a Discrete Event Dynamical System. Our work uses results from the spectral theory of dioids and analyses (max,+) equations describing various synchronization rules in a simple network. The network in question is a transport network consisting of two routes joined at a single point, and our Discrete Events are the departure times of transport units along these routes. We calculate the maximum frequency of circulation of these units as a function of the synchronization parameter. These functions allow us further to determine the waiting times on various routes, and here we find critical parameters (dependent on the fixed travel times on each route) which dictate the overall behavoiur. We give explicit equations for these parameters and state the rules which enable optimal performance in the network (corresponding to minimum waiting time).


title: Periodic Complexes and Group Actions

abstract: In this paper we show that the cohomology of a connected CW complex is periodic if and only if it is the base space of an orientable spherical fibration with total space that is homotopically finite dimensional. As applications we characterize those discrete groups that act freely and properly on a cartesian product of euclidean space and a sphere; we construct non-standard free actions of rank two simple groups on finite complexes Y homotopy equivalent to a product of two spheres and we prove that a finite p-group P acts freely on such a complex if and only if it does not contain a subgroup isomorphic to Z/p X Z/p X Z/p.


title: Cuntz-Krieger-Pimsner Algebras Associated with Amalgamated Free Product Groups

abstract: We give a construction of a nuclear $C^\ast$-algebra associated with an amalgamated free product of groups, generalizing Spielberg's construction of a certain Cuntz-Krieger algebra associated with a finitely generated free product of cyclic groups. Our nuclear $C^\ast$-algebras can be identified with certain Cuntz-Krieger-Pimsner algebras. We will also show that our algebras can be obtained by the crossed product construction of the canonical actions on the hyperbolic boundaries, which proves a special case of Adams' result about amenability of the boundary action for hyperbolic groups. We will also give an explicit formula of the $K$-groups of our algebras. Finally we will investigate the relationship between the KMS states of the generalized gauge actions on our $C^\ast$ algebras and random walks on the groups.


title: On Rugina's System of Thought

abstract: In this article one investigates Rugina's Orientation Table and one gives particular examples for several of its seven models. Leon Walras's Economics of Stable Equilibrium and Keynes's Economics of Disequilibrium are combined in Rugina's Orientation Table in systems which are s% stable and 100-s% unstable, where s may be 100, 95, 65, 50, 35, 5, and 0. The Classical Logic and Modern Logic are united in Rugina's Integrated Logic, and then generalized in the Neutrosophic Logic.


title: Neutrosophy

abstract: Neutrosophy is a new branch of philosophy which studies the origin, nature, and scope of neutralities, as well as their interactions with different ideational spectra.


title: Special Algebraic Structures

abstract: New notions are introduced in algebra in order to better study the congruences in number theory. For example, the <special semigroups> makes an important such contribution.


title: Special rays in the Mori cone of a projective variety

abstract: Let $X$ be a smooth $n$-dimensional projective variety over an algebraically closed field $k$ such that $K_X$ is not nef. We give a characterization of non nef extremal rays of $X$ of maximal length (i.e of length $n-1$); in the case of $\ch(k) = 0$ we also characterize non nef rays of length $n-2$.


title: On the existence of nontrivial solutions for a nonlinear equation relative to a measure-valued Lagrangian on homogeneous spaces

abstract: We prove the existence of a non-trivial solution for a nonlinear equation related to a measure-valued Lagrangian. The result is based on a compact embedding theorem of the Lagrangian domain and on the application of the Mountain Pass Theorem joined to a Palais-Smale condition.


title: Ramification of local fields with imperfect residue fields

abstract: Classically the ramification filtration of the Galois group of a complete discrete valuation field is defined in the case where the residue field is perfect. In this paper, we define without any assumption on the residue field, two ramification filtrations and study some of their properties.


title: Hamiltonian dynamics on the moduli space of half weighted Bohr - Sommerfeld Lagrangian subcycles of a fixed volume

abstract: Connecting ideas of geometric formulation of quantum mechanics with new results in symplectic geometry a new approach to geometrical quantization procedure is proposed. As a first result we verify that the correspondence between "classical" Poisson bracket and "quantum" one takes place.


title: Fundamental groups of line arrangements: Enumerative aspects

abstract: This is a survey of some recent developments in the study of complements of line arrangements in the complex plane. We investigate the fundamental groups and finite covers of those complements, focusing on homological and enumerative aspects. The unifying framework for this study is the stratification of the character variety of the fundamental group, G, by the jumping loci for cohomology with coefficients in rank 1 local systems. Counting certain torsion points on these "characteristic" varieties yields information about the homology of branched and unbranched covers of the complement, as well as on the number of low-index subgroups of its fundamental group. We conclude with two conjectures, expressing the lower central series quotients of G/G'' (and, in some cases, G itself) in terms of the closely related "resonance" varieties. We illustrate the discussion with a number of detailed examples, some of which reveal new phenomena.