title: Generalized Divisors and Biliaison

abstract: We extend the theory of generalized divisors so as to work on any scheme $X$ satisfying the condition $S_2$ of Serre. We define a generalized notion of Gorenstein biliaison for schemes in projective space. With this we give a new proof in a stronger form of the theorem of Gaeta, that standard determinantal schemes are in the Gorenstein biliaison class of a complete intersection. We also show, for schemes of codimension three in ${\mathbb P}^n$, that the relation of Gorenstein biliaison is equivalent to the relation of even strict Gorenstein liaison.


title: Geometry of arithmetically Gorenstein curves in ${\mathbb P}^4$

abstract: We characterize the postulation character of arithmetically Gorenstein curves in ${\mathbb P}^4$. We give conditions under which the curve can be realized in the form $mH-K$ on some ACM surface. Finally, we strengthen a theorem of Watanabe by showing that any general arithmetically Gorenstein curve in ${\mathbb P}^4$ can be obtained from a line by a series of ascending complete-intersection biliaisons.


title: Inversion of adjunction for local complete intersection varieties

abstract: In this note we build on our previous work with Takehiko Yasuda to prove a precise version of inversion of adjunction for varieties which are local complete intersections.


title: Complex surface singularities with integral homology sphere links

abstract: While the topological types of {normal} surface singularities with homology sphere link have been classified, forming a rich class, until recently little was known about the possible analytic structures. We proved in [Geom. Topol. 9(2005) 699-755] that many of them can be realized as complete intersection singularities of "splice type", generalizing Brieskorn type. We show that a normal singularity with homology sphere link is of splice type if and only if some naturally occurring knots in the singularity link are themselves links of hypersurface sections of the singular point. The Casson Invariant Conjecture (CIC) asserts that for a complete intersection surface singularity whose link is an integral homology sphere, the Casson invariant of that link is one-eighth the signature of the Milnor fiber. In this paper we prove CIC for a large class of splice type singularities. The CIC suggests (and is motivated by the idea) that the Milnor fiber of a complete intersection singularity with homology sphere link Sigma should be a 4-manifold canonically associated to Sigma. We propose, and verify in a non-trivial case, a stronger conjecture than the CIC for splice type complete intersections: a precise topological description of the Milnor fiber. We also point out recent counterexamples to some overly optimistic earlier conjectures in [Trends in Singularities, Birkhauser (2002) 181--190 and Math. Ann. 326(2003) 75--93].


title: Real and complex indices of vector fields on complete intersection curves with isolated singularity

abstract: If (V,0) is an isolated complete intersection singularity and X a holomorphic vector field tangent to V one can define an index of X, the so called GSV index, which generalizes the Poincare-Hopf index. We prove that the GSV index coincides with the dimension of a certain explicitely constructed vector space, if X is deformable in a certain sense and V is a curve. We also give a sufficient algebraic criterion for X to be deformable in this way. If one considers the real analytic case one can also define an index of X which is called the real GSV index. Under the condition that X has the deformation property, we prove a signature formula for the index generalizing the Eisenbud-Levine Theorem.


title: An Interaction of An Oscillator with An One-Dimensional Scalar Field. Simple Exactly Solvable Models based on Finite Rank Perturbations Methods. I: D'Alembert-Kirchhoff-like formulae

abstract: This paper is an electronic application to my set of lectures, subject:`Formal methods in solving differential equations and constructing models of physical phenomena'. Addressed, mainly: postgraduates and related readers. Content: a very detailed discussion of the simple model of interaction based on the equation array: d^2 q(t)/dt^2 =-\Omega^2(q(t)-Q(t))+f_0(t), d^2u(t,x)/t^2=c^{2}d^2 u(t,x)/dx ^2 -4\gamma c\delta(x-x_0)(Q(t)-q(t)) +f_1(t,x), Q(t) = u(t,x_0) . Besides, less detailed discussion of related models. Central mathematical points: d'Alembert-Kirchhoff-like formulae. Central physical points: phenomena of Radiation Reaction, Braking Radiation and Resonance.


title: Complexity one Hamiltonian SU(2) and SO(3) actions

abstract: We consider compact connected six dimensional symplectic manifolds with Hamiltonian SU(2) or SO(3) actions with cyclic principal stabilizers. We classify such manifolds up to equivariant symplectomorphisms.


title: An alternative notion of Hopf algebroid

abstract: In [1] a new notion of Hopf algebroid has been introduced. It was shown to be inequivalent to the structure introduced under the same name in [17]. We review this new notion of Hopf algebroid. We prove that two Hopf algebroids are isomorphic as bialgebroids if and only if their antipodes are related by a `twist' i.e. are deformed by the analogue of a character. A precise relation to weak Hopf algebras is given. After the review of the integral theory of Hopf algebroids we show how a right bialgebroid can be made a Hopf algebroid in the presence of a non-degenerate left integral. This can be interpreted as the `half of the Larson-Sweedler theorem'. As an application we construct the Hopf algebroid symmetry of an abstract depth 2 Frobenius extension [2].


title: Adiabatic decomposition of the zeta-determinant and the Dirichlet to Neumann operator

abstract: We prove an adiabatic decomposition formula of the zeta-determinant of the Laplace type operator with respect to Dirichlet boundary condition. We allow the non-invertible tangential operator. As a result, our adiabatic decomposition formula involves the scattering matrix over the manifold with cylindrical end. We also describe the adiabatic limit of the zeta-determinant of the Dirichlet to Neumann operator, which plays the essential role of Burghelea-Friedlander-Kappeler's Meyer-Vietoris type formula of the zeta determinant.


title: Twistor theory of hyper-K{\"a}hler metrics with hidden symmetries

abstract: We briefly review the hierarchy for the hyper-K\"ahler equations and define a notion of symmetry for solutions of this hierarchy. A four-dimensional hyper-K\"ahler metric admits a hidden symmetry if it embeds into a hierarchy with a symmetry. It is shown that a hyper-K\"ahler metric admits a hidden symmetry if it admits a certain Killing spinor. We show that if the hidden symmetry is tri-holomorphic, then this is equivalent to requiring symmetry along a higher time and the hidden symmetry determines a `twistor group' action as introduced by Bielawski \cite{B00}. This leads to a construction for the solution to the hierarchy in terms of linear equations and variants of the generalised Legendre transform for the hyper-K\"ahler metric itself given by Ivanov & Rocek \cite{IR96}. We show that the ALE spaces are examples of hyper-K\"ahler metrics admitting three tri-holomorphic Killing spinors. These metrics are in this sense analogous to the 'finite gap' solutions in soliton theory. Finally we extend the concept of a hierarchy from that of \cite{DM00} for the four-dimensional hyper-K\"ahler equations to a generalisation of the conformal anti-self-duality equations and briefly discuss hidden symmetries for these equations.


title: Koszulity for nonquadratic algebras II

abstract: It has been shown recently, in a joint work with Michel Dubois-Violette and Marc Wambst (see math.QA/0203035), that Koszul property of $N$-homogeneous algebras (as defined in the original paper) becomes natural in a $N$-complex setting. A basic question is to define the differential of the bimodule Koszul complex of an $N$-homogeneous algebra, e.g., for computing its Hochschild homology. The differential defined here uses $N$-complexes. That puts right the wrong differential presented in the original paper in a 2-complex setting. Actually, as we shall see, it is impossible to avoid $N$-complexes in defining the differential, whereas the bimodule Koszul complex is a 2-complex.


title: Homomorphisms of hyperelliptic jacobians

abstract: In his previous papers (Math. Res. Letters 7 (2000), 123--13; Progress in Math. 195 (2001), 473--490; Math. Res. Letters 8 (2001), 429--435; Moscow Math. J. 2 (2002), issue 2, 403-431; Proc. Amer. Math. Soc. 131 (2003), no. 1, 95--102) the author introduced certain explicit constructions of hyperelliptic jacobians without nontrivial endomorphisms. In the present paper we discuss when these jacobians are mutually non-isogenous. In addition, a special case ($n=m=3$) of our Theorem 1.2 provides the following criterion for elliptic curves $C_f: y^2=f(x)$ and $C_h: y^2=h(x)$ to be non-isogenous. (Here $f(x)$ and $h(x)$ are cubic polynomials with coefficients in a field $K$ of characteristic zero.) Suppose that $f(x)$ and $h(x)$ are irreducible over $K$, their Galois groups over $K$ coincide with the full symmetric group $S_3$, and their splitting fields are linearly disjoint over $K$. Then the elliptic curves $C_f$ and $C_h$ are non-isogenous over an algebraic closure of $K$.


title: On the (non)existence of states on orthogonally closed subspaces in an inner product space

abstract: Suppose that $S$ is an incomplete inner product space. A. Dvure\v{c}enskij shows that there are no finitely additive states on orthogonally closed subspaces, $F(S)$, of $S$ that are regular with respect to finitely dimensional spaces. In this note we show that the most important special case of the former result--the case of the evaluations given by vectors in the ``Gleason manner''--allows for a relatively simple proof. This result further reinforces the conjecture that there are no finitely additive states on $F(S)$ at all.


title: On classical solutions to the 3D relativistic Vlasov-Maxwell system: Glassey-Strauss' theorem revisited

abstract: R. Glassey and W. Strauss have proved in [Arch. Rational Mech. Anal. 92 (1986), 59--90] that classical solutions to the relativistic Vlasov-Maxwell system in three space dimensions do not develop singularities as long as the support of the distribution function in the momentum variable remains bounded. The present paper simplifies their proof.


title: Uhlenbeck spaces via affine Lie algebras

abstract: Let $G$ be an almost simple simply connected group over $\BC$, and let $\Bun^a_G(\BP^2,\BP^1)$ be the moduli scheme of principal $G$-bundles on the projective plave $\BP^2$, of second Chern class $a$, trivialized along a line $\BP^1\subset \BP^2$. We define the Uhlenbeck compactification $\fU^a_G$ of $\Bun^a_G(\BP^2,\BP^1)$, which classifies, roughly, pairs $(\F_G,D)$, where $D$ is a 0-cycle on $\BA^2=\BP^2-\BP^1$ of degree $b$, and $\F_G$ is a point of $\Bun^{a-b}_G(\BP^2,\BP^1)$, for varying $b$. In addition, we calculate the stalks of the Intersection Cohomology sheaf of $\fU^a_G$. To do that we give a geometric realization of Kashiwara's crystals for affine Kac-Moody algebras.


title: Hyperelliptic jacobians without complex multiplication and Steinberg representations in positive characteristic

abstract: In his previous papers (Math. Res. Letters 7 (2000), 123--13; Math. Res. Letters 8 (2001), 429--435; Moscow Math. J. 2 (2002), issue 2, 403-431) the author proved that in characteristic $\ne 2$ the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure $K_a$ of the ground field $K$ if the Galois group $\Gal(f)$ of the irreducible polynomial $f(x) \in K[x]$ is either the symmetric group $\Sn$ or the alternating group $\A_n$. Here $n\ge 9$ is the degree of $f$. The goal of this paper is to extend this result to the case of certain ``smaller'' doubly transitive simple Galois groups. Namely, we treat the infinite series $n=2^m+1, \Gal(f)=\L_2(2^m):=\PSL_2(\F_{2^m})$, $n=2^{4m+2}+1, \Gal(f)=\Sz(2^{2m+1})= {^2\B_2}(2^{2m+1})$ and $n=2^{3m}+1, \Gal(f)=\U_3(2^m):=\PSU_3(\F_{2^m})$.


title: The large scale geometry of some metabelian groups

abstract: We study the large scale geometry of the upper triangular subgroup of PSL(2,Z[1/n]), which arises naturally in a geometric context. We prove a quasi-isometry classification theorem and show that these groups are quasi-isometrically rigid with infinite dimensional quasi-isometry group. We generalize our results to a larger class of groups which are metabelian and are higher dimensional analogues of the solvable Baumslag-Solitar groups BS(1,n).


title: Primality Proving via One Round in ECPP and One Iteration in AKS

abstract: In this paper, a random primality proving algorithm is proposed, which generates prime certificate of length O(log n). The certificate can be verified in deterministic time O(log^4 n). The algorithm runs in heuristical time tilde{O}(log^4 n), some supporting evidences are provided.


title: A generalization of the topological Brauer group

abstract: In the present paper we study some homotopy invariants which can be defined by means of bundles with fiber a matrix algebra. We also introduce some generalization of the Brauer group in the topological context and show that any its element can be represented as a locally trivial bundle with a group of invertible operators in a Hilbert space as the structure group. Finally, we discuss its possible applications in the twisted $K$-theory.


title: Pluripolar graphs are holomorphic

abstract: We prove that the graph of a continuous function $f$, defined on a domain of ${\mathbb C}^n$, is pluripolar if and only if $f$ is holomorphic.


title: A Banach space with the Schur and the Daugavet property

abstract: We show that a minor refinement of the Bourgain-Rosenthal construction of a Banach space without the Radon-Nikodym property which contains no bounded $\delta$-trees yields a space with the Daugavet property and the Schur property. Using this example we answer some open questions on the structure of such spaces; in particular we show that the Daugavet property is not inherited by ultraproducts.


title: Character Formula for Infinite Dimensional Unitarizable Modules of the General Linear Superalgebra

abstract: The Fock space of $m+p$ bosonic and $n+q$ fermionic quantum oscillators forms a unitarizable module of the general linear superalgebra $gl_{m+p|n+q}$. Its tensor powers decompose into direct sums of infinite dimensional irreducible highest weight $gl_{m+p|n+q}$-modules. We obtain an explicit decomposition of any tensor power of this Fock space into irreducibles, and develop a character formula for the irreducible $gl_{m+p|n+q}$-modules arising in this way.


title: The structure of the cohomology ring of the filt schemes

abstract: Let $C$ be a smooth projective curve over the complex number field $\cnum$. We investigate the structure of the cohomology ring of the quot schemes $\Quot(r,n)$, i.e., the moduli scheme of the quotient sheaves of $\nbigo_C^{\oplus r}$ with length $n$. We obtain a filtration on $H^{\ast}(\Quot(r,n))$, whose associated graded ring has a quite simple structure. As a corollary, we obtain a small generator of the ring. We also obtain a precise combinatorial description of $H^{\ast}(\Quot(r,n))$ itself. For that purpose, we consider the complete filt schemes and we use a `splitting principle'. A complete filt scheme has an easy geometric description: a sequence of bundles of projective spaces. Thus the cohomology ring of the complete filt schemes are easily determined. In the cohomology ring of complete filt schemes, we can do some calculations for the cohomology ring of quot schemes. Keywords: Quot scheme, cohomology ring, torus action, splitting principle, symmetric function.


title: Chern-Weil Constructions on $\Psi$DO Bundles

abstract: We construct Chern-Weil classes on infinite dimensional vector bundles with structure group contained in the algebra $\cl[\leq 0](M, E)$ of non-positive order classical pseudo-differential operators acting on a finite rank vector bundle $E$ over a closed manifold $M$. Mimicking the finite dimensional Chern-Weil construction, we replace the ordinary trace on matrices by linear functionals on $\cl[\leq 0] (M, E)$ built from the leading symbols of the operators. The corresponding Chern classes vanish for loop groups, but a weighted trace construction yields a non-zero class perviously constructed by Freed. For loop spaces, the structure group reduces to a gauge group of bundle automorphisms, and we produce non-vanishing universal Chern classes in all degrees, using a universal connection theorem for these bundles.


title: On the Zeta Function of Forms of Fermat Equations

abstract: We study ``forms of the Fermat equation'' over an arbitrary field $k$, i.e. homogenous equations of degree $m$ in $n$ unknowns that can be transformed into the Fermat equation $X_1^m+...+X_n^m$ by a suitable linear change of variables over an algebraic closure of $k$. Using the method of Galois descent, we classify all such forms. In the case that $k$ is a finite field of characteristic greater than $m$ that contains the $m$-th roots of unity, we compute the Galois representation on $l$-adic cohomology (and so in particular the zeta function) of the hypersurface associated to an arbitrary form of the Fermat equation.


title: Sharp phase transition theorems for hyperbolicity of random groups

abstract: We prove that in various natural models of a random quotient of a group, depending on a density parameter, for each hyperbolic group there is some critical density under which a random quotient is still hyperbolic with high probability, whereas above this critical value a random quotient is very probably trivial. We give explicit characterizations of these critical densities for the various models.


title: An optimal algorithm to generate tilings

abstract: This article builds on Thurston's height functions. His tiling algorithm is reinterpreted using lattice theory and then generalized in order to generate any tiling of a hole-free region. Combined with a natural encoding of tilings by words, this allows the generation of a linear extension of the lattice of the tilings.


title: On a Non-Vanishing Conjecture of Kawamata and the Core of an Ideal

abstract: We show that under suitable hypothesis (which are sharp in certain sense) that the core of an m-primary ideal in a regular local ring of dimension d is equal to the adjoint (or multiplier) ideal of its d-th power, generalizing a result of Huneke and Swanson in dimension two. We also prove a version of this in the singular setting, which we show to be intimately related to the problem of finding global sections of ample line bundles on projective varieties. In particular, we show that a graded analog of our formula for core would imply a remarkable conjecture of Kawamata predicting that every ample adjoint bundle has a non-trivial section.


title: Core versus graded core and global sections of line bundles

abstract: We find formulas for the graded core of certain m-primary ideals in a graded ring. In particular, if S is the section ring of an ample line bundle on a Cohen-Macaulay complex projective variety, we show that under suitable hypothesis, the core and graded core of the ideal of S generated by all elements of degrees at least N (for some, equivalently every, large N) are equal if and only if the line bundle admits a non-zero global section. We also prove a formula for the graded core of the powers of the unique homogeneous maximal ideal in a standard graded Cohen-Macaulay ring of arbitrary characteristic. Several open problems are posed whose solutions would lead to progress on a non-vanishing conjecture of Kawamata.


title: Volume minimization for Lagrangian submanifolds in complex manifolds with negative first Chern class

abstract: It is classically known that closed geodesics on a compact Riemann surface with a metric of negative curvature strictly minimize length in their free homotopy class. We'd like to generalize this to Lagrangian submanifolds in K\"ahler manifolds of negative Ricci curvature. The only known result in this direction is a theorem on Y.I. Lee for certain Lagrangian submanifolds in a product of two Riemann surfaces of constant negative curvature. We develop an approach to study this problem in higher dimensions. Along the way we prove some weak results (volume-minimization outside of a divisor) and give a counterexample to global volume-minimization for an immersed minimal Lagrangian submanifold.


title: Presentations of the first homotopy groups of the unitary groups

abstract: We describe explicit presentations of all stable and the first nonstable homotopy groups of the unitary groups. In particular, for each n >= 2 we supply n homotopic maps that each represent the (n-1)!-th power of a suitable generator of pi_2n(U(n)) = Z_{n!}. The product of these n commuting maps is the constant map to the identity matrix.


title: Inverse spectral problems for Sturm-Liouville operators with singular potentials, II. Reconstruction by two spectra

abstract: We solve the inverse spectral problem of recovering the singular potentials $q\in W^{-1}_{2}(0,1)$ of Sturm-Liouville operators by two spectra. The reconstruction algorithm is presented and necessary and sufficient conditions on two sequences to be spectral data for Sturm-Liouville operators under consideration are given.


title: The hardness of polynomial equation solving

abstract: In this paper we investigate the intrinsic sequential time complexity of universal elimination procedures for arbitrary continuous data structures encoding input and output objects of elimination theory (i.e. polynomial equation systems) and admitting the representation of certain limit objects. Our main result is the following: let be given such a data structure and together with this data structure a universal elimination algorithm, say P, solving arbitrary parametric polynomial equation systems. Suppose that the algorithm P avoids "unnecessary" branchings and that P admits the efficient computation of certain natural limit objects (as e.g. the Zariski closure of a given constructible algebraic set or the parametric greatest common divisor of two given algebraic families of univariate polynomials). Then P cannot be a polynomial time algorithm. The paper contains different variants of this result and discusses their practical implications.


title: Hopf-Galois systems and Kashiwara algebras

abstract: This article is made up with two parts. In the first part, we generalize to the case when objects are faithfully flat over the ground ring, the full equivalence between the notions of Hopf-Galois extension and Hopf-Galois system. In the second part of the article, we show that the Kashiwara algebras introduced by Kashiwara in his study of crystal bases are Hopf-Galois objects.


title: Boundedness of spherical Fano varieties

abstract: We prove that for any e>0, there exists only finitely many e-log terminal spherical Fano varieties of fixed dimension. We also introduce an invariant of a spherical subgroup H in a reductive group G which measures how nice an equivariant Fano compactification G/H there exists.


title: Hahn-Banach theorems for $\kappa $-normed spaces

abstract: For a new class of topological vector spaces, namely $\kappa $-normed spaces, and associated quasisemilinear topological preordered space is defined and investigated. This structure arise naturally from the consideration of a $\kappa $-norm, that is a distance function between a point and a $G_{\delta}$-subset. For it, analogs of the Hahn-Banach theorem are proved.


title: Some remarks about Cauchy integrals and totally real surfaces in C^m

abstract: There seems to be quite a bit of room for interesting things related to surfaces M in C^m with real dimension m which are totally real and aspects of several complex variables on C^m around M. A basic case occurs when m = 1, with Cauchy integral operators along curves, holomorphic functions on the complements of curves, and so on. In the present article we briefly indicate a few points concerning these matters.


title: The Brown-Colbourn conjecture on zeros of reliability polynomials is false

abstract: We give counterexamples to the Brown-Colbourn conjecture on reliability polynomials, in both its univariate and multivariate forms. The multivariate Brown-Colbourn conjecture is false already for the complete graph K_4. The univariate Brown-Colbourn conjecture is false for certain simple planar graphs obtained from K_4 by parallel and series expansion of edges. We show, in fact, that a graph has the multivariate Brown-Colbourn property if and only if it is series-parallel.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: A sharp threshold for random graphs with a monochromatic triangle in every edge coloring

abstract: Let $\R$ be the set of all finite graphs $G$ with the Ramsey property that every coloring of the edges of $G$ by two colors yields a monochromatic triangle. In this paper we establish a sharp threshold for random graphs with this property. Let $G(n,p)$ be the random graph on $n$ vertices with edge probability $p$. We prove that there exists a function $\hat c=\hat c(n)$ with $0<c<\hat c<C$ such that for any $\eps > 0$, as $n$ tends to infinity $$Pr[G(n,(1-\eps)\hat c/\sqrt{n}) \in \R ] \to 0$$ and $$Pr [ G(n,(1+\eps)\hat c/\sqrt{n}) \in \R ] \to 1.$$ A crucial tool that is used in the proof and is of independent interest is a generalization of Szemer\'edi's Regularity Lemma to a certain hypergraph setting.


title: Weight-monodromy conjecture for p-adically uniformized varieties

abstract: The aim of this paper is to prove the weight-monodromy conjecture (Deligne's conjecture on the purity of monodromy filtration) for varieties p-adically uniformized by the Drinfeld upper half spaces of any dimension. The ingredients of the proof are to prove a special case of the Hodge standard conjecture, and apply a positivity argument of Steenbrink, M. Saito to the weight spectral sequence of Rapoport-Zink. As an application, by combining our results with the results of Schneider-Stuhler, we compute the local zeta functions of p-adically uniformized varieties in terms of representation theoretic invariants. We also consider a p-adic analogue by using the weight spectral sequence of Mokrane.


title: Calculation of Rozansky-Witten invariants on the Hilbert schemes of points on a K3 surface and the Generalised Kummer varieties

abstract: By showing a structural result on how the Rozansky-Witten invariants of Hilbert schemes of points on a K3 surface and the Generalised Kummer varieties depend on the dimension, we give a method how to compute a large class of Rozansky-Witten invariants in terms of Chern numbers.


title: Asymptotics for random walks in alcoves of affine Weyl groups

abstract: Asymptotic results are derived for the number of random walks in alcoves of affine Weyl groups (which are certain regions in $n$-dimensional Euclidean space bounded by hyperplanes), thus solving problems posed by Grabiner [J. Combin. Theory Ser. A 97 (2002), 285-306]. These results include asymptotic expressions for the number of vicious walkers on a circle, and as well for the number of vicious walkers in an interval. The proofs depart from the exact results of Grabiner [loc. cit.], and require as diverse means as results from symmetric function theory and the saddle point method, among others.

categories: math.CO cond-mat.stat-mech math-ph math.MP math.PR


title: Geometric Invariant Theory based on Weil Divisors

abstract: Given an action of a reductive group on a normal variety, we construct all invariant open subsets admitting a good quotient with a quasiprojective or a divisorial quotient space. Our approach extends known constructions like Mumford's Geometric Invariant Theory. We obtain several new Hilbert-Mumford type theorems, and we extend a projectivity criterion of Bialynicki-Birula and Swiecicka for varieties with semisimple group action from the smooth to the singular case.


title: Whitehead groups and the Bass conjecture

abstract: This paper will be concerned with proving that certain Whitehead groups of torsion-free elementary amenable groups are torsion groups and related results, and then applying these results to the Bass conjecture. In particular we shall establish the strong Bass conjecture for an arbitrary elementary amenable group.


title: Geometric Realization of the Segal--Sugawara Construction

abstract: We apply the technique of localization for vertex algebras to the Segal-Sugawara construction of an ``internal'' action of the Virasoro algebra on affine Kac-Moody algebras. The result is a lifting of twisted differential operators from the moduli of curves to the moduli of curves with bundles, with arbitrary decorations and complex twistings. This construction gives a uniform approach to a collection of phenomena describing the geometry of the moduli spaces of bundles over varying curves: the KZB equations and heat kernels on non-abelian theta functions, their critical level limit giving the quadratic parts of the Beilinson-Drinfeld quantization of the Hitchin system, and their infinite level limit giving a Hamiltonian description of the isomonodromy equations.


title: Conditions implying regularity of the three dimensional Navier-Stokes equation

abstract: We obtain logarithmic improvements for conditions for regularity of the Navier-Stokes equation, similar to those of Prodi-Serrin or Beale-Kato-Majda. Some of the proofs make use of a stochastic approach involving Feynman-Kac like inequalities. As part of the our methods, we give a different approach to a priori estimates of Foias, Guillope and Temam.


title: The Frobenius endomorphism and homological dimensions

abstract: This is a survey on the relation between homological properties of the Frobenius endomorphism and finiteness of various homological dimensions of the ring or of modules over it, such as global dimension and projective dimension. We begin with Kunz's surprising result in 1969 that the regularity of a Noetherian local ring is equivalent to the flatness of its Frobenius endomorphism, as well as the subsequent generalizations to the module setting by Peskine and Szpiro and continue up through the recent flurry of results in the last five years. An attempt is made to include proofs whenever feasible.


title: Quantum categories, star autonomy, and quantum groupoids

abstract: A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. We define the term "quantum category". The definition of antipode for a bialgebroid is less resolved in the literature. Our suggestion is that the kind of dualization occurring in Barr's star-autonomous categories is more suitable than autonomy (= compactness = rigidity). This leads to our definition of quantum groupoid intended as a "Hopf algebra with several objects".


title: An inequality on Chebyshev polynomials

abstract: We define a class of multivariate Laurent polynomials closely related to Chebyshev polynomials, and prove the simple but somewhat surprising (in view of the fact that the signs of the coefficients of the Chebyshev polynomials themselves alternate) result that their coefficients are non-negative.


title: Binary trees and fibred categories

abstract: We develop a purely set-theoretic formalism for binary trees and binary graphs. We define a category of binary automata, and display it as a fibred category over the category of binary graphs. We also relate the notion of binary graphs to transition systems, which arise in the theory of concurrent computing.


title: Integrable Systems in n-dimensional Riemannian Geometry

abstract: In this paper we show that if one writes down the structure equations for the evolution of a curve embedded in an (n)-dimensional Riemannian manifold with constant curvature this leads to a symplectic, a Hamiltonian and an hereditary operator. This gives us a natural connection between finite dimensional geometry, infinite dimensional geometry and integrable systems. Moreover one finds a Lax pair in (\orth{n+1}) with the vector modified Korteweg-De Vries equation (vmKDV) \[ \vk{t}= \vk{xxx}+\fr32 ||\vk{}||^2 \vk{x} \] as integrability condition. We indicate that other integrable vector evolution equations can be found by using a different Ansatz on the form of the Lax pair. We obtain these results by using the {\em natural} or {\em parallel} frame and we show how this can be gauged by a generalized Hasimoto transformation to the (usual) {\em Fren{\^e}t} frame. If one chooses the curvature to be zero, as is usual in the context of integrable systems, then one loses information unless one works in the natural frame.


title: Isoperimetry and heat kernel decay on percolation clusters

abstract: We prove that the heat kernel on the infinite Bernoulli percolation cluster in Z^d almost surely decays faster than t^{-d/2}. We also derive estimates on the mixing time for the random walk confined to a finite box. Our approach is based on local isoperimetric inequalities.


title: Crossed Products by Endomorphisms, Vector Bundles and Group Duality

abstract: We construct the crossed product of a C(X)-algebra by an endomorphism, in such a way that the endomorphism itself becomes induced by the bimodule of continuous sections of a vector bundle. Some motivating examples for such a construction are given. Furthermore, we study the C*-algebra of G-invariant elements of the Cuntz-Pimsner algebra associated with a G-vector bundle, where G is a (noncompact, in general) group. In particular, the C*-algebra of invariant elements w.r.t. the action of the group of special unitaries of the given vector bundle is a crossed product in the above sense. We also study the analogous construction on certain Hilbert bimodules, called 'noncommutative pullbacks'.


title: On the Irreducibility of Commuting Varieties of Nilpotent Matrices

abstract: Given an nxn nilpotent matrix over an algebraically closed field K, we prove some properties of the set of all the nxn nilpotent matrices over K which commute with it. Then we give a proof of the irreducibility of the variety of all the pairs (A,B) of nxn nilpotent matrices over K if either char K = 0 or char K isn't less than n/2. We get as a consequence a proof of the irreducibility of the local Hilbert scheme of n points of a smooth algebraic surface over K with the previous condition on char K.


title: An algebraic model of fibration with the fiber $K(\pi,n)$-space

abstract: For a fibration with the fiber $K(\pi,n)$-space, the algebraic model as a twisted tensor product of chains of the base with standard chains of $K(\pi,n)$-complex is given which preserves multiplicative structure as well. In terms of this model the action of the $n$-cohomology of the base with coefficients in $\pi$ on the homology of fibration is described.


title: Lower bounds for quasianalytic functions, II. The Bernstein quasianalytic functions

abstract: Let F be a class of functions with the uniqueness property: if a function f in F vanishes on a set of positive measure, then f is the zero function. In many instances, we would like to have a quantitative version of this property, e.g. a lower bound for |f| outside a small exceptional set. Such estimates are well-known and useful for polynomials, complex- and real-analytic functions, exponential polynomials. In this work we prove similar results for the Denjoy-Carleman and the Bernstein classes of quasianalytic functions. In the first part (this arXiv:math.CA/0208233), we considered quasianalytically smooth functions. Here, we deal with classes of functions characterized by exponentially fast approximation by polynomials whose degrees belong to a given very lacunar sequence. We also prove the polynomial spreading lemma and a comparison lemma which are of a certain interest on their own.


title: Deformations of G_2 and Spin(7) Structures on Manifolds

abstract: We consider some infinitesmal and global deformations of G_2 structures on 7-manifolds. We discover a canonical way to deform a G_2 structure by a vector field in which the associated metric gets "twisted" in some way by the vector cross product. We present a system of partial differential equations for an unknown vector field whose solution would yield a manifold with holonomy G_2. Similarly we consider analogous constructions for Spin(7) structures on 8-manifolds. Some of the results carry over directly, while others do not because of the increased non-linearity of the Spin(7) case.


title: A calculus for ideal triangulations of three-manifolds with embedded arcs

abstract: Refining the notion of an ideal triangulation of a compact three-manifold, we provide in this paper a combinatorial presentation of the set of pairs (M,a), where M is a three-manifold and a is a collection of properly embedded arcs. We also show that certain well-understood combinatorial moves are sufficient to relate to each other any two refined triangulations representing the same (M,a). Our proof does not assume the Matveev-Pergallini calculus for ideal triangulations, and actually easily implies this calculus.


title: On Rectification of Circles and an Extension of Beltrami's Theorem

abstract: The goal of this paper is to describe all local diffeomorphisms mapping a family of circles, in an open subset of $\r^3$, into straight lines. This paper contains two main results. The first is a complete description of the rectifiable collection of circles in $\r^3$ passing through one point. It turns out that to be rectifiable all circles need to pass through some other common point. The second main result is a complete description of geometries in $\r^3$ in which all the geodesics are circles. This is a consequence of an extension of Beltrami's theorem by replacing straight lines with circles.}


title: The Combinatorics of Iterated Loop Spaces

abstract: It is well known since Stasheff's work that 1-fold loop spaces can be described in terms of the existence of higher homotopies for associativity (coherence conditions) or equivalently as algebras of contractible non-symmetric operads. The combinatorics of these higher homotopies is well understood and is extremely useful. For $n \ge 2$ the theory of symmetric operads encapsulated the corresponding higher homotopies, yet hid the combinatorics and it has remain a mystery for almost 40 years. However, the recent developments in many fields ranging from algebraic topology and algebraic geometry to mathematical physics and category theory show that this combinatorics in higher dimensions will be even more important than the one dimensional case. In this paper we are going to show that there exists a conceptual way to make these combinatorics explicit using the so called higher nonsymmetric $n$-operads.


title: Integral affine structures on spheres and torus fibrations of Calabi-Yau toric hypersurfaces II

abstract: This paper is a continuation of our paper math.AG/0205321 where we have built a combinatorial model for the torus fibrations of Calabi-Yau toric hypersurfaces. This part addresses the connection between the model torus fibration and the complex and K\"ahler geometry of the hypersurfaces.


title: A remark on a theorem of Schoen and Wolfson

abstract: Let $ l : \Sigma \to X$ be a weakly Lagrangian map of a compact orientable surface $ \Sigma$ in a K\"ahler surface $ X$ which is area minimizing in its homotopy class of maps in $ W^{1,2}(\Sigma, X)$, the Sobolev space of maps of square integrable first derivative. Schoen and Wolfson showed such $ l$ is Lipschitz, and it is smooth except at most at finitely many points of Maslov index 1 or -1. In this note, we observe if in addition c_1(X)[l]=0, $ l$ is smooth everywhere. Here $ c_1(X)$ is the first Chern class of $ X$.


title: Flat fronts in hyperbolic 3-space

abstract: We shall investigate flat surfaces in hyperbolic 3-space with admissible singularities, called `flat fronts'. An Osserman-type inequality for complete flat fronts is shown. When equality holds in this inequality, we show that all the ends are embedded. Moreover, we shall give new examples for which equality holds.


title: Diagram groups and directed 2-complexes: homotopy and homology

abstract: We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups, although diagram groups are as a rule non-Abelian. Part of the paper is a review of the previous results from this point of view. In particular, we show that the so called rigidity of the R.Thompson's group $F$ and some other groups is similar to the flat torus theorem. We find several finitely presented diagram groups (even of type F_\infty) each of which contains all countable diagram groups. We show how to compute minimal presentations and homology groups of a large class of diagram groups. We show that the Poincare series of these groups are rational functions. We prove that all integer homology groups of all diagram groups are free Abelian.


title: Harmonic deformations of hyperbolic 3-manifolds

abstract: This paper gives an exposition of the authors' harmonic deformation theory for 3-dimensional hyperbolic cone-manifolds. We discuss topological applications to hyperbolic Dehn surgery as well as recent applications to Kleinian group theory. A central idea is that local rigidity results (for deformations fixing cone angles) can be turned into effective control on the deformations that do exist. This leads to precise analytic and geometric versions of the idea that hyperbolic structures with short geodesics are close to hyperbolic structures with cusps. The paper also outlines a new harmonic deformation theory which applies whenever there is a sufficiently large embedded tube around the singular locus, removing the previous restriction to cone angles at most 2pi.


title: On the geometric genus of reducible surfaces and degenerations of surfaces to unions of planes

abstract: In this paper we study some properties of degenerations of surfaces whose general fibre is a smooth projective surface and whose central fibre is a reduced, connected surface $X \subset IP^r$, $r \geq 3$, which is assumed to be a union of smooth projective surfaces, in particular of planes. Our original motivation has been a series of papers of G. Zappa which appeared in the 1940-50's regarding degenerations of scrolls to unions of planes. Here, we present a first set of results on the subject; other aspects are still work in progress and will appear later. We first study the geometry and the combinatorics of a surface like $X$, considered as a reduced, connected surface on its own; then we focus on the case in which X is the central fibre of a degeneration of relative dimension two over the complex unit disk. In this case, we deduce some of the intrinsic and extrinsic invariants of the general fibre from the ones of its central fibre. In the particular case of $X$ a central fibre of a semistable degeneration, i.e. $X$ has only global normal crossing singularities and the total space of the degeneration is smooth, some of the above invariants can be also computed by topological methods (i.e., the Clemens-Schmid exact sequence). Our results are more general, not only because the computations are independent on the fact that $X$ is the central fibre of a degeneration, but also because the degeneration is not semistable in general.


title: The structure of AK_2-manifolds

abstract: We study special almost Kaehler manifolds whose curvature tensor satisfies the second curvature condition of Gray. It is shown that for such manifolds, the torsion of the first canonical Hermitian is parallel. This enables us to show that every AK_2-manifold has parallel torsion. Some applications of this result, concerning the existence of orthogonal almost Kaehler structures on spaces of constant curvature are given.


title: Homotopy theory of comodules over a Hopf algebroid

abstract: Given a good homology theory E and a topological space X, the E-homology of X is not just an E_{*}-module but also a comodule over the Hopf algebroid (E_{*}, E_{*}E). We establish a framework for studying the homological algebra of comodules over a well-behaved Hopf algebroid (A, Gamma). That is, we construct the derived category Stable(Gamma) of (A, Gamma) as the homotopy category of a Quillen model structure on the category of unbounded chain complexes of Gamma-comodules. This derived category is obtained by inverting the homotopy isomorphisms, NOT the homology isomorphisms. We establish the basic properties of Stable(Gamma), showing that it is a compactly generated tensor triangulated category.


title: Chromatic phenomena in the algebra of BP_{*}BP-comodules

abstract: This paper begins with an exposition of the author's research on the category of BP_*BP-comodules, much of which is joint with Neil Strickland. The main result of that work is that the category of E(n)_*E(n)-comodules is equivalent to a localization of the category of BP_*BP-comodules (the localization is L_n, analogous to the topological L_n). The main new result in this paper is that, analogously, the stable homotopy category of E(n)_*E(n)-comodules is equivalent to a localization (the finite localization L_n^f this time, not L_n) of the stable homotopy category of BP_*BP-comodules. These stable homotopy categories were constructed in previous work of the author, and are supposed to model stable homotopy theory; it is like stable homotopy theory where there are no differentials in the Adams-Novikov spectral sequence. Our result embeds the Miller-Ravenel and Hovey-Sadofsky change of rings theorems as special cases of more general isomorphisms.


title: Local cohomology of BP_*BP-comodules

abstract: In a previous paper, the authors showed that the category of E(n)_*E(n)-comodules is a localization of the category of BP_*BP-comodules. In this paper, we study the resulting localization functor L_n on the category of BP_*BP-comodules. It is an algebraic analogue of the usual topological localization L_n. It is left exact, so has right derived functors L_n^i. We show that these derived functors are closely related to the local cohomology groups of BP_*-modules studied by Greenlees and May; in fact, they coincide with Cech cohomology with respect to I_{n+1}. We also construct a spectral sequence of comodules analogous to the Greenlees-May spectral sequence (of modules) converging to BP_*(L_n X) whose E_2-term involves L_n^i(BP_*X). The proofs require getting a partial understanding of injective objects in the category of BP_*BP-comodules.


title: Comodules and Landweber exact homology theories

abstract: We show that, if E is a Landweber exact ring spectrum, then the category of E_*E-comodules is equivalent to the localization of the category of BP_*BP-comodules with respect to the hereditary torsion theory of v_n-torsion comodules, where n is the height of E. In particular, the category of E(n)_*E(n)-comodules is equivalent to the category of (v_n^{-1}BP)_*(v_n^{-1}BP)-comodules. We also prove structure theorems for E_*E-comodules; we show every E_*E-comodule has a primitive, we classify the invariant radical ideals, and we prove a version of the Landweber filtration theorem.


title: Noncommutative Koszul filtrations

abstract: We study associative graded algebras which have a ``complete flag'' of cyclic modules with linear free resolutions, i.e., algebras over which there is a cyclic Koszul module with every admissible number of relations (from zero up to the number of generators of the algebra). Commutative algebras with the same property has been studied in several papers by A. Conca and others. Here we present a non-commutative version. We introduce the concept of Koszul filtration in non-commutative algebras and study its connections with Koszul algebras and algebras with quadratic Groebner bases. Also, here are considered several examples, such as ``Groebner flags'', generic algebras, and algebras with one relation. A generalization of the concept Koszul filtration (generalized Koszul, or rate, filtration) leads to algebras with finite Backelin's rate and to coherent algebras. One of our main results is that every algebra with Koszul filtration (or with finite rate filtration) has rational Hilbert series.


title: Quasi-derivations and QD-algebroids

abstract: Axioms of Lie algebroid are discussed in order to review some known aspects for non-experts. In particular, it is shown that a Lie QD-algebroid (i.e. a Lie algebra bracket on the Functions(M)-module F of sections of a vector bundle E over a manifold M which satisfies [X,fY]=f[X,Y]+A(X,f)Y for all X,Y from F, all f from Functions(M), and for certain A(X,f) from Functions(M)) is a Lie algebroid if rank(E)>1, and is a local Lie algebra in the sense of Kirillov if E is a line bundle. Under a weak condition also the skew-symmetry of the bracket is relaxed.


title: A new proof of the Stable Manifold Theorem for hyperbolic fixed points on surfaces

abstract: We introduce a new technique for proving the classical Stable Manifold theorem for hyperbolic fixed points. This method is much more geometrical than the standard approaches which rely on abstract fixed point theorems. It is based on the convergence of a canonical sequence of ``finite time local stable manifolds'' which are related to the dynamics of a finite number of iterations.


title: Geometry of differential operators, and odd Laplace operators

abstract: We solve the following problem: to describe in geometric terms all differential operators of the second order with a given principal symbol. Initially the operators act on scalar functions. Operator pencils acting on densities of arbitrary weights appear naturally in the course of study. We show that for the algebra of densities it is possible to establish a one-to-one correspondence between operators and brackets generated by them. Everything is applicable to supermanifolds as well as to usual manifolds. In the super case the problem is closely connected with the geometry of the Batalin--Vilkovisky formalism in quantum field theory, namely the description of the generating operators for an odd bracket. We give a complete answer. This text is a concise outline of the main results. A detailed exposition is in \texttt{arXiv:math.DG/0212311}.


title: Scaling Limit, Noise, Stability

abstract: Linear functions of many independent random variables lead to classical noises (white, Poisson, and their combinations) in the scaling limit. Some singular stochastic flows and some models of oriented percolation involve very nonlinear functions and lead to nonclassical noises. Two examples are examined, Warren's `noise made by a Poisson snake' and the author's `Brownian web as a black noise'. Classical noises are stable, nonclassical are not. A new framework for the scaling limit is proposed. Old and new results are presented about noises, stability, and spectral measures.


title: Implicitizing rational hypersurfaces using approximation complexes

abstract: In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as determinants of certain graded parts of a so-called approximation complex. We detail and improve this method by providing an in-depth study of the cohomology of such a complex. In both particular cases of interest of curve and surface implicitization we also yield explicit algorithms which only involves linear algebra routines.


title: A general Liouville type theorem for some conformally invariant fully nonlinear equations

abstract: We establish a general Liouville type theorem for conformally invariant fully nonlinear equations.


title: Primes in the denominators of Igusa Class Polynomials

abstract: The purpose of this note is to suggest an analogue for genus 2 curves of part of Gross and Zagier's work on elliptic curves. Experimentally, for genus 2 curves with CM by a quartic CM field K, it appears that primes dividing the denominators of the discriminants of the Igusa class polynomials all have the property 1) that they are bounded by d, the absolute value of the discriminant of K, and 2) that they divide d-x^2, for some integer x whose square is less than d. A slightly stronger condition is given in Section 3. Such primes are primes of bad reduction for the genus 2 curve and primes of supersingular reduction for the Jacobian of the genus 2 curve.


title: Symmetrized Chebyshev Polynomials

abstract: We define a class of multivariate Laurent polynomials closely related to Chebyshev polynomials, and prove the simple but somewhat surprising (in view of the fact that the signs of the coefficients of the Chebyshev polynomials themselves alternate) result that their coefficients are non-negative. We further show that a Central Limit Theorem holds for our polynomials.


title: Pseudospectra of semi-classical (pseudo)differential operators

abstract: The purpose of this note is to show how some results from the theory of partial differential equations apply to the study of pseudo-spectra of non-self-adjoint operators, which is a topic of current interest in applied mathematics.


title: Physical measures for partially hyperbolic surface endomorphisms

abstract: We consider dynamical systems generated by partially hyperbolic surface endomorphisms of class C^r with one-dimensional strongly unstable subbundle. As the main result, we prove that such a dynamical system generically admits finitely many ergodic physical measures whose union of basins of attraction has total Lebesgue measure, provided that r>= 19.


title: The Locally Finite Part of the Dual Coalgebra of Quantized Irreducible Flag Manifolds

abstract: The notion of locally finite part of the dual coalgebra of certain quantized coordinate rings is introduced. In the case of irreducible flag manifolds this locally finite part is shown to coincide with a natural quotient coalgebra V of U_q(g). On the way the coradical filtration of V is determined. A graded version of the duality between V and the quantized coordinate ring is established. This leads to a natural construction of several examples of quantized vector spaces. As an application covariant first order differential calculi on quantized irreducible flag manifolds are classified. Keywords: quantum groups, quantized flag manifolds


title: The number of trees half of whose vertices are leaves and asymptotic enumeration of plane real algebraic curves

abstract: The number of topologically different plane real algebraic curves of a given degree $d$ has the form $\exp(C d^2 + o(d^2))$. We determine the best available upper bound for the constant $C$. This bound follows from Arnold inequalities on the number of empty ovals. To evaluate its rate we show its equivalence with the rate of growth of the number of trees half of whose vertices are leaves and evaluate the latter rate.


title: Triangulations of Seifert Fibred Manifolds

abstract: It is not completely unreasonable to expect that a computable function bounding the number of Pachner moves needed to change any triangulation of a given 3-manifold into any other triangulation of the same 3-manifold exists. In this paper we describe a procedure yielding an explicit formula for such a function if the 3-manifold in question is a Seifert fibred space.


title: The structure of the group of conjugating automorphisms and the linear representation of the braid groups of some manifolds

abstract: In this paper we describe the structure of a group of conjugating automorphisms $C_n$ of free group and prove that this structure is similar to the structure of a braid group $B_n$ with $n>1$ strings. We find the linear representation of group $C_n$. Also we prove that the braid group $B_n(S^2)$ of 2--sphere, mapping class group M(0,n) of the $n$--punctured 2--sphere and the braid group $B_3(P^2)$ of the projective plane are linear. Using result of J. Dyer, E. Formanek, E. Grossman and the faithful linear representation of Lawrence--Krammer of $B_4$ we construct faithful linear representation of the automorphism group $Aut(F_2)$.


title: Sets with two associative operation

abstract: In this paper we consider dimonoids, which are sets equipped with two associative binary operations. Dimonoids in the sense of J.-L. Loday are xamples of duplexes. The set of all permutations, gives an example of a duplex which is not a dimonoid. We construct a free duplex generated by a given set via planar trees and then we prove that the set of all permutations form a free duplex on an explicitly described set of generators. We also consider duplexes coming from planar binary trees and vertices of the cubes. We prove that these duplexes are free with one generator in appropriate variety of duplexes.


title: On coverings of Deligne-Mumford stacks and surjectivity of the Brauer map

abstract: This paper proves a result on the existence of finite flat scheme covers of Deligne-Mumford stacks. This result is used to prove that a large class of smooth Deligne-Mumford stacks with affine moduli space are quotient stacks, and in the case of quasi-projective moduli space, to reduce the question to one concerning Brauer groups of schemes.


title: Flowlines transverse to fibred knots and links

abstract: We consider vector fields on knot/link complements in $S^3$ which are transverse to the fibres of a fibration of the complement over a circle. We prove that a large class of fibred knots/links, including all non-torus fibred 2-bridge knots, has the following property: any vector field transverse to the fibres of the fibration of the complement must possess periodic orbits representing all possible knot and link types.


title: Seshadri Constants and the geometry of surfaces

abstract: We examine how the Seshadri constant of an ample line bundle at a very general point of an algebraic surface can carry important global geometric information about the surface. In particular, we obtain a numerical criterion for when a surface admits a dominant map to an algebraic curve.


title: Multiple Harmonic Series I: Generalizations of Wolstenholme's Theorem

abstract: In this paper we will study the p-divisibility of partial sums of multiple zeta value series. In particular we provide some generalizations of the classical Wolstenholme's Theorem.


title: Adjointable monoidal functors and quantum groupoids

abstract: Every monoidal functor G: C --> M has a canonical factorization through the category of bimodules over some monoid R in M such that the factor U: C -->_R M_R is strongly unital. Using this result and the characterization of the forgetful functors M_A -->_R M_R of bialgebroids A over R given by Schauenburg together with their bimonad description given by the author recently here we characterize the "long" forgetful functors M_A -->_R M_R --> M of both bialgebroids and weak bialgebras.


title: Further results on Liouville type theorems for some conformally invariant fully nonlinear equations

abstract: We present some further results on Liouville type theorems for some conformally invariant fully nonlinear equations.


title: Algebraic Geometry of Bayesian Networks

abstract: We study the algebraic varieties defined by the conditional independence statements of Bayesian Networks. A complete algebraic classification is given for Bayesian Networks on at most five random variables. Hidden variables are related to the geometry of higher secant varieties.


title: On the problem of global optimisation of a multivariable function

abstract: One of the actual problems in the field of numerical optimisation, as is well known, is the problem of the search for the global extremum of a multivariate function [1-9,13,14,17-21]. Various versions of the random search methods [6,8,9] are considered to be the most reliable to solve the problem of global optimisation. In this work we present the little-known methods of Halton and LP-search, which has been proved as one of the best practical solutions of the global optimisation problem.


title: The combinatorial quantum cohomology ring of $G/B$

abstract: A purely combinatorial construction of the quantum cohomology ring of the flag manifold $G/B$ is presented. We show that the ring we construct is commutative, associative and satisfies the usual grading condition. By using results of two of our previous papers, we obtain a presentation of this ring in terms of generators and relations, as well as formulas for quantum Giambelli polynomials. We show that these polynomials satisfy a certain orthogonality property, which - for G=SL_n(C) - was proved previously by Fomin, Gelfand and Postnikov.


title: Unipotent reduction and the Poincare Problem

abstract: The Poincare Problem can be reduced to a problem on fibered surfaces, concretely, to bound the genus of the fibration by means of numerical information of the canonical sheaf of the associated foliation. In this paper we: 1. explain how this reduction can be carried out, 2. apply unipotent reduction to obtain some possible answers to the problem, 3. obtain an answer under some hypotheses on the eigenvalues of the singularities of the foliation


title: Jones index theory for Hilbert C*-bimodules and its equivalence with conjugation theory

abstract: We introduce the notion of finite right (respectively left) numerical index on a bimodule $X$ over C*-algebras A and B with a bi-Hilbertian structure. This notion is based on a Pimsner-Popa type inequality. The right (respectively left) index element of X can be constructed in the centre of the enveloping von Neumann algebra of A (respectively B). X is called of finite right index if the right index element lies in the multiplier algebra of A. In this case we can perform the Jones basic construction. Furthermore the C*--algebra of bimodule mappings with a right adjoint is a continuous field of finite dimensional C*-algebras over the spectrum of Z(M(A)), whose fiber dimensions are bounded above by the index. We show that if A is unital, the right index element belongs to A if and only if X is finitely generated as a right module. We show that bi-Hilbertian, finite (right and left) index C*-bimodules are precisely those objects of the tensor 2-C*-category of right Hilbertian C*-bimodules with a conjugate object, in the sense of Longo and Roberts, in the same category.


title: Global existence and scattering for rough solutions of a nonlinear Schroedinger equation on R^3

abstract: We prove global existence and scattering for the defocusing, cubic nonlinear Schr\"odinger equation in $H^s(\rr^3)$ for $s > {4/5}$. The main new estimate in the argument is a Morawetz-type inequality for the solution $\phi$. This estimate bounds $\|\phi(x,t)\|_{L^4_{x,t}(\rr^3 \times \rr)}$, whereas the well-known Morawetz-type estimate of Lin-Strauss controls $\int_0^{\infty}\int_{\rr^3}\frac{(\phi(x,t))^4}{|x|} dx dt


title: Green-Lazarsfeld's Conjecture for Generic Curves of Large Gonality

abstract: We use Green's canonical syzygy conjecture for generic curves to prove that the Green-Lazarsfeld gonality conjecture holds for generic curves of genus g, and gonality d, if $g/3<d<[g/2]+2$.


title: Stiffness of finite free resolutions and the Canonical Element Conjecture

abstract: Over a noetherian local ring certain minimal finite free resolutions possess a property which we call stiffness. This calls to mind the Buchsbaum-Eisenbud criterion for exactness. Yet we only prove stiffness over equicharacteristic rings. However, Hochster's Canonical Element Conjecture is shown to be true for every ring with a fixed prime residual characteristic, precisely when every resolution over each Gorenstein ring of this type is stiff.


title: Reality of non-Fock Spinors

abstract: The infinite dimensional Clifford Algebra has a maze of irreducible unitary representations. Here we determine their type -real, complex or quaternionic. Some, related to the Fermi-Fock representations, have no real or quetrnionic structures. But there are many on L(2) of the circle that do and which seem to have analytic meaning.


title: Curves of genus 3 over small finite fields

abstract: We present a table containing the maximal number of rational points on a genus 3 curve over a field of cardinality q, for all q<100. Also, some remarks on Frobenius non-classical quartics over finite fields are given.


title: A note on the existence of H-bubbles via perturbation methods

abstract: We study the problem of existence of surfaces in ${\bf R}^3$ parametrized on the sphere ${\mathbb S}^2$ with prescribed mean curvature $H$ in the perturbative case, i.e. for $H=H_0+\epsilon H_1$, where $H_0$ is a nonzero constant, $H_1$ is a $C^2$ function and $\epsilon$ is a small perturbation parameter.


title: Computing the Integer Programming Gap

abstract: We determine the maximal gap between the optimal values of an integer program and its linear programming relaxation, where the matrix and cost function are fixed but the right hand side is unspecified. Our formula involves irreducible decomposition of monomial ideals. The gap can be computed in polynomial time when the dimension is fixed.


title: Quasi-hyperbolic planes in hyperbolic groups

abstract: The hyperbolic plane admits a quasi-isometric embedding into a hyperbolic group if and only if the group is not virtually free.


title: Improving Search Algorithms by Using Intelligent Coordinates

abstract: We consider the problem of designing a set of computational agents so that as they all pursue their self-interests a global function G of the collective system is optimized. Three factors govern the quality of such design. The first relates to conventional exploration-exploitation search algorithms for finding the maxima of such a global function, e.g., simulated annealing. Game-theoretic algorithms instead are related to the second of those factors, and the third is related to techniques from the field of machine learning. Here we demonstrate how to exploit all three factors by modifying the search algorithm's exploration stage so that rather than by random sampling, each coordinate of the underlying search space is controlled by an associated machine-learning-based ``player'' engaged in a non-cooperative game. Experiments demonstrate that this modification improves SA by up to an order of magnitude for bin-packing and for a model of an economic process run over an underlying network. These experiments also reveal novel small worlds phenomena.

categories: math.OC cond-mat.stat-mech cs.MA nlin.AO


title: Minimal vectors in arbitrary Banach spaces

abstract: We extend the method of minimal vectors to arbitrary Banach spaces. It is proved, by a variant of the method, that certain quasinilpotent operators on arbitrary Banach spaces have hyperinvariant subspaces.


title: The distribution of the free path lengths in the periodic two-dimensional Lorentz gas in the small-scatterer limit

abstract: We study the free path length and the geometric free path length in the model of the periodic two-dimensional Lorentz gas (Sinai billiard). We give a complete and rigorous proof for the existence of their distributions in the small-scatterer limit and explicitly compute them. As a corollary one gets a complete proof for the existence of the constant term $c=2-3\ln 2+\frac{27\zeta(3)}{2\pi^2}$ in the asymptotic formula $h(T)=-2\ln \eps+c+o(1)$ of the KS entropy of the billiard map in this model, as conjectured by P. Dahlqvist.


title: Non abelian cohomology: the point of view of gerbed tower

abstract: In this paper we define a notion of gerbed tower, and use this notion to give a geometric representation of cohomological classes.


title: Integral points and effective cones of moduli spaces of stable maps

abstract: Consider the Fulton-MacPherson configuration space of $n$ points on $\P^1$, which is isomorphic to a certain moduli space of stable maps to $\P^1$. We compute the cone of effective ${\mathfrak S}_n$-invariant divisors on this space. This yields a geometric interpretation of known asymptotic formulas for the number of integral points of bounded height on compactifications of $\SL_2$ in the space of binary forms of degree $n\ge 3$.


title: The notion of N=1 supergeometric vertex operator superalgebra and the isomorphism theorem

abstract: We introduce the notion of N=1 supergeometric vertex operator superalgebra motivated by the worldsheet geometry underlying genus-zero, two-dimensional, holomorphic N=1 superconformal field theory. We then show, assuming the convergence of certain projective factors, that the category of such objects is isomorphic to the category of N=1 Neveu-Schwarz vertex operator superalgebras.


title: On the existence of a new family of Diophantine equations for $\bf \Omega$

abstract: We show how to determine the $k$-th bit of Chaitin's algorithmically random real number $\Omega$ by solving $k$ instances of the halting problem. From this we then reduce the problem of determining the $k$-th bit of $\Omega$ to determining whether a certain Diophantine equation with two parameters, $k$ and $N$, has solutions for an odd or an even number of values of $N$. We also demonstrate two further examples of $\Omega$ in number theory: an exponential Diophantine equation with a parameter $k$ which has an odd number of solutions iff the $k$-th bit of $\Omega$ is 1, and a polynomial of positive integer variables and a parameter $k$ that takes on an odd number of positive values iff the $k$-th bit of $\Omega$ is 1.


title: Special orthogonal splittings of $L_1^{2k}$

abstract: We show that for each positive integer $k$ there is a $k\times k$ matrix $B$ with $\pm 1$ entries such that putting $E$ to be the span of the rows of the $k\times 2k$ matrix $[\sqrt{k}I_k,B]$, then $E,E^{\bot}$ is a Kashin splitting: The $L_1^{2k}$ and the $L_2^{2k}$ are universally equivalent on both $E$ and $E^{\bot}$. Moreover, the probability that a random $\pm 1$ matrix satisfies the above is exponentially close to 1.


title: Integrals of Motion for Discrete-Time Optimal Control Problems

abstract: We obtain a discrete time analog of E. Noether's theorem in Optimal Control, asserting that integrals of motion associated to the discrete time Pontryagin Maximum Principle can be computed from the quasi-invariance properties of the discrete time Lagrangian and discrete time control system. As corollaries, results for first-order and higher-order discrete problems of the calculus of variations are obtained.


title: Relations for Multiple Zeta Values and Mellin Transforms of Multiple Polylogarithms

abstract: The relationship between the Ohno relation and multiple polylogarithms are discussed. Using this relationship, the algebraic reduction of the Ohno relation is given.


title: A theory of bond portfolios

abstract: We introduce a bond portfolio management theory based on foundations similar to those of stock portfolio management. A general continuous-time zero-coupon market is considered. The problem of optimal portfolios of zero-coupon bonds is solved for general utility functions, under a condition of no-arbitrage in the zero-coupon market. A mutual fund theorem is proved, in the case of deterministic volatilities. Explicit expressions are given for the optimal solutions for several utility functions.


title: Equivariant Gysin maps and pulling back fixed points

abstract: We develop a new approach to the pulling back fixed point theorem of W. Browder and use it in order to prove various generalizations of this result.


title: A multiplicative property of quantum flag minors II

abstract: Let U^+ be the plus part of the quantized enveloping algebra of a simple Lie algebra and let B^* be the dual canonical basis of U^+. Let b,b' be in B* and suppose that one of the two elements is a q-commuting product of quantum flag minors. We show that b and b' are multiplicative if and only if they q-commute.


title: Singularity of Mean Curvature Flow of Lagrangian Submanifolds

abstract: In this article we study the tangent cones at first time singularity of a Lagrangian mean curvature flow. If the initial compact submanifold is Lagrangian and almost calibrated by Re\Omega in a Calabi-Yau n-fold (M,\Omega), and T>0 is the first blow-up time of the mean curvature flow, then the tangent cone of the mean curvature flow at a singular point (X,T) is a stationary Lagrangian integer multiplicity current in R\sup 2n with volume density greater than one at X. When n=2, the tangent cone consists of a finite union of more than one 2-planes in R\sup 4 which are complex in a complex structure on R\sup 4.


title: Hexagonal circle patterns with constant intersection angles and discrete Painleve and Riccati equations

abstract: Hexagonal circle patterns with constant intersection angles mimicking holomorphic maps z^c and log(z) are studied. It is shown that the corresponding circle patterns are immersed and described by special separatrix solutions of discrete Painleve and Riccati equations. The general solution of the Riccati equation is expressed in terms of the hypergeometric function. Global properties of these solutions, as well as of the discrete z^c and log(z), are established.


title: The Schaper Formula and the Lascoux, Leclerc and Thibon-algorithm

abstract: We deduce the Schaper formula for Hecke-algebras at root of unity from the Jantzen conjecture in the LLT-setup. This explains an observation due to R. Rouquier.


title: A very short proof of Forester's rigidity result

abstract: The deformation space of a simplicial G-tree T is the set of G-trees which can be obtained from T by some collapse and expansion moves, or equivalently, which have the same elliptic subgroups as T. We give a short proof of a rigidity result by Forester which gives a sufficient condition for a deformation space to contain an Aut(G)-invariant G-tree. This gives a sufficient condition for a JSJ splitting to be invariant under automorphisms of G. More precisely, the theorem claims that a deformation space contains at most one strongly slide-free G-tree, where strongly slide-free means the following: whenever two edges e_1, e_2 incident on a same vertex v are such that G_{e_1} is a subset of G_{e_2}, then e_1 and e_2 are in the same orbit under G_v.


title: Grading the Translation Functors in type A

abstract: We deal with the representation theory of quantum groups and Hecke algebras at roots of unity. We relate the philosophy of Andersen, Jantzen and Soergel on graded translated functors to the Lascoux, Leclerc and Thibon-algorithm. This goes via the Murphy standard basis theory and the idempotents coming from the Murphy-Jucys operators. Our results lead to a guess on a tilting algorithm outside the lowest $p^2$ alcove, which at least in the $SL_2$-case coincides with Erdmann's results.


title: System of phase oscillators with diagonalizable interaction

abstract: We consider a system of N phase oscillators having randomly distributed natural frequencies and diagonalizable interactions among the oscillators. We show that in the limit of N going to infinity, all solutions of such a system are incoherent with probability one for any strength of coupling, which implies that there is no sharp transition from incoherence to coherence as the coupling strength is increased, in striking contrast to Kuramoto's (special) oscillator system.


title: The computation of the non-commutative generalization of the A-polynomial for the figure-eight knot

abstract: The paper contains the computation of the noncommutative A-ideal of the figure-eight knot, a noncommutative generalization of the A-polynomial. We show that if a knot has the same noncommutative A-ideal as the figure-eight knot, then all colored Kauffman brackets are the same as those of the figure-eight knot.


title: Moduli of affine schemes with reductive group action

abstract: For a connected reductive group G and a finite-dimensional G-module V, we study the invariant Hilbert scheme that parameterizes closed G-stable subschemes of V affording a fixed, multiplicity-finite representation of G in their coordinate ring. We construct an action on this invariant Hilbert scheme of a maximal torus T of G, together with an open T-stable subscheme admitting a good quotient. The fibers of the quotient map classify affine G-schemes having a prescribed categorical quotient by a maximal unipotent subgroup of G. We show that V contains only finitely many multiplicity-free G-subvarieties, up to the action of the centralizer of G in GL(V). As a consequence, there are only finitely many isomorphism classes of affine G-varieties affording a prescribed multiplicity-free representation in their coordinate ring. Final version, to appear in Journal of Algebraic Geometry


title: Errata to: Local contribution to the Lefschetz fixed point formula

abstract: This note contains a correction to the paper, ``Local contribution to the Lefschetz fixed point formula'', Inv. Math. 111 (1993), pp. 1-33.


title: Hyperbolic trapped rays and global existence of quasilinear wave equations

abstract: We prove global existence for quasilinear wave equations outside of a wide class of obstacles. The obstacles may contain trapped hyperbolic rays as long as there is local exponential energy decay for the associated linear wave equation. Thus, we can handle all non-trapping obstacles. We are also able to handle non-diagonal systems satisfying the appropriate null condition.


title: Couplings of Uniform Spanniing Forests

abstract: We prove the existence of an automorphism-invariant coupling for the wired and the free uniform spanning forests on Cayley graphs of finitely generated residually amenable groups.


title: Smoothing Before Estimating Uncertainty, Scaling, and Intermittency: Application to Short Heart Rate Signals

abstract: Three aspects of time series are uncertainty (dispersion at a given time scale), scaling (time-scale dependence), and intermittency (inclination to change dynamics). Simple measures of dispersion are the mean absolute deviation and the standard deviation; scaling exponents describe how dispersions change with the time scale. Intermittency has been defined as a difference between two scaling exponents. After taking a moving average, these measures give descriptive information, even for short heart rate records. For this data, dispersion and intermittency perform better than scaling exponents.


title: On Regularly Branched Maps

abstract: Let $f\colon X\to Y$ be a perfect map between finite-dimensional metrizable spaces and $p\geq 1$. It is shown that the space $C^*(X,\R^p)$ of all bounded maps from $X$ into $\R^p$ with the source limitation topology contains a dense $G_{\delta}$-subset consisting of $f$-regularly branched maps. Here, a map $g\colon X\to\R^p$ is $f$-regularly branched if, for every $n\geq 1$, the dimension of the set $\{z\in Y\times\R^p: |(f\times g)^{-1}(z)|\geq n\}$ is $\leq n\cdot\big(\dim f+\dim Y\big)-(n-1)\cdot\big(p+\dim Y\big)$. This is a parametric version of the Hurewicz theorem on regularly branched maps.


title: Dynamics of a family of piecewise-linear area-preserving plane maps I. Rational rotation numbers

abstract: This paper studies the behavior under iteration of the maps T_{ab}(x,y) = (F_{ab}(x)-y,x) of the plane R^2, in which F_{ab}(x)=ax if x>=0 and bx if x<0. The orbits under iteration correspond to solutions of the nonlinear difference equation x_{n+2}= 1/2(a-b)|x_{n+1}| + 1/2(a+b)x_{n+1} - x_n. This family of piecewise-linear maps has the parameter space (a,b)\in R^2. These maps are area-preserving homeomorphisms of R^2 that map rays from the origin into rays from the origin. The action on rays defines a map S_{ab} of the circle, which has a well-defined rotation number. This paper characterizes the possible behaviors of T_{ab} under iteration when the rotation number is rational. It characterizes cases where the map T_{ab} is a periodic map.


title: D-modules and characters of semi-simple Lie groups

abstract: A celebrated theorem of Harich-Chandra asserts that all invariant eigendistributions on a semisimple Lie group are locally integrable functions. We show that this result is a consequence of an algebraic property of a holonomic D-module defined by Kashiwara and Hotta.


title: Regularity of the D-module associated to a symmetric pair

abstract: The invariant eigendistributions on a reductive Lie algebra are solutions of a holonomic D-module which has been proved to be regular by Kashiwara-Hotta. We solve here a conjecture of Sekiguchi saying that in the more general case of symmetric pairs, the corresponding module are still regular.


title: Linearization of proper groupoids

abstract: We prove the following result, conjectured by Alan Weinstein: every smooth proper Lie groupoid near a fixed point is locally linearizable, i.e. it is locally isomorphic to the associated groupoid of a linear action of a compact Lie group. In combination with a slice theorem of Weinstein, our result implies the smooth linearizability of a proper Lie groupoid in the neighborhood of an orbit under a mild condition.


title: On the ranges of bimodule projections

abstract: We develop a symbol calculus for normal bimodule maps over a masa that is the natural analogue of the Schur product theory. Using this calculus we are able to easily give a complete description of the ranges of contractive normal bimodule idempotents that avoids the theory of J*-algebras. We prove that if $P$ is a normal bimodule idempotent and $\|P\| < 2/\sqrt{3}$ then $P$ is a contraction. We finish with some attempts at extending the symbol calculus to non-normal maps.


title: Symmetric groups and random matrices

abstract: The convolution of indicators of two conjugacy classes on the symmetric group S_q is usually a complicated linear combination of indicators of many conjugacy classes. Similarly, a product of the moments of the Jucys--Murphy element involves many conjugacy classes with complicated coefficients. In this article we consider a combinatorial setup which allows us to manipulate such products easily and we show that it very closely related to the combinatorial approach to random matrices. Our formulas are exact (in a sense that they hold not only asymptotically for large q). This result has many interesting applications, for example it allows to find precise asymptotics of characters of large symmetric groups and asymptotics of the Plancherel measure on Young diagrams.


title: On the distribution of free-path lengths for the periodic Lorentz gas III

abstract: In a flat 2-torus with a disk of diameter $r$ removed, let $\Phi_r(t)$ be the distribution of free-path lengths (the probability that a segment of length larger than $t$ with uniformly distributed origin and direction does not meet the disk). We prove that $\Phi_r(t/r)$ behaves like $\frac{2}{\pi^2 t}$ for each $t>2$ and in the limit as $r\to 0^+$, in some appropriate sense. We then discuss the implications of this result in the context of kinetic theory.


title: A route to computational chaos revisited: noninvertibility and the breakup of an invariant circle

abstract: In a one-parameter study of a noninvertible family of maps of the plane arising in the context of a numerical integration scheme, Lorenz studied a sequence of transitions from an attracting fixed point to "computational chaos." As part of the transition sequence, he proposed the following as a possible scenario for the breakup of an invariant circle: the invariant circle develops regions of increasingly sharper curvature until at a critical parameter value it develops cusps; beyond this parameter value, the invariant circle fails to persist, and the system exhibits chaotic behavior on an invariant set with loops [Lorenz, 1989]. We investigate this problem in more detail and show that the invariant circle is actually destroyed in a global bifurcation before it has a chance to develop cusps. Instead, the global unstable manifolds of saddle-type periodic points are the objects which develop cusps and subsequently "loops" or "antennae." The one-parameter study is better understood when embedded in the full two-parameter space and viewed in the context of the two-parameter Arnold horn structure. Certain elements of the interplay of noninvertibility with this structure, the associated invariant circles, periodic points and global bifurcations are examined.


title: Simplicial Endomorphisms

abstract: The monoids of simplicial endomorphisms, i.e. the monoids of endomorphisms in the simplicial category, are submonoids of monoids one finds in Temperley-Lieb algebras, and as the monoids of Temperley-Lieb algebras are linked to situations where an endofunctor is adjoint to itself, so the monoids of simplicial endomorphisms are linked to arbitrary adjoint situations. This link is established through diagrams of the kind found in Temperley-Lieb algebras. Results about these matters, which were previously prefigured up to a point, are here surveyed and reworked. A presentation of monoids of simplicial endomorphisms by generators and relations has been given a long time ago. Here a closely related presentation is given, with completeness proved in a new and self-contained manner.


title: Lower Bounds for the Generalized h-Vectors of Centrally Symmetric Polytopes

abstract: In a previous article, we proved tight lower bounds for the coefficients of the generalized $h$-vector of a centrally symmetric rational polytope using intersection cohomology of the associated projective toric variety. Here we present a new proof based on the theory of combinatorial intersection cohomology developed by Barthel, Brasselet, Fieseler and Kaup. This theory is also valid for nonrational polytopes when there are no corresponding toric varieties. So we can establish our bounds for centrally symmetric polytopes even without requiring them to be rational.


title: Gerbes and abelian motives

abstract: Assuming the Hodge conjecture for abelian varieties of CM-type, one obtains a good category of abelian motives over the algebraic closure of a finite field and a reduction functor to it from the category of CM-motives. Consequentely, one obtains a morphism of gerbes of fibre functors with certain properties. We prove unconditionally that there exists a morphism of gerbes with these properties, and we classify them.


title: Nef dimension of minimal models

abstract: We reduce the Abundance Conjecture in dimension 4 to the following numerical statement: if the canonical divisor K is nef and has maximal nef dimension, then K is big. From this point of view, we ``classify'' in dimension 2 nef divisors which have maximal nef dimension, but which are not big.


title: On CM abelian varieties over imaginary quadratic fields

abstract: In this paper, we associate canonically to every imaginary quadratic field $K=\Bbb Q(\sqrt{-D})$ one or two isogenous classes of CM abelian varieties over $K$, depending on whether $D$ is odd or even ($D \ne 4$). These abelian varieties are characterized as of smallest dimension and smallest conductor, and such that the abelian varieties themselves descend to $\Bbb Q$. When $D$ is odd or divisible by 8, they are the `canonical' ones first studied by Gross and Rohrlich. We prove that these abelian varieties have the striking property that the vanishing order of their $L$-function at the center is dictated by the root number of the associated Hecke character. We also prove that the smallest dimension of a CM abelian variety over $K$ is exactly the ideal class number of $K$ and classify when a CM abelian variety over $K$ has the smallest dimension.


title: Eigenvalues, singular values, and Littlewood-Richardson coefficients

abstract: We characterize the relationship between the singular values of a complex Hermitian (resp., real symmetric, complex symmetric) matrix and the singular values of its off-diagonal block. We also characterize the eigenvalues of an Hermitian (or real symmetric) matrix C=A+B in terms of the combined list of eigenvalues of A and B. The answers are given by Horn-type linear inequalities. The proofs depend on a new inequality among Littlewood-Richardson coefficients.


title: On the involutions fixing the class of a lattice

abstract: With any integral lattice \Lambda in n-dimensional euclidean space we associate an elementary abelian 2-group I(\lambda) whose elements represent parts of the dual lattice that are similar to \Lambda. There are corresponding involutions on modular forms for which the theta series of \Lambda is an eigenform; previous work has focused on this connection. In the present paper I(\Lambda) is considered as a quotient of some finite 2-subgroup of O_n(\R). We establish upper bounds, depending only on n, for the order of I(\Lambda), and we study the occurrence of similarities of specific types.


title: Marked length rigidity for one dimensional spaces

abstract: Any two compact, complete, one-dimensional geodesic spaces with identical marked length spectrum have isometric $\pi_1$-hull. The present version contains errors, notably in Lemmas 2.2 and 2.3 (path cancellations can be more complicated), which then propagate through the paper. The main result is correct as stated, and a proof can be found in the joint paper with David Constantine, arXiv:1209.3709


title: Modeling Elasstic Shells Immersed in Fluid

abstract: We describe a numerical method to simulate an elastic shell immersed in a viscous incompressible fluid. The method is developed as an extension of the immersed boundary method using shell equations based on the Kirchhoff-Love and the planar stress hypotheses. A detailed derivation of the shell equations used in the numerical method is presented. This derivation as well as the numerical method, use techniques of differential geometry in an essential way. Our main motivation for the development of this method is its use in the construction of a comprehensive three-dimensional computational model of the cochlea (the inner ear). The central object of study within the cochlea is the ``basilar membrane'', which is immersed in fluid and whose elastic properties rather resemble those of a shell. We apply the method to a specific example, which is a prototype of a piece of the basilar membrane and study the convergence of the method in this case. Some typical features of cochlear mechanics are already captured in this simple model. In particular, numerical experiments have shown a traveling wave propagating from the base to the apex of the model shell in response to external excitation in the fluid.


title: A note on localizations of perfect groups

abstract: We describe a perfect group whose localization is not perfect.


title: Khovanov Homology and Conway Mutation

abstract: We present an easy example of mutant links with different Khovanov homology. The existence of such an example is important because it shows that Khovanov homology cannot be defined with a skein rule similar to the skein relation for the Jones polynomial.


title: Residue forms on singular hypersurfaces

abstract: The purpose of this paper is to point out a relation between the canonical sheaf and the intersection complex of a singular algebraic variety. We focus on the hypersurface case. Let $M$ be a complex manifold, $X\subset M$ a singular hypersurface. We study residues of top-dimensional meromorphic forms with poles along $X$. Applying resolution of singularities sometimes we are able to construct residue classes either in $L^2$-cohomology of $X$ or in the intersection cohomology. The conditions allowing to construct these classes coincide. They can be formulated in terms of the weight filtration. Finally, provided that these conditions hold, we construct in a canonical way a lift of the residue class to cohomology of $X$.


title: Weights in the cohomology of toric varieties

abstract: We describe the weight filtration in the cohomology of toric varieties. We present a role of the Frobenius automorphism in an elementary way. We prove that equivariant intersection homology of an arbitrary toric variety is pure. We obtain results concerning Koszul duality: nonequivariant intersection cohomology is equal to the cohomology of the Koszul complex $IH_T^*(X)\otimes H^*(T)$. We also describe the weight filtration in $IH^*(X)$.


title: On Singular Connections and Geometrically Atomic Maps

abstract: We prove that the introduction of the class of geometrically atomic bundle maps by Harvey and Lawson in their theory of singular connections is not necessary because an arbitrary map satisfies the conditions of geometric atomicity.


title: Modelling the Zero Point Field

abstract: We construct a model of the Zero Point Field in terms of an infinite collection of oscillators. This has relevance because of the recent identification of Dark energy with such a Zero Point Field.


title: Locality for Classical Logic

abstract: In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admissible. In addition, they enjoy a top-down symmetry and some normal forms for derivations that are not available in the sequent calculus. Identity axiom, cut, weakening and also contraction can be reduced to atomic form. This leads to rules that are local: they do not require the inspection of expressions of unbounded size.


title: The Regge symmetry is a scissors congruence in hyperbolic space

abstract: We give a constructive proof that the Regge symmetry is a scissors congruence in hyperbolic space. The main tool is Leibon's construction for computing the volume of a general hyperbolic tetrahedron. The proof consists of identifying the key elements in Leibon's construction and permuting them.


title: Mixing and decay of correlations in non-uniformly expanding maps: a survey of recent results

abstract: We discuss recent results on decay of correlations for non-uniformly expanding maps. Throughout the discussion, we address the question of why different dynamical systems have different rates of decay of correlations and how this may reflect underlying geometrical characteristics of the system.


title: On the bridge number of knot diagrams with minimal crossings

abstract: Given a diagram $D$ of a knot $K$, we consider the number $c(D)$ of crossings and the number $b(D)$ of overpasses of $D$. We show that, if $D$ is a diagram of a nontrivial knot $K$ whose number $c(D)$ of crossings is minimal, then $1+\sqrt{1+c(D)} \leq b(D)\leq c(D)$. These inequalities are shape in the sense that the upper bound of $b(D)$ is achieved by alternating knots and the lower bound of $b(D)$ is achieved by torus knots. The second inequality becomes an equality only when the knot is an alternating knot. We prove that the first inequality becomes an equality only when the knot is a torus knot.


title: A Comprehensive Three-Dimensional Model of the Cochlea

abstract: The human cochlea is a remarkable device, able to discern extremely small amplitude sound pressure waves, and discriminate between very close frequencies. Simulation of the cochlea is computationally challenging due to its complex geometry, intricate construction and small physical size. We have developed, and are continuing to refine, a detailed three-dimensional computational model based on an accurate cochlear geometry obtained from physical measurements. In the model, the immersed boundary method is used to calculate the fluid-structure interactions produced in response to incoming sound waves. The model includes a detailed and realistic description of the various elastic structures present. In this paper, we describe the computational model and its performance on the latest generation of shared memory servers from Hewlett Packard. Using compiler generated threads and OpenMP directives, we have achieved a high degree of parallelism in the executable, which has made possible several large scale numerical simulation experiments that study the interesting features of the cochlear system. We show several results from these simulations, reproducing some of the basic known characteristics of cochlear mechanics.


title: New classes of domains with explicit Bergman kernel

abstract: We introduce two classes of "egg type" domains, built on general bounded symmetric domains, for which we compute the Bergmann kernel in explicit form. We use the characterization of bounded symmetric domains through Jordan triple systems. The egg type domains are defined using the generic norm. A generalization of the Hua integral is computed; the result shows the existence of a special polynomial with integer or half-integer coefficients, attached to each irreducible bounded symmetric domain.


title: Dualizing Complexes and Perverse Modules over Differential Algebras

abstract: A differential algebra of finite type over a field k is a filtered algebra A, such that the associated graded algebra is finite over its center, and the center is a finitely generated k-algebra. The prototypical example is the algebra of differential operators on a smooth affine variety, when char k = 0. We study homological and geometric properties of differential algebras of finite type. The main results concern the rigid dualizing complex over such an algebra A: its existence, structure and variance properties. We also define and study perverse A-modules, and show how they are related to the Auslander property of the rigid dualizing complex of A.


title: Convergence of Hermitian-Yang-Mills Connections on K\"ahler Surfaces and mirror symmetry

abstract: The purpose of this paper is to exhibit a natural construction between complex geometry and symplectic geometry following the idea of mirror symmetry. Suppose we are given a family of pairs of 2-dimensional K\"ahler tori and stable holomorphic vector bundles on them $(\hat M_{\ep}, E_{\ep})$, \ep \in (0, 1]$, and each has structure of a Lagrangian torus fibration $\pi:\hat M_{\ep} \to B$ whose fibers are of diameter $O(\ep)$, and let $A_{\ep}$ be a family of hermitian Yang-Mills(HYM) connections on $E_{\ep}$. As $\ep$ goes to zero, $A_{\ep}$ will, modulo possible bubbles, converge to a connection which is flat on each fiber. Since each fiber is a torus, limit connection will determine elements of the dual torus, which are points of the fiber of the mirror $M_1$. These points gather to make up (special) Lagrangian variety.


title: Preservation of perfectness and acyclicity; Berrick and Casacuberta's universal acyclic space localized at a set of primes

abstract: In this paper we answer negatively a question posed by Casacuberta, Farjoun, and Libman about the preservation of perfect groups under localization functors. Indeed, we show that a certain $P$-localization of Berrick and Casacuberta's universal acyclic group is not perfect. We also investigate under which conditions perfectness is preserved: For instance, we show that if the localization of a perfect group is finite then it is perfect.