A variant of the Reynolds operator

Let be a linearly reductive group over a field , and let be a -algebra with a rational action of . Given rational --modules and , we define for the induced -action on Hom a generalized Reynolds operator, which exists even if the action on Hom is not rational. Given an -module homomorphism , it produces, in a natural way, an -module homomorphism which is -equivariant. We use this generalized Reynolds operator to study properties of rational - modules. In particular, we prove that if is invariantly generated (i.e. ), then is a projective (resp. flat) -module provided that is a projective (resp. flat) -module. We also give a criterion whether an -projective (or -flat) rational --module is extended from an -module.

     

Counting isomorphism classes of pointed hyperelliptic curves of genus 4 over finite fields with even characteristic

This paper is devoted to counting the number of isomorphism classes of pointed hyperelliptic curves over finite fields. We deal with the genus 4 case and the finite fields are of even characteristics. The number of isomorphism classes is computed and the explicit formulae are given. This number can be represented as a polynomial in q of degree 7, where q is the order of the finite field. The result can be used in the classification problems and it is useful for further studies of hyperelliptic curve cryptosystems, e.g. it is of interest for research on implementing the arithmetics of curves of low genus for cryptographic purposes. It could also be of interest for point counting problems; both on moduli spaces of curves, and on finding the maximal number of points that a pointed hyperelliptic curve over a given finite field may have.     

On the integral dependence of power series rings

We prove the following results: (1) Let R ? S be two commutative rings. Suppose that dim R = 0.If f(X) ∈ S[[X]]is integral over R[[X]], then every coefficient of f(X) is integral over R. (2) Let dim R ≥ 1. There exists a ring S containing R and a power series f(X) ∈ S[[X]]such that f(X) is integral over R[[X]], but not all coefficients of f(X) are integral over R. (3) Let k ? R. Suppose that R is algebraic over the field k. Then R[[X]] is integral over k[[X]] if and only if the nilradical of R is nilpotent and the separable degree and the inseparable exponent of R _red over k are finite.     

Supplementary Note on 'Rational Invariants of Certain Orthogonal and Unitary Groups'

Given a field k and a finite group G acting on the rationalfunction field k(X₁, ..., X_n) as a group of k-automorphisms,an important Noether's problem asks whether the invariant subfield [forumal] is purely transcendental over k. 1991 Mathematics Subject Classification12F20, 20G40.     

Studies on the direct electrochemistry of hemoglobin immobilized by yeast cells

The direct electrochemistry of hemoglobin can be achieved by immobilizing hemoglobin onto the surface of yeast cells through electrostatic attractions on a glassy carbon electrode.     

Noether’s problem for dihedral 2-groups

Let $K$ be any field and $G$ be a finite group. Let $G$ act on the rational function field $K(x_g: \, g \in G)$ by $K$-automorphisms defined by $g \cdot x_h= x _{gh}$ for any $g, \, h \in G$. Denote by $K(G)$ the fixed field $K(x_g: \, g \in G)^G$. Noethers problem asks whether $K(G)$ is rational (= purely transcendental) over $K$. We shall prove that $K(G)$ is rational over $K$ if $G$ is the dihedral group (resp. quasi-dihedral group, modular group) of order 16. Our result will imply the existence of the generic Galois extension and the existence of the generic polynomial of the corresponding group.