Serre Theorem for involutory Hopf algebras

We call a monoidal category ${\mathcal C}$ a Serre category if for any $C$, $D \in {\mathcal C}$ such that C\ot D is semisimple, $C$ and $D$ are semisimple objects in ${\mathcal C}$. Let $H$ be an involutory Hopf algebra, $M$, $N$ two $H$-(co)modules such that $M \otimes N$ is (co)semisimple as a $H$-(co)module. If $N$ (resp. $M$) is a finitely generated projective $k$-module with invertible Hattory-Stallings rank in $k$ then $M$ (resp. $N$) is (co)semisimple as a $H$-(co)module. In particular, the full subcategory of all finite dimensional modules, comodules or Yetter-Drinfel'd modules over $H$ the dimension of which is invertible in $k$ are Serre categories.Comment: a new version: 8 page

Tame group actions on central simple algebras

We study actions of linear algebraic groups on finite-dimensional central simple algebras. We describe the fixed algebra for a broad class of such actions.Comment: 19 pages, LaTeX; slightly revised; final version will appear in Journal of Algebr

Representations and KK-theory of Discrete Groups

Let $\Gamma$ be a discrete group of finite virtual cohomological dimension with certain finiteness conditions of the type satisfied by arithmetic groups. We define a representation ring for $\Gamma$, determined on its elements of finite order, which is of finite type. Then we determine the contribution of this ring to the topological $K$-theory $K^*(B\Gamma)$, obtaining an exact formula for the difference in terms of the cohomology of the centralizers of elements of finite order in $\Gamma$.Comment: 4 page

X-ray sources and their optical counterparts in the globular cluster M 22

Using XMM-Newton EPIC imaging data, we have detected 50 low-luminosity X-ray sources in the field of view of M 22, where 5 +/- 3 of these sources are likely to be related to the cluster. Using differential optical photometry, we have identified probable counterparts to those sources belonging to the cluster. Using X-ray spectroscopic and timing studies, supported by the optical colours, we propose that the most central X-ray sources in the cluster are cataclysmic variables, millisecond pulsars, active binaries and a blue straggler. We also identify a cluster of galaxies behind this globular cluster.Comment: 11 pages, 7 figures, accepted for publication in A&

Extended diffeomorphism algebras in (quantum) gravitational physics

We construct an explicit representation of the algebra of local diffeomorphisms of a manifold with realistic dimensions. This is achieved in the setting of a general approach to the (quantum) dynamics of a physical system which is characterized by the fundamental role assigned to a basic underlying symmetry. The developed mathematical formalism makes contact with the relevant gravitational notions by means of the addition of some extra structure. The specific manners in which this is accomplished, together with their corresponding physical interpretation, lead to different gravitational models. Distinct strategies are in fact briefly outlined, showing the versatility of the present conceptual framework.Comment: 20 pages, LATEX, no figure

Affine algebraic groups with periodic components

A connected component of an affine algebraic group is called periodic if all its elements have finite order. We give a characterization of periodic components in terms of automorphisms with finite number of fixed points. It is also discussed which connected groups have finite extensions with periodic components. The results are applied to the study of the normalizer of a maximal torus in a simple algebraic group.Comment: 20 page

Harmonic analysis and the Riemann-Roch theorem

This paper is a continuation of papers: arXiv:0707.1766 [math.AG] and arXiv:0912.1577 [math.AG]. Using the two-dimensional Poisson formulas from these papers and two-dimensional adelic theory we obtain the Riemann-Roch formula on a projective smooth algebraic surface over a finite field.Comment: 7 pages; to appear in Doklady Mathematic

Polynomial identity rings as rings of functions

We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where "varieties" carry a PGL_n-action, regular and rational "functions" on them are matrix-valued, "coordinate rings" are prime polynomial identity algebras, and "function fields" are central simple algebras of degree n. In particular, a prime polynomial identity algebra of degree n is finitely generated if and only if it arises as the "coordinate ring" of a "variety" in this setting. For n = 1 our definitions and results reduce to those of classical affine algebraic geometry.Comment: 24 pages. This is the final version of the article, to appear in J. Algebra. Several proofs have been streamlined, and a new section on Brauer-Severi varieties has been adde

Tribological and corrosion wear of graphite ring against Ti6Al4V disk in artificial sea water

Severe degradations result from the friction of two antagonists in sea water environment. It is proposed to evaluate materials resistance to wear with a tribocorrosion experimental set-up which is mechanically and electrochemically instrumented. The method is illustrated with graphite and Ti6Al4V.The deposition of graphite on Ti6Al4V samples is observed and modifies the contact characteristics. Processes of graphite wear due to mechanical effect are characterised. Observations clearly indicate that Ti6Al4V degradations depend on the electrochemical potential imposed and more precisely on the electrochemical conditions in the contact zone

Integral closure of rings of integer-valued polynomials on algebras

Let $D$ be an integrally closed domain with quotient field $K$. Let $A$ be a torsion-free $D$-algebra that is finitely generated as a $D$-module. For every $a$ in $A$ we consider its minimal polynomial $\mu_a(X)\in D[X]$, i.e. the monic polynomial of least degree such that $\mu_a(a)=0$. The ring ${\rm Int}_K(A)$ consists of polynomials in $K[X]$ that send elements of $A$ back to $A$ under evaluation. If $D$ has finite residue rings, we show that the integral closure of ${\rm Int}_K(A)$ is the ring of polynomials in $K[X]$ which map the roots in an algebraic closure of $K$ of all the $\mu_a(X)$, $a\in A$, into elements that are integral over $D$. The result is obtained by identifying $A$ with a $D$-subalgebra of the matrix algebra $M_n(K)$ for some $n$ and then considering polynomials which map a matrix to a matrix integral over $D$. We also obtain information about polynomially dense subsets of these rings of polynomials.Comment: Keywords: Integer-valued polynomial, matrix, triangular matrix, integral closure, pullback, polynomially dense set. accepted for publication in the volume "Commutative rings, integer-valued polynomials and polynomial functions", M. Fontana, S. Frisch and S. Glaz (editors), Springer 201