A refinement of the Ray–Singer torsion

We propose a refinement of the Ray–Singer torsion, which can be viewed as an analytic counterpart of the refined combinatorial torsion introduced by Turaev. Given a closed, oriented manifold of odd dimension with fundamental group Γ, the refined torsion is a complex valued, holomorphic function defined for representations of Γ which are close to the space of unitary representations. When the representation is unitary the absolute value of the refined torsion is equal to the Ray–Singer torsion, while its phase is determined by the η-invariant. As an application we extend and improve a result of Farber about the relationship between the absolute torsion of Farber–Turaev and the η-invariant. To cite this article: M. Braverman, T. Kappeler, C. R. Acad. Sci. Paris, Ser. I 341 (2005).     

Some results on special stable vector bundles of rank 3 on algebraic curves

The authors discuss the existence and classification of stable vector bundles of rank 3, with 2 3 or 4 linearly independent holomorphic sections. The sets of all such bundles are denoted by ω3^2,d and w3 respectively. Our argument leads to sufficient and necessary conditions for the existence of both kinds of bundles. The conclusion is very interesting because of its contradiction to the conjectured dimension formula of stable bundles. Finally, we give a preliminary classification of ω3^2,4 and a complete discussion on the structure of ω3^3,2/3g＋2.     

The norm of the Euler class

We prove that the norm of the Euler class E{\mathcal {E}} for flat vector bundles is 2⁻ⁿ (in even dimension n, since it vanishes in odd dimension). This shows that the Sullivan–Smillie bound considered by Gromov and Ivanov–Turaev is sharp. In the course of the proof, we construct a new cocycle representing E{\mathcal {E}} and taking only the two values ±2⁻ⁿ . Furthermore, we establish the uniqueness of a canonical bounded Euler class.     

The generalized Verschiebung map for curves of genus 2

Let C be a smooth curve, and M _r (C) the coarse moduli space of vector bundles of rank r and trivial determinant on C. We examine the generalized Verschiebung map induced by pulling back under Frobenius. Our main result is a computation of the degree of V ₂ for a general C of genus 2, in characteristic p > 2. We also give several general background results on the Verschiebung in an appendix.This paper was partially supported by fellowships from the National Science Foundation and Japan Society for the Promotion of Sciences.     

A unified Witten–Reshetikhin–Turaev invariant for integral homology spheres

We construct an invariant J _M of integral homology spheres M with values in a completion of the polynomial ring ℤ[q] such that the evaluation at each root of unity ζ gives the the SU(2) Witten–Reshetikhin–Turaev invariant τ_ζ(M) of M at ζ. Thus J _M unifies all the SU(2) Witten–Reshetikhin–Turaev invariants of M. It also follows that τ_ζ(M) as a function on ζ behaves like an “analytic function” defined on the set of roots of unity.     

The Turaev genus of an adequate knot

The Turaev genus of a knot is an obstruction to the knot being alternating. An adequate knot is a generalization of an alternating knot. A natural problem is a characterization of the Turaev genus of an adequate knot. In this paper, we show that the Turaev genus of an adequate knot is realized by the genus of the Turaev surface associated to an adequate diagram of the knot using the Khovanov homology. As a result, we obtain the additivity of the Turaev genus of adequate knots, and show that the Turaev genus of an adequate knot is “often” preserved under mutation. We also show that an n-semi-alternating knot is of Turaev genus n. This is the first examples of adequate knots of Turaev genus two or more.     

Absolute torsion and eta-invariant

In a recent joint work with V. Turaev [6], we defined a new concept of combinatorial torsion which we called absolute torsion. Compared with the classical Reidemeister torsion, it has the advantage of having a well-determined sign. Also, the absolute torsion is defined for arbitrary orientable flat vector bundles, and not only for unimodular ones, as is classical Reidemeister torsion. In this paper I show that the sign behavior of the absolute torsion, under a continuous deformation of the flat bundle, is determined by the eta-invariant and the Pontrjagin classes. This result has a twofold significance. Firstly, it justifies the definition of the absolute torsion by establishing a relation to the well-known geometric invariants of manifolds. Viewed differently, the result of this paper allows to express (partially) the eta-invariant, which is defined using analytic tools, in terms of the absolute torsion, having a purely topological definition. The result may find applications in studying the spectral flow by methods of combinatorial topology. Received January 11, 1999; in final form August 16, 1999     

Bubble tree compactification of moduli spaces of vector bundles on surfaces

We announce some results on compactifying moduli spaces of rank 2 vector bundles on surfaces by spaces of vector bundles on trees of surfaces. This is thought as an algebraic counterpart of the so-called bubbling of vector bundles and connections in differential geometry. The new moduli spaces are algebraic spaces arising as quotients by group actions according to a result of Kollár. As an example, the compactification of the space of stable rank 2 vector bundles with Chern classes c ₁ = 0, c ₁ = 2 on the projective plane is studied in more detail. Proofs are only indicated and will appear in separate papers.     

The <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-saturation for linear combination of Bernstein-Kantorovich operators

We study the L _p -saturation for the linear combination of Bernstein-Kantorovich operators. As a result we obtain the saturation class by using K-functional as well as some modulus of smoothness. Research supported by National Natural Science Foundation of China (10671019) and Zhejiang Provincial Natural Science Foundation of China (102005).     

Root Decomposition of the Ternary Malcev Algebra <Emphasis Type="Italic">M</Emphasis><Subscript>8</Subscript>

A root decomposition is constructed of the simple eight-dimensional ternary Malcev algebra M ₈. In result, M ₈ is equipped with a structure of a Z ₃-graded ternary algebra.Original Russian Text Copyright © 2005 Pozhidaev A. P.The author was supported by the Russian Science Support Foundation and partially by the Russian Foundation for Basic Research (Grant 05-01-00230).__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 4, pp. 901–906, July–August, 2005.     

Differentiable functions defined in closed sets. A problem of Whitney

In 1934, Whitney raised the question of how to recognize whether a function f defined on a closed subset X of ℝ ⁿ is the restriction of a function of class 𝒞 ^p . A necessary and sufficient criterion was given in the case n=1 by Whitney, using limits of finite differences, and in the case p=1 by Glaeser (1958), using limits of secants. We introduce a necessary geometric criterion, for general n and p, involving limits of finite differences, that we conjecture is sufficient at least if X has a “tame topology”. We prove that, if X is a compact subanalytic set, then there exists q=q _X (p) such that the criterion of order q implies that f is 𝒞 ^p . The result gives a new approach to higher-order tangent bundles (or bundles of differential operators) on singular spaces. Oblatum 21-XI-2001 & 3-VII-2002?Published online: 8 November 2002 RID="*" ID="*"Research partially supported by the following grants: E.B. – NSERC OGP0009070, P.M. – NSERC OGP0008949 and the Killam Foundation, W.P. – KBN 5 PO3A 005 21.     

Group-cograded Multiplier Hopf ${\left( { * {\text{ - }}} \right)}$algebras

Let G be a group and assume that (A _p ) _p∈G is a family of algebras with identity. We have a Hopf G-coalgebra (in the sense of Turaev) if, for each pair p,q ∈ G, there is given a unital homomorphism Δ _p,q : A _pq → A _p ⊗ A _q satisfying certain properties. Consider now the direct sum A of these algebras. It is an algebra, without identity, except when G is a finite group, but the product is non-degenerate. The maps Δ _p,q can be used to define a coproduct Δ on A and the conditions imposed on these maps give that (A,Δ) is a multiplier Hopf algebra. It is G-cograded as explained in this paper. We study these so-called group-cograded multiplier Hopf algebras. They are, as explained above, more general than the Hopf group-coalgebras as introduced by Turaev. Moreover, our point of view makes it possible to use results and techniques from the theory of multiplier Hopf algebras in the study of Hopf group-coalgebras (and generalizations). In a separate paper, we treat the quantum double in this context and we recover, in a simple and natural way (and generalize) results obtained by Zunino. In this paper, we study integrals, in general and in the case where the components are finite-dimensional. Using these ideas, we obtain most of the results of Virelizier on this subject and consider them in the framework of multiplier Hopf algebras. Presented by Ken Goodearl.     

Bundles over the Fano Threefold V 5

ABSTRACT

Using an explicit resolution of the diagonal for the variety V ₅, we provide cohomological characterizations of the universal and quotient bundles. A splitting criterion for bundles over V ₅ is also proved.

The presentation of semistable aCM bundles is shown, together with a resolution–theoretic classification of low rank aCM bundles.     

Quasi-parabolic Siegel formula

The result of Siegel that the Tamagawa number ofSL _r over a function field is 1 has an expression purely in terms of vector bundles on a curve, which is known as the Siegel formula. We prove an analogous formula for vector bundles with quasi-parabolic structures. This formula can be used to calculate the Betti numbers of the moduli of parabolic vector bundles using the Weil conjuctures An erratum to this article is available at .     

An integral estimate of Bessel function and its application

In this paper the authors give a new integral estimate of the Bessel function,which is an extension of Calder(?)n-Zygmund's result.As an application of this result,we prove that the parameterized Marcinkiewicz integralμ_Ω~p with variable kernels is of type (2,2),where the kernel functionΩdoes not have any smoothness on the unit sphere in R~n.     

Existence of the spectral gap for elliptic operators

LetM be a connected, noncompact, complete Riemannian manifold, consider the operatorL=Δ+∇V for someV∈C ²(M) with exp[V] integrable with respect to the Riemannian volume element. This paper studies the existence of the spectral gap ofL. As a consequence of the main result, let ϱ be the distance function from a point o, then the spectral gap exists provided lim_ϱ→∞ supL _ϱ<0 while the spectral gap does not exist if o is a pole and lim_ϱ→∞ infL _ϱ≥0. Moreover, the elliptic operators onR ^d are also studied. Research supported in part by AvH Foundation, NSFC(19631060), Fok Ying-Tung Educational Foundation and Scientific Research Foundation for Returned Overseas Chinese Scholars.     

The centralizer algebra of the diagonal action of the group <Emphasis Type="Italic">GL</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(ℂ) in a mixed tensor space

We consider the walled Brauer algebra Br _{k, l}(n) introduced by V. Turaev and K. Koike. We prove that it is a subalgebra of the Brauer algebra and that it is isomorphic, for sufficiently large n ∈ ℕ, to the centralizer algebra of the diagonal action of the group GL_n(ℂ) in a mixed tensor space. We also give the presentation of the algebra Br _{k, l}(n) by generators and relations. For a generic value of the parameter, the algebra is semisimple, and in this case we describe the Bratteli diagram for this family of algebras and give realizations for the irreducible representations. We also give a new, more natural proof of the formulas for the characters of the walled Brauer algebras. Bibliography: 29 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 331, 2006, pp. 170–198.     

Quantum immanants and higher Capelli identities

We consider some remarkable central elements of the universal enveloping algebraU(gl(n)) which we call quantum immanants. We express them in terms of generatorsE _ij ofU(gl(n)) and as differential operators on the space of matrices These expressions are a direct generalization of the classical Capelli identities. They result in many nontrivial properties of quantum immanants. The author is supported by the International Science Foundation and the Russian Fundamental Research Foundation.     

On the partially microlocal hypoellipticity for a class of totally characteristic operators with characteristics of constant multiplicity

In this paper, I study the microlocal hypoellipticity for a class of totally characteristic operators (1.1). My main result is as follows: Under the conditions (I), (II), if the indicial operator of (1.1) is microlocally hypoelliptic in the complement ofWF _x(Pu(t,·)) for anyu(t,x)∈C _b ^∞ ([0,T], ℰ),t∈[0,T], λ∈ℤ, then the operator (1.1) is microlocally hypoelliptic in the variablex. Supported by the Natural Science Foundation and Young Men's Science Foundation of Academia Sinica     

On the cost of computing roots of polynomials

Recently Smale has obtained probabilistic estimates of the cost of computing a zero of a polynomial using a global version of Newton's method. Roughly speaking, his result says that, with the exception of a set of polynomials where the method fails or is very slow, the cost grows as a polynomial in the degree. He also asked whether similar results hold for PL homotopy methods. This paper gives such a result for a special algorithm of the PL homotopy type devised by Kuhn. Its main result asserts that the cost of computing some zero of a polynomial of degreen to an accuracy of ε (measured by the number of evaluations of the polynomial) grows no faster than O(n ³ log₂(n/ε)). This is a worst case analysis and holds for all polynomials without exception. This work was supported, in part, by National Science Foundation Grant MCS79-10027 and, in part, by a fellowship of the Guggenheim Foundation.