scholarly journals FINITE DOMINATION AND NOVIKOV RINGS. ITERATIVE APPROACH

2012 ◽  
Vol 55 (1) ◽  
pp. 145-160 ◽  
Author(s):  
THOMAS HÜTTEMANN ◽  
DAVID QUINN

AbstractSuppose C is a bounded chain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,x−1]. Then C is R-finitely dominated, i.e. homotopy equivalent over R to a bounded chain complex of finitely generated projective R-modules if and only if the two chain complexes C ⊗LR((x)) and C ⊗LR((x−1)) are acyclic, as has been proved by Ranicki (A. Ranicki, Finite domination and Novikov rings, Topology34(3) (1995), 619–632). Here R((x)) = R[[x]][x−1] and R((x−1)) = R[[x−1]][x] are rings of the formal Laurent series, also known as Novikov rings. In this paper, we prove a generalisation of this criterion which allows us to detect finite domination of bounded below chain complexes of projective modules over Laurent rings in several indeterminates.

2015 ◽  
Vol 14 (04) ◽  
pp. 1550055
Author(s):  
Thomas Hüttemann ◽  
David Quinn

Let C be a bounded cochain complex of finitely generated free modules over the Laurent polynomial ring L = R[x, x-1, y, y-1]. The complex C is called R-finitely dominated if it is homotopy equivalent over R to a bounded complex of finitely generated projective R-modules. Our main result characterizes R-finitely dominated complexes in terms of Novikov cohomology: C is R-finitely dominated if and only if eight complexes derived from C are acyclic; these complexes are C ⊗L R〚x, y〛[(xy)-1] and C ⊗L R[x, x-1]〚y〛[y-1], and their variants obtained by swapping x and y, and replacing either indeterminate by its inverse.


1993 ◽  
Vol 35 (3) ◽  
pp. 353-355 ◽  
Author(s):  
José Luis García ◽  
Juan Jacobo Simón

Let R and S be arbitrary rings, RM and SN countably generated free modules, and let φ:End(RM)→End(sN) be an isomorphism between the endomorphism rings of M and N. Camillo [3] showed in 1984 that these assumptions imply that R and S are Morita equivalent rings. Indeed, as Bolla pointed out in [2], in this case the isomorphism φ must be induced by some Morita equivalence between R and S. The same holds true if one assumes that RM and SN are, more generally, non-finitely generated free modules.


2021 ◽  
Vol 8 (28) ◽  
pp. 885-898
Author(s):  
Michael Loper

Virtual resolutions are homological representations of finitely generated Pic ( X ) \text {Pic}(X) -graded modules over the Cox ring of a smooth projective toric variety. In this paper, we identify two algebraic conditions that characterize when a chain complex of graded free modules over the Cox ring is a virtual resolution. We then turn our attention to the saturation of Fitting ideals by the irrelevant ideal of the Cox ring and prove some results that mirror the classical theory of Fitting ideals for Noetherian rings.


ISRN Algebra ◽  
2011 ◽  
Vol 2011 ◽  
pp. 1-12
Author(s):  
Ratnesh Kumar Mishra ◽  
Shiv Datt Kumar ◽  
Srinivas Behara

We give a procedure and describe an algorithm to compute the dimension of a module over Laurent polynomial ring. We prove the cancellation theorems for projective modules and also prove the qualitative version of Laurent polynomial analogue of Horrocks' Theorem.


2014 ◽  
Vol 51 (4) ◽  
pp. 454-465
Author(s):  
Lu-Ming Shen ◽  
Huiping Jing

Let \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathbb{F}_q ((X^{ - 1} ))$$ \end{document} denote the formal field of all formal Laurent series x = Σ n=ν∞anX−n in an indeterminate X, with coefficients an lying in a given finite field \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathbb{F}_q$$ \end{document}. For any \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\beta \in \mathbb{F}_q ((X^{ - 1} ))$$ \end{document} with deg β > 1, it is known that for almost all \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$x \in \mathbb{F}_q ((X^{ - 1} ))$$ \end{document} (with respect to the Haar measure), x is β-normal. In this paper, we show the inverse direction, i.e., for any x, for almost all \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\beta \in \mathbb{F}_q ((X^{ - 1} ))$$ \end{document}, x is β-normal.


Author(s):  
Yumiko Hironaka

We introduce the space [Formula: see text] of quaternion Hermitian forms of size [Formula: see text] on a [Formula: see text]-adic field with odd residual characteristic, and define typical spherical functions [Formula: see text] on [Formula: see text] and give their induction formula on sizes by using local densities of quaternion Hermitian forms. Then, we give functional equation of spherical functions with respect to [Formula: see text], and define a spherical Fourier transform on the Schwartz space [Formula: see text] which is Hecke algebra [Formula: see text]-injective map into the symmetric Laurent polynomial ring of size [Formula: see text]. Then, we determine the explicit formulas of [Formula: see text] by a method of the author’s former result. In the last section, we give precise generators of [Formula: see text] and determine all the spherical functions for [Formula: see text], and give the Plancherel formula for [Formula: see text].


2017 ◽  
Vol 67 (3) ◽  
Author(s):  
Dariusz Bugajewski ◽  
Xiao-Xiong Gan

AbstractIn this article we consider the topology on the set of formal Laurent series induced by the ultrametric defined via the order. In particular, we establish that the product of formal Laurent series, considered in [GAN, X. X.—BUGAJEWSKI, D.:


2021 ◽  
Vol 25 (4) ◽  
pp. 1919-1978
Author(s):  
Piotr Achinger ◽  
Mattia Talpo

Sign in / Sign up

Export Citation Format

Share Document