Injective modules over formal matrix rings

We describe injective modules over formal matrix rings.     

The arithmetic of hyperbolic formal modules

This paper considers hyperbolic formal groups, which come from the elliptic curve theory, in the context of the theory of formal modules. In the first part of the paper, the characteristics of hyperbolic formal groups are considered, i.e., the explicit formulas for the formal logarithm and exponent; their convergence is studied. In the second part, the isogeny and its kernel and height are found; a p-typical logarithm is defined. The Artin–Hasse and Vostokov functions are then constructed; their correctness and main properties are evaluated.     

Algebraic elements in formal power series rings

We obtain a theorem giving a condition for algebraicity of an element in a formal power series field of characteristicp>0. Using it many results can be proved, for example, the “theorem of the diagonal” of Furstenberg is deduced as an easy corollary. Dedicated to the memory of Chiyo Harase     

Galois actions on torsion points of one-dimensional formal modules

Let F be a local non-Archimedean field with ring of integers o and uniformizer ?, and fix an algebraically closed extension k of the residue field of o. Let X be a one-dimensional formal o-module of F-height n over k. By the work of Drinfeld, the universal deformation X of X is a formal group over a power series ring R₀ in n−1 variables over Wo(k). For h∈{0,…,n−1} let Uh⊂Spec(R₀) be the locus where the connected part of the associated ?-divisible module X[?^∞] has height h. Using the theory of Drinfeld level structures we show that the representation of π₁(Uh) on the Tate module of the étale quotient is surjective.     

Deformation spaces of one-dimensional formal modules and their cohomology

Let Mm be the formal scheme which represents the functor of deformations of a one-dimensional formal module over equipped with a level-m-structure. By work of Boyer (in equal characteristic) and Harris and Taylor, the ?-adic étale cohomology of the generic fibre Mm of Mm realizes simultaneously the local Langlands and Jacquet-Langlands correspondences. The proofs given so far use Drinfeld modular varieties or Shimura varieties to derive this local result. In this paper we show without the use of global moduli spaces that the Jacquet-Langlands correspondence is realized by the Euler-Poincaré characteristic of the cohomology. Under a certain finiteness assumption on the cohomology groups, it is shown that the correspondence is realized in only one degree. One main ingredient of the proof consists in analyzing the boundary of the deformation spaces and in studying larger spaces which can be considered as compactifications of the spaces Mm.     

Algebraic elements in formal power series rings II

We obtain explicit formulae for degrees on diagonals, Hadamard products and Lamperti products.     

Continued fractions for quadratic elements in formal power series

There exist certain quadratic elements α∈?((t ^?1)) over the rational function field ?(t) having nonperiodic continued fraction expansion, see W.M. Schmidt in (Acta Arith. 95(2):139–166, 2000). Hence we need a modification of Lagrange’s theorem with regard to function fields instead of number fields. In this paper, we introduce a class of continued fractions and describe Lagrange’s theorem as a conjecture related to quadratic elements over ?(t). We give some examples which support our conjecture.     

On M-coidempotent elements and fully coidempotent modules

Abstract

In this article, we introduce the notion of M-coidempotent elements of a ring and investigate their connections with fully coidempotent modules, fully copure modules and vn-regular modules where M is a module. We prove that if M is a finitely cogenerated module, then M is fully copure if and only if M is semisimple. We prove that if M is a Noetherian module or M is a finitely cogenerated module, then M is fully coidempotent if and only if M is a vn-regular module. Finally, we give a characterization of semisimple Artinian modules via weak idempotents.     

Links between associated additive Galois modules and computation of H for local formal group modules

Using the methods described in the papers (Documenta Math. 5 (2000) 657; Local Leopoldt's problem for ideals in p-extensions of complete discrete valuation fields, to appear), we prove that a cocycle for a formal group in a Galois p-extension of a complete discrete valuation field is a coboundary if and only if the corresponding group algebra elements increase valuations by a number that is sufficiently large. We also calculate the valuation of the splitting element of a coboundary. A special case of the main theorem allows us to determine when a p-extension of a complete discrete valuation fields contains a root of a Kummer equation for a formal group. The theorem of Coates-Greenberg for formal group modules in deeply ramified extensions is generalized to noncommutative formal groups. Some results concerning finite torsion modules for formal groups are obtained.     

Single elements and module isomorphisms of some operator algebra modules

In this paper, we first introduce the concept of single elements in a module. A systematic study of single elements in the Alg-module is initiated, where is a completely distributive subspace lattice on a Hilbert space . Furthermore, as an application of single elements, we study module isomorphisms between norm closed Alg-modules, where is a nest, and obtain the following result: Suppose that are norm closed Alg-modules and that is a module isomorphism. Then and there exists a non-zero complex number such that .

     

Primary decomposition of modules: A computational differential approach

We study primary submodules and primary decompositions from a differential and computational point of view. Our main theoretical contribution is a general structure theory and a representation theorem for primary submodules of an arbitrary finitely generated module over a polynomial ring. We characterize primary submodules in terms of differential operators and punctual Quot schemes. Moreover, we introduce and implement an algorithm that computes a minimal differential primary decomposition for a module.     

On the norm property of the Hilbert symbol for polynomial formal modules in a multidimensional local field

In a two-dimensional local field K containing the pth root of unity, a polynomial formal group F _c (X, Y) = X + Y + cXY acting on the maximal ideal M of the ring of integers б _K and a constructive Hilbert pairing {·, ·} _c : K ₂(K) × F _c (M) → <ξ> _c , where <ξ> _c is the module of roots of [p] _c (pth degree isogeny of F _c ) with respect to formal summation are considered. For the extension of two-dimensional local fields L/K, a norm map of Milnor groups Norm: K ₂(L) → K ₂(K) is considered. Its images are called norms in K ₂(L). The main finding of this study is that the norm property of pairing {·, ·}c: {x,β} _c : = 0 ? x is a norm in K ₂(K([p] _c ^-1 (β))), where [p] _c ^-1 (β) are the roots of the equation [p] _c = β, is checked constructively.     

Free summands of conormal modules and central elements in homotopy Lie algebras of local rings

If is a surjective local homomorphism with kernel , such that and the conormal module has a free summand of rank , then the degree central subspace of the homotopy Lie algebra of has dimension greater than or equal to . This is a corollary of the Main Theorem of this note. The techniques involved provide new proofs of some well known results concerning the conormal module.