title: Lengths of simple loops on surfaces with hyperbolic metrics

abstract: Given a compact orientable surface of negative Euler characteristic, there exists a natural pairing between the Teichmueuller space of the surface and the set of homotopy classes of simple loops and arcs. The length pairing sends a hyperbolic metric and a homotopy class of a simple loop or arc to the length of geodesic in its homotopy class. We study this pairing function using the Fenchel-Nielsen coordinates on Teichmueller space and the Dehn-Thurston coordinates on the space of homotopy classes of curve systems. Our main result establishes Lipschitz type estimates for the length pairing expressed in terms of these coordinates. As a consequence, we reestablish a result of Thurston-Bonahon that the length pairing extends to a continuous map from the product of the Teichmueller space and the space of measured laminations.


title: Higher order expansions for the overlap of the SK model

abstract: In this note, the Sherrington Kirkpatrick model of interacting spins is under consideration. In the high temperature region, we give an asymptotic expansion for the expected value of some genereral polynomial of the overlap of the system when the size $N$ grows to infinity. Some of the coefficients obtained are shown to be vanishing, while the procedure to get the nontrivial ones has to be performed by a computer program, due to the great amount of computation involved.


title: Strong resolution of singularities in characteristic zero

abstract: We present a concise proof for the existence and construction of a {\it strong resolution of excellent schemes} of finite type over a field of characteristic zero. Our proof is based on earlier work of Villamayor, Encinas-Villamayor and Bierstone-Milman. It apports some substantial simplifications which may be helpful for a better understanding of how to prove Hironaka's famous theorem.


title: Products of conjugacy classes in SU(2)

abstract: We obtain a complete description of collections of n conjugacy classes in SU(2) with the property that the multiplication map from the product of these n conjugacy classes to SU(2) is surjective. The basic instrument is a characterization of collections of n+1 conjugacy classes in SU(2) such that the image of the multiplication map from these conjugacy classes to SU(2) contains the identity matrix, which generalizes a result of Jeffrey and Weitsman.


title: Small hyperbolic 3-manifolds with geodesic boundary

abstract: We classify the orientable finite-volume hyperbolic 3-manifolds having non-empty compact totally geodesic boundary and admitting an ideal triangulation with at most four tetrahedra. We also compute the volume of all such manifolds, we describe their canonical Kojima decomposition, and we discuss manifolds having cusps. The manifolds built from one or two tetrahedra were previously known. There are 151 different manifolds built from three tetrahedra, realizing 18 different volumes. Their Kojima decomposition always consists of tetrahedra (but occasionally requires four of them). And there is a single cusped manifold, that we can show to be a knot complement in a genus-2 handlebody. Concerning manifolds built from four tetrahedra, we show that there are 5033 different ones, with 262 different volumes. The Kojima decomposition consists either of tetrahedra (as many as eight of them in some cases), or of two pyramids, or of a single octahedron. There are 30 manifolds having a single cusp, and one having two cusps. Our results were obtained with the aid of a computer. The complete list of manifolds (in SnapPea format) and full details on their invariants are available on the world wide web.


title: Motivic-type Invariants of Blow-analytic Equivalence

abstract: To a given analytic function germ $f:(\mathbb{R}^d,0) \to (\mathbb{R},0)$, we associate zeta functions $Z_{f,+}$, $Z_{f,-} \in \mathbb{Z} [[T]]$, defined analogously to the motivic zeta functions of Denef and Loeser. We show that our zeta functions are rational and that they are invariants of the blow-analytic equivalence in the sense of Kuo. Then we use them together with the Fukui invariant to classify the blow-analytic equivalence classes of Brieskorn polynomials of two variables. Except special series of singularities our method classifies as well the blow-analytic equivalence classes of Brieskorn polynomials of three variables.


title: Potential one-forms for hyperk\"ahler structures with torsion

abstract: It is shown that an HKT-space with closed parallel potential 1-form has $D(2,1;-1)$-symmetry. Every locally conformally hyperk\"ahler manifold generates this type of geometry. The HKT-spaces with closed parallel potential 1-form arising in this way are characterized by their symmetries and an inhomogeneous cubic condition on their torsion.


title: Moduli spaces of holomorphic triples over compact Riemann surfaces

abstract: A holomorphic triple over a compact Riemann surface consists of two holomorphic vector bundles and a holomorphic map between them. After fixing the topological types of the bundles and a real parameter, there exist moduli spaces of stable holomorphic triples. In this paper we study non-emptiness, irreducibility, smoothness, and birational descriptions of these moduli spaces for a certain range of the parameter. Our results have important applications to the study of the moduli space of representations of the fundamental group of the surface into unitary Lie groups of indefinite signature, which we explore in a companion paper "Surface group representations in PU(p,q) and Higgs bundles". Another application, that we study in this paper, is to the existence of stable bundles on the product of the surface by the complex projective line. This paper, and its companion mentioned above, form a substantially revised version of math.AG/0206012.


title: Tight, not semi--fillable contact circle bundles

abstract: Extending our earlier results, we prove that certain tight contact structures on circle bundles over surfaces are not symplectically semi--fillable, thus confirming a conjecture of Ko Honda.


title: Two-sided (two-cosided) Hopf modules and Doi-Hopf modules for quasi-Hopf algebras

abstract: Let $H$ be a finite dimensional quasi-Hopf algebra over a field $k$ and ${\mathfrak A}$ a right $H$-comodule algebra in the sense of Hausser and Nill. We first show that on the $k$-vector space ${\mathfrak A}\ot H^*$ we can define an algebra structure, denoted by ${\mathfrak A}\ovsm H^*$, in the monoidal category of left $H$-modules (i.e. ${\mathfrak A}\ovsm H^*$ is an $H$-module algebra. Then we will prove that the category of two-sided $({\mathfrak A}, H)$-bimodules $\hba $ is isomorphic to the category of relative $({\mathfrak A}\ovsm H^*, H^*)$-Hopf modules, as introduced in by Hausser and Nill. In the particular case where ${\mathfrak A}=H$, we will obtain a result announced by Nill. We will also introduce the categories of Doi-Hopf modules and two-sided two-cosided Hopf modules and we will show that they are in certain situations isomorphic to module categories.


title: Surface group representations in PU(p,q) and Higgs bundles

abstract: Using the L^2 norm of the Higgs field as a Morse function, we study the moduli spaces of U(p,q)-Higgs bundles over a Riemann surface. We require that the genus of the surface be at least two, but place no constraints on (p,q). A key step is the identification of the function's local minima as moduli spaces of holomorphic triples. In a companion paper "Moduli spaces of holomorphic triples over compact Riemann surfaces" (math.AG/0211428) we prove that these moduli spaces of triples are non-empty and irreducible. Because of the relation between flat bundles and fundamental group representations, we can interpret our conclusions as results about the number of connected components in the moduli space of semisimple PU(p,q)-representations. The topological invariants of the flat bundles are used to label subspaces. These invariants are bounded by a Milnor-Wood type inequality. For each allowed value of the invariants satisfying a certain coprimality condition, we prove that the corresponding subspace is non-empty and connected. If the coprimality condition does not hold, our results apply to the closure of the moduli space of irreducible representations. This paper, and its companion mentioned above, form a substantially revised version of math.AG/0206012.


title: Walks confined in a quadrant are not always D-finite

abstract: We consider planar lattice walks that start from a prescribed position, take their steps in a given finite subset of Z^2, and always stay in the quadrant x >= 0, y >= 0. We first give a criterion which guarantees that the length generating function of these walks is D-finite, that is, satisfies a linear differential equation with polynomial coefficients. This criterion applies, among others, to the ordinary square lattice walks. Then, we prove that walks that start from (1,1), take their steps in {(2,-1), (-1,2)} and stay in the first quadrant have a non-D-finite generating function. Our proof relies on a functional equation satisfied by this generating function, and on elementary complex analysis.


title: Pcf theory and Woodin cardinals

abstract: We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all bounded X subset aleph_{|alpha|^+}, M_n^#(X) exists. Theorem B: Let kappa be a singular cardinal of uncountable cofinality. If {alpha<kappa| 2^alpha=alpha^+} is stationary as well as co-stationary then for all n< omega and for all bounded X subset kappa, M_n^#(X) exists. Theorem A answers a question of Gitik and Mitchell, and Theorem B yields a lower bound for an assertion discussed in Gitik, M., Introduction to Prikry type forcing notions, in: Handbook of set theory, Foreman, Kanamori, Magidor (see Problem 4 there). The proofs of these theorems combine pcf theory with core model theory. Along the way we establish some ZFC results in cardinal arithmetic, motivated by Silver's theorem and we obtain results of core model theory, motivated by the task of building a ``stable core model.'' Both sets of results are of independent interest.


title: Determining whether certain affine Deligne-Lusztig sets are empty

abstract: Let F be a non-archimedean local field, let L be the maximal unramified extension of F, and let fr be the Frobenius automorphism. Let G be a split connected reductive group over F, and let B(1) be the Bruhat-Tits building associated to G(F). We know that fr acts on G(L) with fixed points G(F). Let I be the Iwahori associated to a chamber in B(1). We have the relative position map, inv, from G(L)/I x G(L)/I to the extended affine Weyl group, W_e of G. If w is in W_e and b is in G(L), then the affine Deligne-Lusztig set Xw(b fr) is {x in G(L)/I : inv(x,b fr(x)) = w}. This paper answers the question of which Xw(b fr) are non-empty for certain G and b.


title: Super-Brownian motion with extra birth at one point

abstract: A super-Brownian motion in two and three dimensions is constructed where "particles" give birth at a higher rate, if they approach the origin. Via a log-Laplace approach, the construction is based on Albeverio et al. (1995) who calculated the fundamental solutions of the heat equation with one-point potential in dimensions less than four.


title: A novel and efficient algorithm for scanning all minimal cutsets of a graph

abstract: We propose a novel algorithm for enumerating and listing all minimal cutsets of a given graph. It is known that this problem is NP-hard. We use connectivity properties of a given graph to develop an algorithm with reduced complexity for finding all its cutsets. We use breadth first search (BFS) method in conjunction with edge contraction to develop the algorithm. We introduce the concepts of a pivot vertex and absorbable clusters and use them to develop an enhanced recursive contraction algorithm. The complexity of the proposed algorithm is proportionate to the number of cutsets. We present simulation results to compare the performance of our proposed algorithm with those of existing methods.


title: Periodic modules and quantum groups

abstract: We prove that the elements $A_\leq$ defined by Lusztig in a completion of the periodic module actually live in the periodic module, in the type A case. In order to prove this, we compare, using Schur duality, these elements with the Kashiwara canonical basis of an integrable module.


title: Martin's Axiom and Maximal Orthogonal Families

abstract: It is shown that Martin's Axiom for sigma-centred partial orders implies that every maximal orthogonal family in R^N is of size 2^{aleph_0}


title: Compact special Legendrian surfaces in $S^5$

abstract: A surface $\Sigma \subset S^5 \subset \mathbb{C}^3$ is called \emph{special Legendrian} if the cone $0 \times \Sigma \subset \mathbb{C}^3$ is special Lagrangian. The purpose of this paper is to propose a general method toward constructing compact special Legendrian surfaces of high genus. It is proved \emph{there exists a compact, orientable, Hamiltonian stationary Lagrangian surface of genus $1+\frac{k(k-3)}{2}$ in $ \mathbb{C}P^2$ for each integer $ k \geq 3$, which is a smooth branched surface except at most finitely many conical singularities.} If this surface is smooth, it is minimal and the Legendrian lift of the surface is the desired compact special Legendrian surface. We first establish the existence of a minimizer of area among Lagrangian disks in a relative homotopy class of a K\"ahler-Einstein surface without Lagrangian homotopy classes with respect to a configuration $ \Gamma$ that consists of the fixed point loci of K\"ahler involutions. $ \Gamma$ in addition must satisfy certain null relative homotopy conditions and angle criteria. The fundamental domain thus obtained is smooth along the boundary, and has finitely many interior singular points. We then apply successive \emph{reflection} of this fundamental domain along its boundary to obtain a complete or compact Lagrangian surface.


title: Quasiconformal Rigidity of Negatively Curved Three Manifolds

abstract: In this paper we study the rigidity of infinite volume 3-manifolds with sectional curvature $-b^2\le K\le -1$ and finitely generated fundamental group. In-particular, we generalize the Sullivan's quasi-conformal rigidity for finitely generated fundamental group with empty dissipative set to negative variable curvature 3-manifolds. We also generalize the rigidity of Hamenst\"{a}dt or more recently Besson-Courtois-Gallot, to 3-manifolds with infinite volume and geometrically infinite fundamental group.


title: Theta Functions and Szeg\"o Kernels

abstract: We study relations between two fundamental constructions associated to vector bundles on a smooth complex projective curve: the theta function (a section of a line bundle on the moduli space of vector bundles) and the Szeg\"o kernel (a section of a vector bundle on the square of the curve). Two types of relations are demonstrated. First, we establish a higher--rank version of the prime form, describing the pullback of determinant line bundles by difference maps, and show the theta function pulls back to the determinant of the Szeg\"o kernel. Next, we prove that the expansion of the Szeg\"o kernel at the diagonal gives the logarithmic derivative of the theta function over the moduli space of bundles for a fixed, or moving, curve. In particular, we recover the identification of the space of connections on the theta line bundle with moduli space of flat vector bundles, when the curve is fixed. When the curve varies, we identify this space of connections with the moduli space of {\em extended connections}, which we introduce.


title: An algorithm for computing the global basis of a finite dimensional irreducible $U_{q}(so_{2n+1})$ or $U_{q}(so_{2n})$-module

abstract: We describe a simple algorithm for computing the canonical basis of any irreducible finite-dimensional $U_{q}(so_{2n+1})$ or $U_{q}(so_{2n})$-module.


title: Schensted type correspondence for type $G_{2}$ and computation of the canonical basis of a finite dimensional $U_{q}(G_{2})$-module

abstract: We use Kang-Misra's combinatorial description of the crystal graphs for $U_{q}(G_{2})$ to introduce the plactic monoid for type $G_{2}$. Then we describe the corresponding insertion algorithm which yields a Schensted type correspondence. Next we give a simple algorithm for computing the canonical basis of any finite dimensional $U_{q}(G_{2})$-module.


title: Schensted-type correspondences and plactic monoids for types $B_{n}$ and $D_{n}$

abstract: We use Kashiwara's theory of crystal bases to study plactic monoids for $U_{q}(so_{2n+1})$ and $U_{q}(so_{2n})$. Simultaneously we describe a Schensted type correspondence in the crystal graphs of tensor powers of vector and spin representations and we derive a Jeu de Taquin for type $B$ from the Sheats sliding algorithm.


title: On extremal holomorphically contractible families

abstract: We prove that the category of generalized holomorphically contractible families possesses maximal and minimal objects. Moreover, we present basic properties of these extremal families.


title: Einstein Metrics via Intrinsic or Parallel Torsion

abstract: The classification of Riemannian manifolds by the holonomy group of their Levi-Civita connection picks out many interesting classes of structures, several of which are solutions to the Einstein equations. The classification has two parts. The first consists of isolated examples: the Riemannian symmetric spaces. The second consists of geometries that can occur in continuous families: these include the Calabi-Yau structures and Joyce manifolds of string theory. One may ask how one can weaken the definitions and still obtain similar classifications. We present two closely related suggestions. The classifications for these give isolated examples that are isotropy irreducible spaces, and known families that are the nearly K\"ahler manifolds in dimension 6 and Gray's weak holonomy G$_2$ structures in dimension 7.


title: Entropy geometry and disjointness for zero-dimensional algebraic actions

abstract: We show that many algebraic actions of higher-rank abelian groups on zero-dimensional groups are mutually disjoint. The proofs exploit differences in the entropy geometry arising from subdynamics and a form of Abramov--Rokhlin formula for half-space entropies.


title: Quantization of SL(2,R)^* as Bialgebra

abstract: We quantize the Poisson-Lie group SL(2,R)^* as a bialgebra using the product of Kontsevich. The coproduct is a deformation of the coproduct that comes from the group structure. The resulting bialgebra structure is isomorphic to the quantum universal enveloping algebra U_hsl(2,R).


title: The height of the mixed sparse resultant

abstract: We present an upper bound for the height of the mixed sparse resultant, defined as the logarithm of the maximum modulus of its coefficients. We obtain a similar estimate for its Mahler measure.


title: Symmetry groups, semidefinite programs, and sums of squares

abstract: We investigate the representation of symmetric polynomials as a sum of squares. Since this task is solved using semidefinite programming tools we explore the geometric, algebraic, and computational implications of the presence of discrete symmetries in semidefinite programs. It is shown that symmetry exploitation allows a significant reduction in both matrix size and number of decision variables. This result is applied to semidefinite programs arising from the computation of sum of squares decompositions for multivariate polynomials. The results, reinterpreted from an invariant-theoretic viewpoint, provide a novel representation of a class of nonnegative symmetric polynomials. The main theorem states that an invariant sum of squares polynomial is a sum of inner products of pairs of matrices, whose entries are invariant polynomials. In these pairs, one of the matrices is computed based on the real irreducible representations of the group, and the other is a sum of squares matrix. The reduction techniques enable the numerical solution of large-scale instances, otherwise computationally infeasible to solve.


title: Enumerating the Prime Alternating Links

abstract: This is the third paper in a series devoted to enumerating the prime alternating knots and links. This paper establishes a method for enumerating the prime alternating links. It is shown that one may choose any prime alternating link diagram of a given minimal crossing size and by applications of just two operators (T and OTS, introduced in the first paper in the series, Enumerating the Prime Alternating Knots, Part I) to the selected seed link, one obtains all prime alternating link diagrams of the desired minimal crossing size.


title: Bases of representations of type A affine Lie algebras via quiver varieties and statistical mechanics

abstract: We relate two apparently different bases in the representations of affine Lie algebras of type A: one arising from statistical mechanics, the other from gauge theory. We show that the two are governed by the same combinatorics and therefore can be viewed as identical. In particular, we are able to give an alternative and much simpler geometric proof of a result of E. Date, M. Jimbo, A. Kuniba, T. Miwa and M. Okado on the construction of bases of affine Lie algebra representations. At the same time, we give a simple parametrization of the irreducible components of Nakajima quiver varieties associated to infinite and cyclic quivers. We also define new varieties whose irreducible components are in one-to-one correspondence with bases of the highest weight representations of affine gl_{n+1}.


title: Numerical integration of coupled Korteweg-de Vries System

abstract: We introduce a numerical method for general coupled Korteweg-de Vries systems. The scheme is valid for solving Cauchy problems for arbitrary number of equations with arbitrary constant coefficients. The numerical scheme takes its legality by proving its stability and convergence which gives the conditions and the appropriate choice of the grid sizes. The method is applied to Hirota-Satsuma (HS) system and compared with its known explicit solution investigating the influence of initial conditions and grid sizes on accuracy. We also illustrate the method to show the effects of constants with a transition to non-integrable cases.


title: An Objective Representation of the Gaussian Integers

abstract: A rig is a riNg without Negatives. We analyse the free rig on a generator x subject to the equivalence x = 1 + x + x^2, showing that in it the non-constant polynomials form a ring. This ring can be identified with the Gaussian integers, which thus acquire objective meaning.


title: Trees and matchings from point processes

abstract: A factor graph of a point process is a graph whose vertices are the points of the process, and which is constructed from the process in a deterministic isometry-invariant way. We prove that the d-dimensional Poisson process has a one-ended tree as a factor graph. This implies that the Poisson points can be given an ordering isomorphic to the usual ordering of the integers in a deterministic isometry-invariant way. For d \geq 4 our result answers a question posed by Ferrari, Landim and Thorisson. We prove also that any isometry-invariant ergodic point process of finite intensity in Euclidean or hyperbolic space has a perfect matching as a factor graph provided all the inter-point distances are distinct.


title: Quasi-Hodge Metrics and Canonical Singularities

abstract: We study one parameter degenerations of complex projective manifolds by introducing certain type of Hodge metrics coming from the pluricanonical forms. We show that degenerations with at most canonical singularities are all in the finite distance boundary of moduli spaces. We also propose the converse to be true in the sense that finite distance degenerations admit birational models which have at most canonical singularities in the degenerate fiber. We verify this for curves and show that the Calabi-Yau case follows from the minimal model conjecture.


title: Projection of Markov measures may be Gibbsian

abstract: We study the induced measure obtained from a 1-step Markov measure, supported by a topological Markov chain, after the mapping of the original alphabet onto another one. We give sufficient conditions for the induced measure to be a Gibbs measure (in the sense of Bowen) when the factor system is again a topological Markov chain. This amounts to constructing, when it does exist, the induced potential and proving its Holder continuity. This is achieved through a matrix method. We provide examples and counterexamples to illustrate our results.


title: On a relation between stochastic integration and geometric measure theory

abstract: Two problems are addressed for the path of certain stochastic processes: a) do they define currents? b) are these currents of a classical type? A general answer to question a) is given for processes like semimartingales or with Lyons-Zheng structure. As to question b), it is shown that H\"{o}lder continuous paths with exponent $\gamma > 1/2$ define integral flat chains.


title: The quadratic isoperimetric inequality for mapping tori of free group automorphisms I: Positive automorphisms

abstract: If $F$ is a finitely generated free group and $\phi$ is a positive automorphism of $F$ then $F\rtimes_\phi Z$ satisfies a quadratic isoperimetric inequality.


title: Differential Equations for $F_q$-Linear Functions, II: Regular Singularity

abstract: We study some classes of equations with Carlitz derivatives for $F_q$-linear functions, which are the natural function field counterparts of linear ordinary differential equations with a regular singularity. In particular, an analog of the equation for the power function, the Fuchs and Euler type equations, and Thakur's hypergeometric equation are considered. Some properties of the above equations are similar to the classical case while others are different. For example, a simple model equation shows a possibility of existence of a non-trivial continuous locally analytic $F_q$-linear solution which vanishes on an open neighbourhood of the initial point. Part I: J. Number Theory, 83 (2000), 137-154.


title: Automorphisms of an orthomodular poset of projections

abstract: By using a lattice characterization of continuous projections defined on a topological vector space E arising from a dual pair, we determine the automorphism group of their orthomodular poset Proj(E) by means of automorphisms and anti-automorphisms of the lattice L of all closed subspaces of E. A connection between the automorphism group of the ring of all continuous linear mappings defined on E and the automorphism group of the orthoposet Proj(E) is established.


title: Quantum even spheres Sigma_q^2n from Poisson double suspension

abstract: We define even dimensional quantum spheres Sigma_q^2n that generalize to higher dimension the standard quantum two-sphere of Podle's and the four-sphere Sigma_q^4 obtained in the quantization of the Hopf bundle. The construction relies on an iterated Poisson double suspension of the standard Podle's two-sphere. The Poisson spheres that we get have the same symplectic foliation consisting of a degenerate point and a symplectic plane and, after quantization, have the same C^*-algebraic completion. We investigate their K-homology and K-theory by introducing Fredholm modules and projectors.


abstract: Given a first order dynamical system possessing a commutative algebra of dynamical symmetries, we show that, under certain conditions, there exists a Poisson structure on an open neighbourhood of its regular (not necessarily compact) invariant manifold which makes this dynamical system into a partially integrable Hamiltonian system. This Poisson structure is by no means unique. Bi-Hamiltonian partially integrable systems are described in some detail. As an outcome, we state the conditions of quasi-periodic stability (the KAM theorem) for partially integrable Hamiltonian systems.


title: Symplectic operad geometry and graph homology

abstract: A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial calculus of cuttings and matings. The Lie algebras are constructed as Hamiltonian functions on a symplectic operad manifold. And graph complexes are defined for any mated species. The general formulation gives us many examples including a graph homology for groups. We also speculate on the role of deformation theory for operads in this setting.


title: Logic: A Misleading Concept. A Contradiction Study toward Agent's Logic

abstract: The paper presents a fresh new comprehensive ideology on Neutrosophic Logic based on contradiction study. It does a survey on Chinese philosophy. The paper aims to solve the chaos of logic and exhibit the potential power of neutrosophy: a new branch of scientific philosophy.


title: Mixed characteristic homological theorems in low degrees

abstract: Let R be a locally finitely generated algebra over a discrete valuation ring V of mixed characteristic. For any of the homological properties, the Direct Summand Theorem, the Monomial Theorem, the Improved New Intersection Theorem, the Vanishing of Maps of Tors and the Hochster-Roberts Theorem, we show that it holds for R and possibly some other data defined over R, provided the residual characteristic of V is sufficiently large in terms of the complexity of the data, where the complexity is primarily given in terms of the degrees of the polynomials over V that define the data, but possibly also by some additional invariants.


title: A classical approach on cyclotomic fields and Fermat-Wiles theorem

abstract: This paper is submitted to Algebraic-Number-Theory Archives for validation by Number Theorists Community. It is an update of the previous versions ANT-0155, ANT-0170, ANT-0205, ANT-0237, ANT-0321, ANT-0333, and ANT-0356, of which the first four were titled `A generalization of Eichler criterium for Fermat's Last Theorem' and the last three were titled `A classical approach on Fermat-Wiles theorem'. This version contains a complete reorganization of the paper with a first part dealing with cyclotomic fields (independently of FLT) from page 10 to 72 and a second part dealing with FLT from page 73 to end. This version improves our previous results on cyclotomic fields and contains several significant error corrections. The proofs rest on classical theory of cyclotomic number fields $\Q(zeta_p)$.


title: Cyclotomic Swan subgroups and primitive roots

abstract: Let $K_{m}=\Bbb{Q}(\zeta_{m})$ where $\zeta_{m}$ is a primitive $m$th root of unity. Let $p>2$ be prime and let $C_{p}$ denote the group of order $p.$ The ring of algebraic integers of $K_{m}$ is $\Cal{O}_{m}=\Bbb{Z}[\zeta_{m}].$ Let $\Lambda_{m,p}$ denote the order $\Cal{O}_{m}[C_{p}]$ in the algebra $K_{m}[C_{p}].$ Consider the kernel group $D(\Lambda_{m,p})$ and the Swan subgroup $T(\Lambda_{m,p}).$ If $(p,m)=1$ these two subgroups of the class group coincide. Restricting to when there is a rational prime $p$ that is prime in $\Cal{O}_{m}$ requires $m=4$ or $q^{n}$ where $q>2$ is prime. For each such $m$, $3 \leq m \leq 100,$ we give such a prime, and show that one may compute $T(\Lambda_{m,p})$ as a quotient of the group of units of a finite field. When $h_{mp}^{+}=1$ we give exact values for $|T(\Lambda_{m,p})|$, and for other cases we provide an upper bound. We explore the Galois module theoretic implications of these results.


title: Groupes de Selmer et accouplements

abstract: Nekov\'a\v{r} vient de d\'emontrer que le rang de $E(\Q)$ pour une courbe elliptique $E$d\'efinie sur $\Q$ est de m\^eme parit\'e que la multiplicit\'e du z\'ero en $s=1$ de la fonction $L_{E}$ complexe associe\'e \`a $E/\Q$, lorsque le groupe de Tate-Shafarevich est fini. La clef de la d\'emonstration est le construction d'une forme altern\'ee et non d\'eg\'en\'er\'ee sur le quotient de $S(K)$ par sa partie divisible. Pour construire le forme altern\'ee, Nekov\'a\v{r} reprend compl\`etement la th\'eorie des groupes de Selmer en utilisant la formalisme des complexes. Il obtient ainsi d'autres applicationsen th\'eorie de Hida et autres. Nous allons faire ici cette construction en allant au plus court et de replacer ensuite ces r\'esultats dans un contexte plus g\'en\'eral. ----- Nekov\'a\v{r} recently proved that the rank of $E(\Q)$ for an elliptic curve $E$ defined over $\Q$ has the same parity as the zero of the $L$-function $L_{E}$ at $s=1$, when the Tate-Shafarevitch group is finite, in agreement with the conjecture of Birch and Swinnerton-Dyer. The key to the proof is the construction of a non-degenerate alternating form on the quotient of the Selmer group of $E$ by its divisible part. In order to construct this form, Nekov\'a\v{r} completely redoes the theory of Selmer groups, using the formalism of complexes. He thereby obtains other applications in the theory due to Hida and others. Here we will simplify this construction and place these results in a more general context.


title: Multi-dimensional Weyl Modules and Symmetric Functions

abstract: The Weyl modules in the sense of V.Chari and A.Pressley [CP] over the current Lie algebra on an affine variety are studied. We show that local Weyl modules are finite-dimensional and generalize the tensor product decomposition theorem from [CP]. More explicit results are stated for currents on a non-singular affine variety of dimension $d$ with coefficients in the Lie algebra $sl_r$. The Weyl modules with highest weights proportional to the vector representation one are related to the multi-dimensional analogs of harmonic functions. The dimensions of such local Weyl modules are calculated in the following cases. For $d=1$ we show that the dimensions are equal to powers of $r$. For $d=2$ we show that the dimensions are given by products of the higher Catalan numbers (the usual Catalan numbers for $r=2$). We finally formulate a conjecture for an arbitrary $d$ and $r=2$.


title: Integrally closed ideals in two-dimensional regular local rings are multiplier ideals

abstract: There has arisen in recent years a substantial theory of "multiplier ideals'' in commutative rings. These are integrally closed ideals with properties that lend themselves to highly interesting applications. But how special are they among integrally closed ideals in general? We show that in a two-dimensional regular local ring with algebraically closed residue field, there is in fact no difference between "multiplier" and "integrally closed" (or "complete.") However, among multiplier ideals arising from an integer multiplying constant (also known as adjoint ideals) the only simple complete ones primary for the maximal ideal are those of order one.


title: Products in Hochschild cohomology and Grothendieck rings of group crossed products

abstract: We give a general construction of rings graded by the conjugacy classes of a finite group. Some examples of our construction are the Hochschild cohomology ring of a finite group algebra, the Grothendieck ring of the Drinfel'd double of a group, and the orbifold cohomology ring for a global quotient. We generalize the first two examples by deriving product formulas for the Hochschild cohomology ring of a group crossed product and for the Grothendieck ring of an abelian extension of Hopf algebras. Our results account for similarities in the product structures among these examples.


title: Many Triangulated 3-Spheres

abstract: We construct 2^{\Omega(n^{5/4})} combinatorial types of triangulated 3-spheres on n vertices. Since by a result of Goodman and Pollack (1986) there are no more than 2^{O(n log n)} combinatorial types of simplicial 4-polytopes, this proves that asymptotically, there are far more combinatorial types of triangulated 3-spheres than of simplicial 4-polytopes on n vertices. This complements results of Kalai (1988), who had proved a similar statement about d-spheres and (d+1)-polytopes for fixed d >= 4.


title: Perturbation of domains and automorphism groups

abstract: The paper is devoted to the description of changes of the structure of the holomorphic automorphism group of a bounded domain in ${\Bbb C}^n$ under small perturbation of this domain in the Hausdorff metric. We consider a number of examples when an arbitrary small perturbation can lead to a domain with a larger group, present theorems concerning upper semicontinuity property of some invariants of automorphism groups. We also prove that the dimension of an abelian subgroup of the automorphism group of a bounded domain in ${\Bbb C}^n$ does not exceed $n$.


title: Bounds for covariances and variances of truncated random variables

abstract: We show that a lower bound for covariance of $\min(X_1,X_2)$ and $\max(X_1,X_2)$ is $\cov{X_1}{X_2}$ and an upper bound for variance of \\ $\min(X_2,\max(X,X_1))$ is $\var{X} + \var{X_1} +\var{X_2}$ generalizing previous results. We also characterize the cases where these bounds are sharp.


title: Asymptotic Normality of Nonparametric Kernel Type Deconvolution Density Estimators: crossing the Cauchy boundary

abstract: We derive asymptotic normality of kernel type deconvolution density estimators. In particular we consider deconvolution problems where the known component of the convolution has a symmetric lambda-stable distribution, 0<lambda<= 2. It turns out that the limit behavior changes if the exponent parameter lambda passes the value one, the case of Cauchy deconvolution.


title: SLE and triangles

abstract: By analogy with Carleson's observation on Cardy's formula describing crossing probabilities for the scaling limit of critical percolation, we exhibit ``privileged geometries'' for Stochastic Loewner Evolutions with various parameters, for which certain hitting distributions are uniformly distributed. Consequences for limiting probabilities of events concerning various critical plane discrete models are then examined.


title: Topological diagonalizations and Hausdorff dimension

abstract: The Hausdorff dimension of a product XxY can be strictly greater than that of Y, even when the Hausdorff dimension of X is zero. But when X is countable, the Hausdorff dimensions of Y and XxY are the same. Diagonalizations of covers define a natural hierarchy of properties which are weaker than ``being countable'' and stronger than ``having Hausdorff dimension zero''. Fremlin asked whether it is enough for X to have the strongest property in this hierarchy (namely, being a gamma-set) in order to assure that the Hausdorff dimensions of Y and XxY are the same. We give a negative answer: Assuming CH, there exists a gamma-set of reals X and a set of reals Y with Hausdorff dimension zero, such that the Hausdorff dimension of X+Y (a Lipschitz image of XxY) is maximal, that is, 1. However, we show that for the notion of a_strong_ gamma-set the answer is positive. Some related problems remain open.


title: Coxeter Decompositions of Hyperbolic Tetrahedra

abstract: We classify Coxeter decompositions of hyperbolic tetrahedra, i.e. simplices in the hyperbolic space H^3. The paper completes the classification of Coxeter decompositions of hyperbolic simplices.


title: On the Classification of Rational Knots

abstract: This paper gives new and elementary combinatorial topological proofs of the classification of unoriented and oriented rational knots and links. These proofs are based on the known classification of alternating knots through flyping, and the calculus of continued fractions. We characterize the class of strongly invertible rational links. Rational links are of fundamental importance in the study of DNA recombination.


title: Volume of representation varieties

abstract: We introduce the notion of volume of the representation variety of a finitely presented discrete group in a compact Lie group using the push-forward measure associated to a map defined by a presentation of the discrete group. We show that the volume thus defined is invariant under the Andrews-Curtis moves of the generators and relators of the discrete group, and moreover, that it is actually independent of the choice of presentation if the difference of the number of generators and the number of relators remains the same. We then calculate the volume of the representation variety of a surface group in an arbitrary compact Lie group using the classical technique of Frobenius and Schur on finite groups. Our formulas recover the results of Witten and Liu on the symplectic volume and the Reidemeister torsion of the moduli space of flat G-connections on a surface up to a constant factor when the Lie group G is semisimple.


title: Fractal entropies and dimensions for microstate spaces

abstract: Using Voiculescu's notion of a matricial microstate we introduce fractal dimensions and entropies for finite sets of selfadjoint operators in a tracial von Neumann algebra. We show that they possess properties similar to their classical predecessors. We relate the new quantities to free entropy and free entropy dimension and show that a modified version of free Hausdorff dimension is an algebraic invariant. We compute the free Hausdorff dimension in the cases where the set generates a finite dimensional algebra or where the set consists of a single selfadjoint. We show that the free Hausdorff dimension becomes additive for such sets in the presence of freeness.


title: Strong asymptotics of the recurrence coefficients of orthogonal polynomials associated to the generalized Jacobi weight

abstract: We study asymptotics of the recurrence coefficients of orthogonal polynomials associated to the generalized Jacobi weight, which is a weight function with a finite number of algebraic singularities on $[-1,1]$. The recurrence coefficients can be written in terms of the solution of the corresponding Riemann-Hilbert problem for orthogonal polynomials. Using the steepest descent method of Deift and Zhou, we analyze the Riemann-Hilbert problem, and obtain complete asymptotic expansions of the recurrence coefficients. We will determine explicitly the order $1/n$ terms in the expansions. A critical step in the analysis of the Riemann-Hilbert problem will be the local analysis around the algebraic singularities, for which we use Bessel functions of appropriate order.


title: Semi-Continuity for Derived Categories

abstract: We prove that the number of parameters defining a complex of projective modules over a finite dimensional algebra is upper semi-continuous in families of algebras. Supposing that every algebra is either derived tame or derived wild, we get that a degeneration of a derived wild algebra is derived wild too. We also explain why the so-called counter-example of Bruestle is in fact not a counter-example.


title: Certain locally nilpotent varieties of groups

abstract: Let $c\geq 0$, $d\geq 2$ be integers and $\mathcal{N}_c^{(d)}$ be the variety of groups in which every $d$-generator subgroup is nilpotent of class at most $c$. N.D. Gupta posed this question that for what values of $c$ and $d$ it is true that $\mathcal{N}_c^{(d)}$ is locally nilpotent? We prove that if $c\leq 2^d+2^{d-1}-3$ then the variety $\mathcal{N}_c^{(d)}$ is locally nilpotent and we reduce the question of Gupta about the periodic groups in $\mathcal{N}_c^{(d)}$ to the prime power finite exponent groups in this variety.


title: A combinatorial problem in infinite groups

abstract: Let $w$ be a word in the free group of rank $n \in \mathbb{N}$ and let $\mathcal{V}(w)$ be the variety of groups defined by the law $w=1$. Define $\mathcal{V}(w^*)$ to be the class of all groups $G$ in which for any infinite subsets $X_1, ..., X_n$ there exist $x_i \in X_i$, $1\leq i\leq n$, such that $w(x_1, ..., x_n)=1$. Clearly, $\mathcal{V}(w) \cup \mathcal{F} \subseteq \mathcal{V}(w^*)$; $\mathcal{F}$ being the class of finite groups. In this paper, we investigate some words $w$ and some certain classes $\mathcal{P}$ of groups for which the equality $(\mathcal{V}(w) \cup \mathcal{F})\cap \mathcal{P}= \mathcal{P} \cap \mathcal{V}(w^*)$ holds.


title: Euclidean simplices and invariants of three-manifolds: a modification of the invariant for lens spaces

abstract: We propose a modification of the three-manifold invariant based on the use of Euclidean metric values ascribed to the elements of manifold triangulation. We thus obtain a nontrivial invariant that can, in particular, distinguish non-homeomorphic lens spaces.


title: Randomness as an Equilibrium. Potential and Probability Density

abstract: Randomness is viewed through an analogy between a physical quantity, density of gas, and a mathematical construct -- probability density. Boltzmann's deduction of equilibrium distribution of ideal gas placed in an external potential field than provides a way of viewing probability density from a perspective of forces/potentials, hidden behind it.


title: Asymptotic flux across hypersurfaces for diffusion processes

abstract: We suggest a rigorous definition of the pathwise flux across the boundary of a bounded open set for transient finite energy diffusion processes. The expectation of such a flux has the property of depending only on the current velocity $v$, the nonsymmetric (as regards time reversibility) part of the drift. In the case the diffusion has a limiting velocity we then define the asymptotic (as $R\uparrow\infty$) flux across subsets of the sphere of radius $R$ and compute its expectation, again in terms of $v$.


title: On a Hopf operad containing the Poisson operad

abstract: A new Hopf operad Ram is introduced, which contains both the well-known Poisson operad and the Bessel operad introduced previously by the author. Besides, a structure of cooperad R is introduced on a collection of algebras given by generators and relations which have some similarity with the Arnold relations for the cohomology of the type A hyperplane arrangement. A map from the operad Ram to the dual operad of R is defined which we conjecture to be a isomorphism.


title: A partition theorem for scattered order types

abstract: If phi is a scattered order type, mu a cardinal, then there exists a scattered order type psi such that psi->[phi]^1_{mu,aleph_0} holds.


title: Characterization of the Hilbert ball by its Automorphisms

abstract: We show in this paper that every domain in a separable Hilbert space, say $\cH$, which has a $C^2$ smooth strongly pseudoconvex boundary point at which an automorphism orbit accumulates is biholomorphic to the unit ball of $\cH$. This is the complete generalization of the Wong-Rosay theorem to a separable Hilbert space of infinite dimension. Our work here is an improvement from the preceding work of Kim/Krantz [KIK] and subsequent improvement of Byun/Gaussier/Kim [BGK] in the infinite dimensions.


title: Symplectic Resolutions for Coverings of Nilpotent Orbits

abstract: Let $\0$ be a nilpotent orbit in a semisimple complex Lie algebra $\g$. Denote by $G$ the simply connected Lie group with Lie algebra $\g$. For a $G$-homogeneous covering $M \to \0$, let $X$ be the normalization of $\bar{\0}$ in the function field of $M$. In this note, we study the existence of symplectic resolutions for such coverings $X$.


title: Rationalite des series de Poincare et des fonctions Zeta motiviques

abstract: If k is a field of characteristic 0, we prove that the motivic Poincare serie and the motivic Zeta functions associated to a k[[t]]-variety, flat and purely dimensional, are rational.


title: Analytic Colorings

abstract: We investigate the existence of perfect homogeneous sets for analytic colorings. An analytic coloring of X is an analytic subset of [X]^N, where N>1 is a natural number. We define an absolute rank function on trees representing analytic colorings, which gives an upper bound for possible cardinalities of homogeneous sets and which decides whether there exists a perfect homogeneous set. We construct universal sigma-compact colorings of any prescribed rank gamma<omega_1. These colorings consistently contain homogeneous sets of cardinality aleph_gamma but they do not contain perfect homogeneous sets. As an application, we discuss the so-called defectedness coloring of subsets of Polish linear spaces.


title: Generic left-separated spaces and calibers

abstract: We use a natural forcing to construct a left-separated topology on an arbitrary cardinal kappa. The resulting left-separated space X_kappa is also 0-dimensional T_2, hereditarily Lindelof, and countably tight. Moreover if kappa is regular then d(X_kappa)= kappa, hence kappa is not a caliber of X_kappa, while all other uncountable regular cardinals are. We also prove it consistent that for every countable set A of uncountable regular cardinals there is a hereditarily Lindelof T_3 space X such that rho=cf(rho)>omega is a caliber of X exactly if rho not in A.


title: Error-rate and decision-theoretic methods of multiple testing: Which genes have high objective probabilities of differential expression?

abstract: Given a multiple testing situation, the null hypotheses that appear to have sufficiently low probabilities of truth may be rejected using a simple, nonparametric method of decision theory. This applies not only to posterior levels of belief, but also to conditional probabilities in the sense of relative frequencies, as seen from their equality to local false discovery rates (dFDRs). This approach neither requires the estimation of probability densities, nor of their ratios. Decision theory can inform the selection of false discovery rate weights. Decision theory is applied to gene expression microarrays with discussion of the applicability of the assumption of weak dependence.


title: Generalized Lame operators

abstract: We introduce a class of multidimensional Schr\"odinger operators with elliptic potential which generalize the classical Lam\'e operator to higher dimensions. One natural example is the Calogero--Moser operator, others are related to the root systems and their deformations. We conjecture that these operators are algebraically integrable, which is a proper generalization of the finite-gap property of the Lam\'e operator. Using earlier results of Braverman, Etingof and Gaitsgory, we prove this under additional assumption of the usual, Liouville integrability. In particular, this proves the Chalykh--Veselov conjecture for the elliptic Calogero--Moser problem for all root systems. We also establish algebraic integrability in all known two-dimensional cases. A general procedure for calculating the Bloch eigenfunctions is explained. It is worked out in detail for two specific examples: one is related to B_2 case, another one is a certain deformation of the A_2 case. In these two cases we also obtain similar results for the discrete versions of these problems, related to the difference operators of Macdonald--Ruijsenaars type.


title: L-Infinity Structures on Spaces with 3 One-Dimensional Components

abstract: L-Infinity structures have been a subject of recent interest in physics, where they occur in closed string theory and in gauge theory. This paper provides a class of easily constructible examples of $L_n$ and $L_{\infty}$ structures on graded vector spaces with three one-dimensional components. In particular, it demonstrates a way to classify ALL possible $L_n$ and $L_{\infty}$ structures on $V = V_m \oplus V_{m+1} \oplus V_{m+2}$ when each of the three components is one-dimensional. Included are necessary and sufficient conditions under which a space with an $L_3$ structure is a differential graded Lie algebra. It is also shown that some of these d.g. Lie algebras possess a nontrivial $L_n$ structure for higher n.


title: A fully nonlinear version of the Yamabe problem and a Harnack type inequality

abstract: We present some results on a fully nonlinear version of the Yamabe problem and a Harnack type inequality for general conformally invariant fully nonlinear second order elliptic equations.


title: Asymptotic properties of groups acting on complexes

abstract: We examine asymptotic dimension and property A for groups acting on complexes. In particular, we prove that the fundamental group of a finite, developable complex of groups will have finite asymptotic dimension provided the geometric realization of the development has finite asymptotic dimension and the vertex groups are finitely generated and have finite asymptotic dimension. We also prove that property A is preserved by this construction provided the geometric realization of the development has finite asymptotic dimension and the vertex groups all have property A. These results naturally extend the corresponding results on preservation of these large-scale properties for fundamental groups of graphs of groups. We also use an example to show that the requirement that the development have finite asymptotic dimension cannot be relaxed.


title: Castelnuovo-Mumford Regularity in Biprojective Spaces

abstract: We define the concept of regularity for bigraded modules and bigraded polynomial ring. In this setting we prove analogs of some of the classical results on $m$-regularity for graded modules over polynomial algebras.


title: Quantum normal families: normal families of holomorphic functions and mappings on a Banach space

abstract: The authors lay the foundations for the study of normal families of holomorphic functions and mappings on an infinite-dimensional normed linear space. Characterizations of normal families, in terms of value distribution, spherical derivatives, and other geometric properties are derived. Montel-type theorems are established. A number of different topologies on spaces of holomorphic mappings are considered. Theorems about normal families are formulated and proved in the language of these various topologies. Normal functions are also introduced. Characterizations in terms of automorphisms and also in terms of invariant derivatives are presented.


title: Numerical Computation of \prod_{n=1}^\infty (1 - tx^n)

abstract: I present and analyze a quadratically convergent algorithm for computing the infinite product \prod_{n=1}^\infty (1 - tx^n) for arbitrary complex t and x satisfying |x| < 1, based on the identity \prod_{n=1}^\infty (1 - tx^n) = \sum_{m=0}^\infty {(-t)^m x^{m(m+1)/2} \over (1-x)(1-x^2) ... (1-x^m)} due to Euler. The efficiency of the algorithm deteriorates as |x| \uparrow 1, but much more slowly than in previous algorithms. The key lemma is a two-sided bound on the Dedekind eta function at pure imaginary argument, \eta(iy), that is sharp at the two endpoints y=0,\infty and is accurate to within 9.1% over the entire interval 0 < y < \infty.


title: On the category O for rational Cherednik algebras

abstract: We study the category O of representations of the rational Cherednik algebra A attached to a complex reflection group W. We construct an exact functor, called Knizhnik-Zamolodchikov functor, from O to the category of H-modules, where H is the (finite) Iwahori-Hecke algebra associated to W. We prove that the Knizhnik-Zamolodchikov functor induces an equivalence between O/O_tor, the quotient of O by the subcategory of A-modules supported on the discriminant and the category of finite-dimensional H-modules. The standard A-modules go, under this equivalence, to certain modules arising in Kazhdan-Lusztig theory of ``cells'', provided W is a Weyl group and the Hecke algebra H has equal parameters. We prove that the category O is equivalent to the module category over a finite dimensional algebra, a generalized "q-Schur algebra" associated to W.


title: Improvement Taykov's lower bound in an inequation between C and L norms for trigonometric polynomials

abstract: We give new lower asymptotical estimate of constant \[ C_n=\sup\biggl\{\frac{\|t_n\|_{C(\mathbb T)}}{\|t_n\|_{L(\mathbb T)}}:t_n\text{are real trigonometric polynomials}, \operatorname{deg}t_n<n\biggr\} \] as $n\to\infty$. This estimate improves known bound of L.V.Taykov (1965).


title: A Goppa-like bound on the trellis state complexity of algebraic geometric codes

abstract: For a linear code $\cC$ of length $n$ and dimension $k$, Wolf noticed that the trellis state complexity $s(\cC)$ of $\cC$ is upper bounded by $w(\cC):=\min(k,n-k)$. In this paper we point out some new lower bounds for $s(\cC)$. In particular, if $\cC$ is an Algebraic Geometric code, then $s(\cC)\geq w(\cC)-(g-a)$, where $g$ is the genus of the underlying curve and $a$ is the abundance of the code.


title: Unramified cohomology of degree 3 and Noether's problem

abstract: Let $G$ be a finite group and $W$ be a faithful representation of $G$ over {\bf C}. The group $G$ acts on the field of rational functions $\mathbf C(W)$. The aim of this paper is to give a description of the unramified cohomology group of degree 3 of the field of invariant functions $\mathbf C(W)^G$ in terms of the cohomology of $G$ when $G$ is a group of odd order. This enables us to give an example of a group for which this field is not rational, although its unramified Brauer group is trivial.


title: On polynomials orthogonal to all powers of a Chebyshev polynomial on a segment

abstract: In this paper we describe polynomials orthogonal to all powers of a Chebyshev polynomial on a segment.


title: Duality and the pcf theory

abstract: We consider natural cardinal invariants hm_n and prove several duality theorems, saying roughly: if I is a suitably definable ideal and provably cov(I)>=hm_n, then non(I) is provably small. The proofs integrate the determinacy theory, forcing and pcf theory.


title: Games with creatures

abstract: Many forcing notions obtained using the creature technology are naturally connected with certain integer games.


title: On maximal tori in the contactomorphism groups of regular contact manifolds

abstract: By a theorem of Banyaga the group of diffeomorphisms of a manifold $P$ preserving a regular contact form $\alpha$ is a central $S^1$ extension of the commutator of the group of symplectomorphisms of the base $B = P/S^1$. We show that if $T$ is a Hamiltonian maximal torus in the group of symplectomorphism of $B$, then its preimage under the extension map is a maximal torus not only in the group $\Diff(P, \alpha)$ of diffeomorphisms of $P$ preserving $\alpha$ but also in the much bigger group of contactomorphisms $\Diff (P, \xi)$, the group of diffeomorphism of $P$ preserving the contact distribution $\xi = \ker \alpha$. We use this (and the work of Hausmann, and Tolman on polygon spaces) to give examples of contact manifolds $(P, \xi = \ker \alpha)$ with maximal tori of different dimensions in their group of contactomorphisms.


title: Toric ideals, real toric varieties, and the algebraic moment map

abstract: This is a tutorial on some aspects of toric varieties related to their potential use in geometric modeling. We discuss projective toric varieties and their ideals, as well as real toric varieties and the algebraic moment map. In particular, we explain the relation between linear precision and the algebraic moment map. This builds on the introduction to toric varieties by David Cox: What is a Toric Variety? at http://www.cs.amherst.edu/~dac/lectures/tutorial.ps


title: A cohomology attached to a function

abstract: In this paper, we study a certain cohomology attached to a smooth function, which arose naturally in Poisson geometry. We explain how this cohomology depends on the function, and we prove that it satisfies both the excision and the Mayer-Vietoris axioms. For a regular function we show that the cohomology is related to the de Rham cohomology. Finally, we use it to give a new proof of a well-known result of A. Dimca in complex analytic geometry.


title: P^f is not equal to NP^f for almost all f

abstract: We discuss the question of Ralf-Dieter Schindler whether for infinite time Turing machines P^f = NP^f can be true for any function f from the reals into omega_1. We show that ``almost everywhere'' the answer is negative.


title: Infinite Time Turing Machines: Supertask Computation

abstract: Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and limitations of supertask algorithms.


title: The c-function for non-compactly causal symmetric spaces and its relations to harmonic analysis and representation theory

abstract: We give an overview on the c-function of a non-compactly causal symmetric space G/H and explain its interplay with harmonic analysis and representation theory.


title: Supertask Computation

abstract: Infinite time Turing machines extend the classical Turing machine concept to transfinite ordinal time, thereby providing a natural model of infinitary computability that sheds light on the power and limitations of supertask algorithms.


title: Extensions of abelian varieties defined over a number field

abstract: We study the arithmetic aspects of the finite group of extensions of abelian varieties defined over a number field. In particular, we establish relations with special values of L-functions and congruences between modular forms.


title: Determinantal Varieties Over Truncated Polynomial Rings

abstract: We study higher order determinantal varieties obtained by considering generic $m\times n$ ($m \le n$) matrices over rings of the form $F[t]/(t^k)$, and for some fixed $r$, setting the coefficients of powers of $t$ of all $r \times r$ minors to zero. These varieties can be interpreted as generalized tangent bundles over the classical determinantal varieties; a special case of these varieties first appeared in a problem in commuting matrices. We show that when $r = m$, the varieties are irreducible, but when $r < m$, these varieties have at least $\lfloor {k/2}\rfloor + 1$ components. In fact, when $r=2$ (for any $k$), or when $k=2$ (for any $r$), there are exactly $\lfloor {k/2}\rfloor + 1$ components. We give formulas for the dimensions of these components in terms of $k$, $m$, and $n$. In the case of square matrices with $r=m$, we show that the ideals of our varieties are prime and that the coordinate rings are complete intersection rings, and we compute the degree of our varieties via the combinatorics of a suitable simplicial complex.


title: Jacobi structures on affine bundles

abstract: We study affine Jacobi structures on an affine bundle $\pi:A\to M$, i.e. Jacobi brackets that close on affine functions. We prove that there is a one-to-one correspondence between affine Jacobi structures on $A$ and Lie algebroid structures on the vector bundle $A^+=\bigcup_{p\in M}Aff(A_p,\R)$ of affine functionals. Some examples and applications, also for the linear case, are discussed. For a special type of affine Jacobi structures which are canonically exhibited (strongly-affine or affine-homogeneous Jacobi structures) over a real vector space of finite dimension, we describe the leaves of its characteristic foliation as the orbits of an affine representation. These affine Jacobi structures can be viewed as an analog of the Kostant-Arnold-Liouville linear Poisson structure on the dual space of a real finite-dimensional Lie algebra.


title: Cohomology of toric bundles

abstract: We describe the singular cohomology ring, the K-ring of complex vector bundles, the Chow ring, and the Grothendieck ring of coherent sheaves of the total space of the fibre bundle with base space an irreducible nonsingular complete Noetherian scheme and fibre a nonsingular projective T-toric variety associated to a prinicipal T-bundle over the field of complex numbers.


title: Sur la realisation des modules instables

abstract: In this article, we give some conditions on the structure of an unstable module, which are satisfied whenever this module is the reduced cohomology of a space or a spectrum. First, we study the structure of the sub-modules of Sigma^sH^*(B(Z/2)^{oplus d};Z/2), i.e., the unstable modules whose nilpotent filtration has length 1. Next, we generalise this result to unstable modules whose nilpotent filtration has a finite length, and which verify an additional condition. The result says that under certain hypotheses, the reduced cohomology of a space or a spectrum does not have arbitrary large gaps in its structure. This result is obtained by applying Adams' theorem on the Hopf invariant and the classification of the injective unstable modules. This work was carried out under the direction of L. Schwartz. Resume Dans cet article, on donne des restrictions sur la structure d'un module instable, qui doivent etre verifiees pour que celui-ci soit la cohomologie reduite d'un espace ou d'un spectre. On commence par une etude sur la structure des sous-modules de Sigma^sH^*(B(Z/2)^{oplus d};Z/2), i.e., les modules instables dont la filtration nilpotente est de longueur 1. Ensuite, on generalise le resultat aux modules instables dont la filtration nilpotente est de longueur finie, et qui verifient une condition supplementaire. Le resultat dit que sous certaines hypotheses, la cohomologie reduite d'un espace ou d'un spectre ne contient pas de lacunes de longueur arbitrairement grande. Ce resultat est obtenu par application du celebre theoreme d'Adams sur l'invariant de Hopf et de la classification des modules instables injectifs. Ce travail est effectue sous la direction de L. Schwartz.


title: Geometric aspects of the Maximum Principle and lifts over a bundle map

abstract: A coordinate-free proof of the Maximum Principle is provided in the specific case of an optimal control problem with fixed time. Our treatment heavily relies on a special notion of variation of curves that consist of a concatenation of integral curves of time-dependent vector fields with unit time component, and on the use of a concept of lift over a bundle map. We further derive necessary and sufficient conditions for the existence of so-called abnormal and strictly abnormal extremals.


title: Associativity of crossed products by partial actions, enveloping actions and partial representations

abstract: Given a partial action \alpha of a group G on an associative algebra A we consider the crossed product A x_\alpha G. Using the algebras of multipliers of ideals of A we prove that A x_\alpha G is associative, provided that all ideals of A are idempotent. This generalizes a previous result on the associativity of A x_\alpha G in the context of C*-algebras. We also give a criteria for the existence of a global extension of a given partial action on an algebra and use crossed products to study relations between partial actions of groups on algebras and partial representations. As an application we endow partial group algebras with crossed product structure.


title: Filtrations on the Chow groups and transcendence degree

abstract: For a smooth complex projective variety X defined over a number field, we have filtrations on the Chow groups depending of the choice of realizations. If the realization consists of mixed Hodge structure without any additional structure, we can show that the obtained filtration coincides with the filtration of Green and Griffiths, assuming the Hodge conjecture. In the case the realizations contain Hodge structure and etale cohomology, we prove that if the second graded piece of the filtration does not vanish, it contains a nonzero element which is represented by a cycle defined over a field of transcendence degree one. This may be viewed as a refinement of results of Nori, Schoen, and Green-Griffiths-Paranjape. For higher graded pieces we have a similar assertion assuming a conjecture of Beilinson and Grothendieck's generalized Hodge conjecture.


title: The spinor bundle of Riemannian products

abstract: In this note we compare the spinor bundle of a Riemannian manifold $(M=M_1\times...\times M_N,g)$ with the spinor bundles of the Riemannian factors $(M_i,g_i)$. We show, that - without any holonomy conditions - the spinor bundle of $(M,g)$ for a special class of metrics is isomorphic to a bundle obtained by tensoring the spinor bundles of $(M_i,g_i)$ in an appropriate way.


title: On the subset of normality equations describing generalized Legendre transformation

abstract: Normality equations describe Newtonian dynamical systems admitting normal shift of hypersurfaces. They were first derived in Euclidean geometry, then in Riemannian geometry. Recently they were rederived in more general case, when geometry of manifold is given by generalized Legendre transformation. As appears, in this case some part of normality equations describe generalized Legendre transformation itself irrespective to that Newtonian dynamical system, for which others are written. In present paper this smaller part of normality equations is studied.


title: Estimates of functions with vanishing periodizations

abstract: We prove that if a function $f \in L^p({\Bbb {R}} ^d)$ has vanishing periodizations then $\|f\|_{p'} \lesssim \|f\|_{p}$, provided $1 \le p < \frac {2d}{d + 2}$ and dimension $d \ge 3$.


title: Ordinary Calabi-Yau-3 Crystals

abstract: We show that crystals with the properties of crystalline cohomology of ordinary Calabi-Yau threefolds in characteristic p>0, exhibit a remarkable similarity with the well known structure on the cohomology of complex Calabi-Yau threefolds near a boundary point of the moduli space with maximal unipotent local monodromy. In particular, there are canonical coordinates and an analogue of the prepotential of the Yukawa coupling. Moreover we show p-adic analogues of the integrality properties for the canonical coordinates and the prepotential of the Yukawa coupling, which have been observed in the examples of Mirror Symmetry.


title: Kaehler cuts

abstract: A symplectic cut of a manifold M with a Hamiltonian circle action is a symplectic quotient of M x C. If M is Kaehler then, since C is Kaehler, the cut space is Kaehler as well. The symplectic structure on the cut is well understood. In this paper we describe the complex structure (and hence the metric) on the cut. We then generalize the construction to the case where M has a torus action and C is replaced by a toric Kaehler manifold.


title: Almost free groups and Ehrenfeucht-Fra\"\i ss\'e games for successors of singular cardinals

abstract: We strengthen non-structure theorems for almost free Abelian groups by studying long Ehrenfeucht-Fraisse games between a fixed group of cardinality lambda and a free Abelian group. A group is called epsilon-game-free if the isomorphism player has a winning strategy in the game (of the described form) of length epsilon in lambda. We prove for a large set of successor cardinals lambda=mu^+ existence of nonfree (mu*omega_1)-game-free groups of cardinality lambda. We concentrate on successors of singular cardinals.


title: Finite subgraphs of uncountably chromatic graphs

abstract: It is consistent that for every monotonically increasing function f:omega->omega there is a graph with size and chromatic number aleph_1 in which every n-chromatic subgraph has at least f(n) elements (n >= 3). This solves a $250 problem of Erdos. It is also consistent that there is a graph X with Chr(X)=|X|= aleph_1 such that if Y is a graph all whose finite subgraphs occur in X then Chr(Y)<=aleph_2 (so the Taylor conjecture may fail).


title: Group Objects and Internal Categories

abstract: Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups, while internal categories in Grp are equivalent both to group objects in Cat and to crossed modules of groups. In this exposition we give an elementary introduction to some of the key concepts in this area.


title: Some cases of the Mumford--Tate conjecture and Shimura varieties

abstract: We prove the Mumford--Tate conjecture for those abelian varieties over number fields whose extensions to C have attached adjoint Shimura varieties that are products of simple, adjoint Shimura varieties of certain Shimura types. In particular, we prove the conjecture for the orthogonal case (i.e., for the $B_n$ and $D_n^R$ Shimura types). As a main tool, we construct embeddings of Shimura varieties (whose adjoints are) of prescribed abelian type into unitary Shimura varieties of PEL type. These constructions implicitly classify the adjoints of Shimura varieties of PEL type.


title: The Ordinary Limit for Varieties over Z[x_1,...,x_r]

abstract: We investigate for families of smooth projective varieties over a localized polynomial ring Z[x_1,...,x_r][D^{-1}] the conjugate filtration on De Rham cohomology tensored with Z/NZ. As N tends to infinity this leads to the concept of the ordinary limit, which seems to be the non-archimedean analogue of the large complex structure limit


title: Gaussian Upper Bounds on Heat Kernels of Uniformly Elliptic Operators on Bounded Domains

abstract: We obtain Gaussian upper bounds for heat kernels of higher order differential operators with Dirichlet boundary conditions on bounded domains in $\R^N$. The bounds exhibit explicitly the nature of the spatial decay of the heat kernel close to the boundary as well as the long-time exponential decay implied by the spectral gap. We make no smoothness assumptions on our operator coefficients which we assume only to be bounded and measurable Keywords : Heat Kernel, Parabolic, Uniformly Elliptic, Gaussian.


title: Pointwise Lower Bounds on the Heat Kernels of Higher Order Schr\"odinger Operators

abstract: We apply Davies' method for obtaining pointwise lower bounds on the heat kernels of higher-order differential operators to obtain pointwise lower bounds in the presence of a polynomialy bounded potential.


title: The strong perfect graph theorem

abstract: A graph G is perfect if for every induced subgraph H, the chromatic number of H equals the size of the largest complete subgraph of H, and G is Berge if no induced subgraph of G is an odd cycle of length at least 5 or the complement of one. The "strong perfect graph conjecture" (Berge, 1961) asserts that a graph is perfect if and only if it is Berge. A stronger conjecture was made recently by Conforti, Cornuejols and Vuskovic -- that every Berge graph either falls into one of a few basic classes, or it has a kind of separation that cannot occur in a minimal imperfect graph. In this paper we prove both these conjectures.


title: Arithmetic compactifications of the Hilbert modular varieties and Hilbert modular forms for $\Gamma_1(c,n)$

abstract: We construct local charts for the ramified cusps of the Hilbert modular variety of level $\Gamma_1(\mathfrak{c},\mathfrak{n})$. This allows us, following closely M. Rapoport and C.-L. Chai, to construct arithmetic toroidal and minimal compactifications of these modular varieties. Some applications to modular forms are given. See our joint work with J. Tilouine for other applications.


title: Arithmetic Hilbert modular varieties and forms for $\Gamma_1(c,n)$

abstract: We recall first the analytic theory of the Hilbert modular varieties of level $\Gamma_1(\mathfrak{c},\mathfrak{n})$ and their compactifications. We construct arithmetic toroidal compactifications of the universal Hilbert-Blumenthal abelian variety (and of its fiber products), over the compactifications of the Hilbert modular variety constructed by the first author. We give several applications related to Hodge theory, Hilbert-Jacobi modular forms and Hilbert modular forms of half-integer weight.


title: Heitmann's proof of the direct summand conjecture in dimension 3

abstract: We discuss Ray Heitmann's recent proof of the Direct Summand Conjecture in dimension 3 in mixed characteristic. This paper contains a discussion of his methods, a proof of the theorem, and a direct proof of the Canonical Element Conjecture in dimension 3 using his result.


title: The p-chain spectral sequence

abstract: We introduce a new spectral sequence called the p-chain spectral sequence which converges to the (co-)homology of a contravariant C-space with coefficients in a covariant C-spectrum for a small category C. It is different from the corresponding Atiyah-Hirzebruch type spectral sequence. It can be used in combination with the Isomorphism Conjectures of Baum-Connes and Farrell-Jones to compute algebraic K- and L-groups of group rings and topological K-groups of reduced group C*-algebras.


title: On a problem by Arens, Goldberg, and Luxemburg

abstract: We construct a normed algebra ${\calA}$ with norm $N(\cdot)$ over the reals, which is {\em quadrative} in the sense that $N(A^2) \le N(A)^2$ for all $A \in {\cal A}$, but is not 3-{\em bounded} in the sense that $N(A^3) \le N(A)^3$. This answers a question of Arens, Goldberg, and Luxemburg.


title: Two non-regular extensions of the large deviation bound

abstract: We formulate two types of extension of the large deviation theory initiated by Bahadur in a non-regular setting. One can be regarded as a bound of the point estimation, the other can be regarded as the limit of a bound of the interval estimation. Both coincide in the regular case, but do not necessarily coincide in a non-regular case. Using the limits of relative Renyi entropies, we derive their upper bounds and give a necessary and sufficient condition for the coincidence of the two upper bounds. We also show the attainability of these two bounds in several non-regular location shift families.


title: Limiting behavior of relative R\'enyi entropy in a non-regular location shift family

abstract: We calculate the limiting behavior of relative Renyi entropy when the first probability distribution is close to the second one in a non-regular location-shift family which is generated by a probability distribution whose support is an interval or a half-line. This limit can be regarded as a generalization of Fisher information, and plays an important role in large deviation theory.


title: Preserving the measure of compatibility between quantum states

abstract: In this paper after defining the abstract concept of compatibility-like functions on quantum states, we prove that every bijective transformation on the set of all states which preserves such a function is implemented by an either unitary or antiunitary operator.


title: A class of preservers on Hilbert space effects including ortho-order automorphisms and sequential automorphisms

abstract: In this paper we study a new class of transformations on the set of all Hilbert space effects. This consists of the bijective maps which preserve the order and zero product in both directions. The main result of the paper gives a complete description of the structure of those transformations. As applications we obtain additional new results and some former ones as easy corollaries. In particular, we obtain the form of the ortho-order automorphisms as well as that of the sequential automorphisms. In the last paragraph of the paper we show that these two kinds of automorphisms belong to our class of transformations even when their domain is the set of all effects in a general von Neumann algebra.


title: Lagrange Geometries on Tangent Manifolds

abstract: Lagrange geometry is the geometry of the tensor field defined by the fiberwise Hessian of a non degenerate Lagrangian function on the total space of a tangent bundle. Finsler geometry is the geometrically most interesting case of Lagrange geometry. In this paper we study a generalization, which consists of replacing the tangent bundle by a general tangent manifold, and the Lagrangian by a family of compatible, local, Lagrangian functions. We give several examples, and find the cohomological obstractions to globalization. Then, we extend the connections used in Finsler and Lagrange geometry, while giving an index free presentation of these connections.


title: Groupes commutatifs d'automorphismes d'une variete Kahlerienne compacte

abstract: Let V be a compact Kahler manifold. Let G' be a commutative subgroup of Aut(V) and U the set of elements of zero entropy of G'. Then U is a group and G' is isomorphic to the direct product of groups U and G where G is a subgroup of G' such that all elements of G, except the identity, are of positive entropy. Moreover, G is a free commutative group with rank(G)<dim(V). The estimate is sharp. When rank(G)=dim(V)-1, U is finite. Rank(G) satisfies other inequalities involving the dimensions of Dolbeault cohomology groups of V.


title: Foliations on complex projective surfaces

abstract: These are lecture notes of a course given in Pisa, SNS, in february 2002. They provide a classification of holomorphic foliations of nongeneral type on compact Kaehler surfaces.


title: Remarks on a Sobolev-Hardy inequality

abstract: We compute the optimal constant for a generalized Hardy-Sobolev inequality, and using the product of two symmetrizations we present an elementary proof of the symmetries of some optimal functions. This inequality was motivated by a nonlinear elliptic equation arising in astrophysics.


title: Koszul homology and extremal properties of Gin and Lex

abstract: In a polynomial ring $R$ with $n$ variables, for every homogeneous ideal $I$ and for every $p\leq n$ we consider the Koszul homology $H_i(p,R/I)$ with respect to a sequence of $p$ of generic linear forms and define the Koszul-Betti number $\beta_{ijp}(R/I)$ of $R/I$ to be the dimension of the degree $j$ part of $H_i(p,R/I)$. In characteristic 0, we show that the Koszul-Betti numbers of any ideal $I$ are bounded above by those of any gin of $I$ and also by those of the Lex-segment of $I$. We also investigate the set $Gins(I)$ of all the gin of $I$ and show that the Koszul-Betti numbers of any ideal in $Gins(I)$ are bounded below by those of the gin-revlex of $I$ and present examples showing that in general there is no $J$ is $Gins(I)$ such that the Koszul-Betti numbers of any ideal in $Gins(I)$ are bounded above by those of $J$.


title: On the global Gross-Prasad conjecture for Yoshida liftings

abstract: We restrict a Siegel modular cusp form of degree 2 and square free level that is a Yoshida lifting (a lifting from the orthogonal group of a definite quaternion algebra) to the embedded product of two half planes and compute the Petersson product against the product of two elliptic cuspidal Hecke eigenforms. The square of this integral can be explicitly expressed in terms of the central critical value of an L-function attached to the situation. The result is related to a conjecture of Gross and Prasad about restrictions of automorphic representations of special orthogonal groups.


title: Some Conformally Flat Spin Manifolds, Dirac Operators and Automorphic Forms

abstract: In this paper we study Clifford and harmonic analysis on some conformal flat spin manifolds. In particular we treat manifolds that can be parametrized by $U / \Gamma$ where $U$ is a simply connected subdomain of either $S^{n}$ or $R^{n}$ and $\Gamma$ is a Kleinian group acting discontinuously on $U$. Examples of such manifolds treated here include for example $RP^{n}$ and $S^{1}\times S^{n-1}$. Special kinds of Clifford-analytic automorphic forms associated to the different choices of $\Gamma$ are used to construct Cauchy kernels, Cauchy Integral formulas, Green's kernels and formulas together with Hardy spaces, Plemelj projection operators and Szeg\"{o} kernels for $L^{p}$ spaces of hypersurfaces lying in these manifolds.


title: Spectral pollution and second order relative spectra for self-adjoint operators

abstract: We consider the phenomenon of spectral pollution arising in calculation of spectra of self-adjoint operators by projection methods. We suggest a strategy of dealing with spectral pollution by using the so-called second order relative spectra. The effectiveness of the method is illustrated by a detailed analysis of two model examples.


title: Automorphisms of hyperbolic groups and graphs of groups

abstract: Using the canonical JSJ splitting, we describe the outer automorphism group $\Out(G)$ of a one-ended word hyperbolic group $G$. In particular, we discuss to what extent $\Out(G)$ is virtually a direct product of mapping class groups and a free abelian group, and we determine for which groups $\Out(G)$ is infinite. We also show that there are only finitely many conjugacy classes of torsion elements in $\Out(G)$, for $G$ any torsion-free hyperbolic group. More generally, let $\Gamma $ be a finite graph of groups decomposition of an arbitrary group $G$ such that edge groups $G_e$ are rigid (i.e\. $\Out(G_e)$ is finite). We describe the group of automorphisms of $G$ preserving $\Gamma $, by comparing it to direct products of suitably defined mapping class groups of vertex groups.


title: A characterization of Dynkin elements

abstract: We give a characterization of the Dynkin elements of a simple Lie algebra. Namely, we prove that one-half of a Dynkin element is the unique point of minimal length in its N-region. In type A_n this translates into a statement about the regions determined by the canonical left Kazhdan-Lusztig cells. Some possible generalizations are explored in the last section.


title: Irreducibility of Equisingular Families of Curves - Improved Conditions

abstract: In math.AG/0108089 we gave sufficient conditions for the irreducibility of the family V of irreducible curves in the linear system |D| with precisely r singular points of topological respectively analytical types S1,...,Sr on several classes of smooth projective surfaces S. The conditions where of the form (tau'(S1)+2)^2 +...+ (tau'(Sr)+2)^2 < c*(D-K)^2, where tau' is some invariant of singularity types, K is the canonical divisor of S and c is some constant. In the present paper we improve this condition, that is the constant c, by a factor 9.


title: Unobstructed modular deformation problems

abstract: Let f be a newform of weight at least 3 with Fourier coefficients in a number field K. We show that the universal deformation ring of the mod lambda Galois representation associated to f is unobstructed, and thus isomorphic to a power series ring in three variables over the Witt vectors, for all but finitely many primes lambda of K. We give an explicit bound on such lambda for the six known cusp forms of level 1, trivial character, and rational Fourier coefficients. We also prove a slightly weaker result for weight 2.


title: Populations of solutions of the XXX Bethe equations associated to Kac-Moody algebras

abstract: We consider the XXX Bethe equation associated with integral dominant weights of a Kac-Moody algebra and introduce a generating procedure constructing new solutions starting from a given one. The family of all solutions constructed from a given one is called a population. We describe properties of populations.


title: Functional Calculus for Semi-Bounded Operators

abstract: We build on the work by Davies, extending the Helffer-Sj\"ostrand Functional Calculus domain for semi-bounded operators on Banach spaces given a priori controlled growth of the resolvents. We employ Seeley's Extension Theorem to extend smooth functions on the half line to the whole line and thus indirectly define functions of these operators.


title: Cusps and $\D$-Modules

abstract: We study interactions between the categories of $\D$-modules on smooth and singular varieties. For a large class of singular varieties $Y$, we use an extension of the Grothendieck--Sato formula to show that $\D_Y$-modules are equivalent to stratifications on $Y$, and as a consequence are unaffected by a class of homeomorphisms, the {\em cuspidal quotients}. In particular, when $Y$ has a smooth bijective normalization $X$, we obtain a Morita equivalence of $\D_Y$ and $\D_X$ and a Kashiwara theorem for $\D_Y$, thereby solving conjectures of Hart-Smith and Berest-Etingof-Ginzburg (generalizing results for complex curves and surfaces and rational Cherednik algebras). We also use this equivalence to enlarge the category of induced $\D$-modules on a smooth variety $X$ by collecting induced $\D_X$-modules on varying cuspidal quotients. The resulting {\em cusp-induced} $\D_X$-modules possess both the good properties of induced $\D$-modules (in particular, a Riemann-Hilbert description) and, when $X$ is a curve, a simple characterization as the generically torsion-free $\D_X$-modules.


title: Algebraic Goodwillie calculus and a cotriple model for the remainder

abstract: We define an ``algebraic'' version of the Goodwillie tower, P_n^alg F(X), that depends only on the behavior of F on coproducts of X. When F is a functor to connected spaces or grouplike H-spaces, the functor P_n^alg F is the base of a fibration whose fiber is the simplicial space associated to a cotriple built from the (n+1) cross effect of the functor F. When the connectivity of X is large enough (for example, when F is the identity functor and X is connected), the algebraic Goodwillie tower agrees with the ordinary (topological) Goodwillie tower, so this theory gives a way of studying the Goodwillie approximation to a functor F in many interesting cases.


title: Wavelets in mathematical physics: q-oscillators

abstract: We construct representations of a q-oscillator algebra by operators on Fock space on positive matrices. They emerge from a multiresolution scaling construction used in wavelet analysis. The representations of the Cuntz Algebra arising from this multiresolution analysis are contained as a special case in the Fock Space construction.


title: Maps between higher Bruhat orders and higher Stasheff-Tamari posets

abstract: We make explict a description in terms of convex geometry of the higher Bruhat orders B(n,d) sketched by Kapranov and Voevodsky. We give an analogous description of the higher Stasheff-Tamari poset S_1(n,d). We show that the map f sketched by Kapranov and Voevodsky from B(n,d) to S([0,n+1],d+1) coincides with the map constructed by Rambau, and is a surjection for d<=2. We construct a map analogous to f from S_1(n,d) to B(n-1,d), and show that it is always a poset embedding. We also give an explicit criterion to determine if an element of B(n-1,d) is in the image of this map.


title: Circles and Quadratic Maps Between Spheres

abstract: Consider an analytic map of a neighborhood of 0 in a vector space to a Euclidean space. Suppose that this map takes all germs of lines passing through 0 to germs of circles. Such a map is called rounding. We introduce a natural equivalence relation on roundings and prove that any rounding, whose differential at 0 has rank at least 2, is equivalent to a fractional quadratic rounding. A fractional quadratic map is just the ratio of a quadratic map and a quadratic polynomial. We also show that any rounding gives rise to a quadratic map between spheres. The known results on quadratic maps between spheres have some interesting implications concerning roundings.


title: How is a Chordal Graph like a Supersolvable Binary Matroid?

abstract: Let G be a finite simple graph. From the pioneering work of R. P. Stanley it is known that the cycle matroid of G is supersolvable iff G is chordal (rigid): this is another way to read Dirac's theorem on chordal graphs. Chordal binary matroids are not in general supersolvable. Nevertheless we prove that, for every supersolvable binary matroid M, a maximal chain of modular flats of M canonically determines a chordal graph.


title: Arithmetic and equidistribution of measures on the sphere

abstract: Motivated by problems of mathematical physics (quantum chaos) questions of equidistribution of eigenfunctions of the Laplace operator on a Riemannian manifold have been studied by several authors. We consider here, in analogy with arithmetic hyperbolic surfaces, orthonormal bases of eigenfunctions of the Laplace operator on the two dimensional unit sphere which are also eigenfunctions of an algebra of Hecke operators which act on these spherical harmonics. We formulate an analogue of the equidistribution of mass conjecture for these eigenfunctions as well as of the conjecture that their moments tend to moments of the Gaussian as the eigenvalue increases. For such orthonormal bases we show that these conjectures are related to the analytic properties of degree eight arithmetic L-functions associated to triples of eigenfunctions. Moreover we establish the conjecture for the third moments and give a conditional (on standard analytic conjectures about these arithmetic L-functions) proof of the equdistribution of mass conjecture.


title: Decidability of chaos for some families of dynamical systems

abstract: We show that existence of positive Lyapounov exponents and/or SRB measures are undecidable (in the algorithmic sense) properties within some parametrized families of interesting dynamical systems: quadratic family and H\'enon maps. Because the existence of positive exponents (or SRB measures) is, in a natural way, a manifestation of ``chaos'', these results may be understood as saying that the chaotic character of a dynamical system is undecidable. Our investigation is directly motivated by questions asked by Carleson and Smale in this direction.


title: A Remarkable Property of the Dynamic Optimization Extremals

abstract: At the core of optimal control theory is the Pontryagin maximum principle - the celebrated first order necessary optimality condition - whose solutions are called extremals and which are obtained through a function called Hamiltonian, akin to the Lagrangian function used in ordinary calculus optimization problems. A remarkable property of the extremals is that the total derivative with respect to time of the corresponding Hamiltonian equals the partial derivative of the Hamiltonian with respect to time. In particular, when the Hamiltonian does not depend explicitly on time, the value of the Hamiltonian evaluated along the extremals turns out to be constant (a property that corresponds to energy conservation in classical mechanics). We present a generalization of the above property. As applications of the new relation, methods for obtaining conserved quantities along the Pontryagin extremals and for characterizing problems possessing given constants of the motion are obtained.


title: Lipschitzian Regularity of the Minimizing Trajectories for Nonlinear Optimal Control Problems

abstract: We consider the Lagrange problem of optimal control with unrestricted controls and address the question: under what conditions we can assure optimal controls are bounded? This question is related to the one of Lipschitzian regularity of optimal trajectories, and the answer to it is crucial for closing the gap between the conditions arising in the existence theory and necessary optimality conditions. Rewriting the Lagrange problem in a parametric form, we obtain a relation between the applicability conditions of the Pontryagin maximum principle to the later problem and the Lipschitzian regularity conditions for the original problem. Under the standard hypotheses of coercivity of the existence theory, the conditions imply that the optimal controls are essentially bounded, assuring the applicability of the classical necessary optimality conditions like the Pontryagin maximum principle. The result extends previous Lipschitzian regularity results to cover optimal control problems with general nonlinear dynamics.


title: Surface bundles versus Heegaard splittings

abstract: This paper studies Heegaard splittings of surface bundles via the curve complex of the fibre. The translation distance of the monodromy is the smallest distance it moves any vertex of the curve complex. We prove that the translation distance is bounded above in terms of the genus of any strongly irreducible Heegaard splitting. As a consequence, if a splitting surface has small genus compared to the translation distance of the monodromy, the splitting is standard.


title: Henstock--Kurzweil Fourier transforms

abstract: The Fourier transform is considered as a Henstock--Kurzweil integral. Sufficient conditions are given for the existence of the Fourier transform and necessary and sufficient conditions are given for it to be continuous. The Riemann--Lebesgue lemma fails: Henstock--Kurzweil Fourier transforms can have arbitrarily large point-wise growth. Convolution and inversion theorems are established. An appendix gives sufficient conditions for interchanging repeated Henstock--Kurzweil integrals and gives an estimate on the integral of a product.


title: David maps and Hausdorff Dimension

abstract: David maps are generalizations of classical planar quasiconformal maps for which the dilatation is allowed to tend to infinity in a controlled fashion. In this note we examine how these maps distort Hausdorff dimension. We show \vs {enumerate} [$\bullet$] Given $\alpha$ and $\beta$ in $[0,2]$, there exists a David map $\phi:\CC \to \CC$ and a compact set $\Lambda$ such that $\Hdim \Lambda =\alpha$ and $\Hdim \phi(\Lambda)=\beta$. \vs [$\bullet$] There exists a David map $\phi:\CC \to \CC$ such that the Jordan curve $\Gamma=\phi (\Sen)$ satisfies $\Hdim \Gamma=2$.\vs {enumerate} One should contrast the first statement with the fact that quasiconformal maps preserve sets of Hausdorff dimension 0 and 2. The second statement provides an example of a Jordan curve with Hausdorff dimension 2 which is (quasi)conformally removable.


title: Multiplicities and a dimension inequality for unmixed modules

abstract: We prove the following result, which is motivated by the recent work of Kurano and Roberts on Serre's positivity conjecture. Assume that (R,m) is a local ring with finitely-generated module M such that R/ann(M) is quasi-unmixed and contains a field, and that p and q are prime ideals in the support of M such that p is analytically unramified, p+q is m-primary and e(M_p)=e(M). Then dim(R/p)+dim(R/q)\leq dim(M). We also prove a similar theorem in a special case of mixed characteristic. Finally, we provide several examples to explain our assumptions as well as an example of a noncatenary, local domain R with prime ideal p such that e(R_p)>e(R)=1.


title: On the products in the finite groups

abstract: All possible products of all elements of an odd order finite group are considered. A set of all such products is called as a K-set. A hypothesis of K-set coincidence of any group of an odd order with its commutant is proposed and the hypothesis validity for groups with a commutant of a simple structure is shown.