$k$-torsionfree modules and Frobenius extensions

Zhibing Zhao

2023-12-19

Abstract:Let $R/S$ be a Frobenius extension and $k$ be a positive integer. We prove that an $R$-module is $k$-torsionfree if and only if so is its underlying $S$-module. As an application, we obtain that if $S$ is a quasi $k$-Gorenstein ring then so is $R$, but the converse does not hold in general.

Representation Theory

What problem does this paper attempt to address?

Relative torsionfreeness and Frobenius extensions

Yanhong Bao,Jiafeng Lü,Zhibing Zhao

2024-09-18

Abstract:Let $S/R$ be a Frobenius extension with $_RS_R$ centrally projective over $R$. We show that if $_R\omega$ is a Wakamatsu tilting module then so is $_SS\otimes_R\omega$, and the natural ring homomorphism from the endomorphism ring of $_R\omega$ to the endomorphism ring of $_SS\otimes_R\omega$ is a Frobenius extension in addition that pd$(\omega_T)$ is finite, where $T$ is the endomorphism ring of $_R\omega$. We also obtain that the relative $n$-torsionfreeness of modules is preserved under Frobenius extensions. Furthermore, we give an application, which shows that the generalized G-dimension with respect to a Wakamatsu module is invariant under Frobenius extensions.

Rings and Algebras
Torsion Theory Extensions and Finite Normalizing Extensions

XS Zhu

DOI: https://doi.org/10.1016/s0022-4049(02)00116-0

IF: 0.834

2002-01-01

Journal of Pure and Applied Algebra

Abstract:Let S be a ring extension of R, and let τR=(TR,FR) and τS=(TS,FS) be torsion theories for right R-modules and right S-modules respectively. Using functors HomR(−,S) and −⊗RS, we get the connection between τR and τS, introduce torsion theory extensions related to ring extensions and establish some relations between finite normalizing extensions and torsion theory extensions. Furthermore, we consider some applications of torsion theory extensions and generalize some results of excellent extensions (almost excellent extensions) to the setting of torsion theories.
Gorenstein flat-cotorsion modules over trivial ring extensions

Zhanping Wang,Jianyuan He,Yuanhui Jin

DOI: https://doi.org/10.1142/s0219498826500179

2024-09-25

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. Let [math] be a trivial extension of a ring [math] by an [math]-[math]-bimodule [math]. Sufficient and necessary conditions are established for Gorenstein flat-cotorsion modules over [math]. More precisely, it is proved that under some assumptions [math] is a Gorenstein flat-cotorsion left [math]-module if and only if Coker[math] is a Gorenstein flat-cotorsion left [math]-module and the sequence [math] is exact. As applications, it is characterized Gorenstein flat-cotorsion modules over Morita rings with zero bimodule homomorphisms.

mathematics, applied
Extending torsors under quasi-finite flat group schemes

Sara Mehidi

2024-08-25

Abstract:Let $R$ be a discrete valuation ring of field of fractions $K$ and of residue field $k$ of characteristic $p > 0$. In an earlier work, we studied the question of extending torsors on $K$-curves into torsors over $R$-regular models of the curves in the case when the structural $K$-group scheme of the torsor admits a finite flat model over $R$. In this paper, we first give a simpler description of the problem in the case where the curve is semistable. Secondly, if $R$ is assumed to be Henselian and Japanese, we solve the problem of extending torsors even if the structural group does not admit a finite flat $R$-model.

Algebraic Geometry
On modules whose dual is of finite Gorenstein dimension: The $k$-torsion, homological criteria, and applications in modules of differentials of order $n$

Victor D. Mendoza-Rubio,Victor H. Jorge-Pérez

2024-05-13

Abstract:In this paper, we aim to obtain some results under the condition that the dual of a module has finite Gorenstein dimension. In this direction we derive results involving vanishing of Ext as well as the freeness or totally reflexivity of modules. For instance, we provide a generalization of a celebrated theorem by Evans and Griffith, obtain criteria for the totally reflexivity of modules over Cohen-Macaulay rings as well as of locally totally modules reflexive on the punctured spectrum, and recover a result by Araya. Moreover, we prove that the Auslander-Reiten conjecture holds true for all finitely generated modules $M$ over a Noetherian local ring $R$ such that $\operatorname{G-dim}_R(\operatorname{Hom}_R(M,R))<\infty$ and $\operatorname{pd}_R(\operatorname{Hom}_R(M,M))<\infty$. Additionally, we derive Gorenstein criteria under the condition that the dual of certain modules is of finite Gorenstein dimension. Furthermore, we explore some applications in the theory of the modules of Kähler differentials of order $n\geq 1$, specifically concerning the $k$-torsionfreeness of these modules and the Herzog-Vasconcelos's conjecture.

Commutative Algebra
Torsion-free Modules over Commutative Domains of Krull Dimension One

Román Álvarez,Dolors Herbera,Pavel Příhoda

2024-06-21

Abstract:Let $R$ be a domain of Krull dimension one, we study when the class $\mathcal{F}$ of modules over $R$ that are arbitrary direct sums of finitely generated torsion-free modules is closed under direct summands. If $R$ is local, we show that $\mathcal{F}$ is closed under direct summands if and only if any indecomposable, finitely generated, torsion-free module has local endomorphism ring. If, in addition, $R$ is noetherian this is equivalent to say that the normalization of $R$ is a local ring. If $R$ is an $h$-local domain of Krull dimension $1$ and $\mathcal{F}_R$ is closed under direct summands, then the property is inherited by the localizations of $R$ at maximal ideals. Moreover, any localizations of $R$ at a maximal ideal, except maybe one, satisfies that any finitely generated ideal is $2$-generated. The converse is true when the domain $R$ is, in addition, integrally closed, or noetherian semilocal or noetherian with module-finite normalization. Finally, over a commutative domain of finite character and with no restriction on the Krull dimension, we show that the isomorphism classes of countable generated modules in $\mathcal{F}$ are determined by their genus.

Commutative Algebra,Rings and Algebras
Uniform boundedness of torsion subgroups of linear groups

Bin Yong Sun

DOI: https://doi.org/10.1007/s10114-007-1016-7

2008-01-01

Abstract:The torsion conjecture says: for any abelian variety A defined over a number field k , the order of the torsion subgroup of A ( k ) is bounded by a constant C ( k, d ) which depends only on the number field k and the dimension d of the abelian variety. The torsion conjecture remains open in general. However, in this paper, a short argument shows that the conjecture is true for more general fields if we consider linear groups instead of abelian varieties. If G is a connected linear algebraic group defined over a field k which is finitely generated over ℚ, Γ is a torsion subgroup of G ( k ). Then the order of Γ is bounded by a constant C ′( k, d ) which depends only on k and the dimension d of G .
Torsion pairs and related modules over trivial ring extensions

Lixin MAO

DOI: https://doi.org/10.15672/hujms.1272122

2024-01-10

Hacettepe Journal of Mathematics and Statistics

Abstract:Let $R\ltimes M$ be a trivial extension of a ring $R$ by an $R$-$R$-bimodule $M$. We first study how to construct torsion pairs over $R\ltimes M$ from torsion pairs over $R$. Some characterizations of finitely generated (presented) modules, flat modules and coherent rings relative to a torsion pair over $R\ltimes M$ are obtained. Then we discuss the transfers of torsion pairs over $R\ltimes M$ to $R$. Finally, some applications are given in Morita context rings.

mathematics,statistics & probability
Universal Extensions and Ext-Orthogonal Complements of Torsion Classes

Endre S. Rundsveen

2024-10-21

Abstract:We show that torsion pairs in Krull--Schmidt abelian categories induce an equivalence between the subcategory of torsion-free objects admitting universal extensions to the torsion subcategory, and a quotient of the ext-orthogonal complement of the torsion subcategory. This generalize an equivalence described by Bauer--Botnan--Oppermann--Steen for tilting-torsion pairs and by Buan--Zhou for functorially finite torsion pairs. The result also provides a more direct proof of the functorially finite case, not relying on the machinery of two-term silting complexes. We illustrate the equivalence in the special case of tube categories. After first appearing on the arXiv, the author learnt that the equivalence has previously been described by Demonet--Iyama.

Representation Theory,Category Theory
Boundedness of the p-primary torsion of the Brauer group of products of varieties

Alexei N. Skorobogatov

2024-07-01

Abstract:Let k be a field finitely generated over its prime subfield. We prove that the quotient of the Brauer group of a product of varieties over k by the Brauer groups of factors has finite exponent. The bulk of the proof concerns p-primary torsion in characteristic p. Our approach gives a more direct proof of the boundedness of the p-primary torsion of the Brauer group of an abelian variety, as recently proved by D'Addezio. We show that the transcendental Brauer group of a Kummer surface over k has finite exponent, but can be infinite when k is an infinite field of positive characteristic. This answers a question of Zarhin and the author.

Algebraic Geometry,Number Theory
Torsion Pairs in Categories of Modules on Ringed Finite Sites

Mawei Wu

2024-03-22

Abstract:Let $\mathcal{C}$ be a small category. In this paper, we mainly study the category of modules $\mathfrak{M}\mbox{od-}\mathfrak{R}$ on ringed sites $(\mathbf{C},\mathfrak{R})$. We firstly reprove the Theorem A of the paper (M. Wu and F. Xu. Skew category algebras and modules on ringed finite sites. J. A. 631, 2023), then we characterize $\mathfrak{M}\mbox{od-}\mathfrak{R}$ in terms of the torsion presheaves on $Gr(\mathfrak{R})$, where $Gr(\mathfrak{R})$ is the linear Grothendieck construction of $\mathfrak{R}$. Finally, we investigate the hereditary torsion pairs, TTF triples and Abelian recollements of $\mathfrak{M}\mbox{od-}\mathfrak{R}$. When $\mathcal{C}$ is finite, the complete classifications of all these are given respectively.

Representation Theory
One-sided $S$-systems of operations and character-free proof of Frobenius theorem

Eugene Kuznetsov

2024-12-01

Abstract:In this work, the author gives a character-free proof of the Frobenius theorem. The new proof is based on some notions and results from the theory of ternary operations, the theory of orthogonal binary operations, the theory of transversals in groups and the theory of quasigroups and loops.

Group Theory
Rigidity of Ext and Tor via flat-cotorsion theory

Lars Winther Christensen,Luigi Ferraro,Peder Thompson

2023-09-19

Abstract:Let p be a prime ideal in a commutative noetherian ring R and denote by k(p) the residue field of the local ring R_p. We prove that if an R-module M satisfies Ext_R^n(k(p),M) = 0 for some n >= dim R, then Ext_R^i(k(p),M) = 0 holds for all i >= n. This improves a result of Christensen, Iyengar, and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is driven by the existence of minimal semi-flat-cotorsion replacements in the derived category as recently proved by Nakamura and Thompson.

Commutative Algebra
On torsion-freeness of Kähler differential sheaves

Nilkantha Das,Sumit Roy

2023-06-15

Abstract:Let $X$ be a normal algebraic variety over an algebraically closed field $k$ of characteristic zero. We prove that the Kähler differential sheaf of $X$ is torsion-free if and only if any regular section of the ideal sheaf of the first order deformation of $X$ inside $X\times_k X$, defined outside the singular locus of $X \times_k X$, extends regularly to the singular locus.

Algebraic Geometry
When are KE-closed subcategories torsion-free classes?

Toshinori Kobayashi,Shunya Saito

2023-09-03

Abstract:Let $R$ be a commutative noetherian ring and denote by $\mathsf{mod} R$ the category of finitely generated $R$-modules. In this paper, we study KE-closed subcategories of $\mathsf{mod} R$, that is, additive subcategories closed under kernels and extensions. We first give a characterization of KE-closed subcategories: a KE-closed subcategory is a torsion-free class in a torsion-free class. As an immediate application of the dual statement, we give a conceptual proof of Stanley-Wang's result about narrow subcategories. Next, we classify the KE-closed subcategories of $\mathsf{mod} R$ when $\mathrm{dim} R \le 1$ and when $R$ is a two-dimensional normal domain. More precisely, in the former case, we prove that KE-closed subcategories coincide with torsion-free classes in $\mathsf{mod} R$. Moreover, this condition implies $\mathrm{dim} R \le 1$ when $R$ is a homomorphic image of a Cohen-Macaulay ring (e.g. a finitely generated algebra over a regular ring). Thus, we give a complete answer for the title.

Representation Theory,Commutative Algebra,Category Theory
The finiteness of the Tate-Shafarevich group over function fields for algebraic tori defined over the base field

Andrei S. Rapinchuk,Igor A. Rapinchuk

2023-10-24

Abstract:Let $K$ be a field and $V$ be a set of rank one valuations of $K$. The corresponding Tate-Shafarevich group of a $K$-torus $T$ is $Sha(T , V) = \ker\left(H^1(K , T) \to \prod_{v \in V} H^1(K_v , T)\right)$. We prove that if $K = k(X)$ is the function field of a smooth geometrically integral quasi-projective variety over a field $k$ of characteristic 0 and $V$ is the set of discrete valuations of $K$ associated with prime divisors on $X$, then for any torus $T$ defined over the base field $k$, the group $Sha(T , V)$ is finite in the following situations: (1) $k$ is finitely generated and $X(k) \neq \emptyset$; (2) $k$ is a number field.

Number Theory
The classification problem for extensions of torsion-free abelian groups, I

Martino Lupini

DOI: https://doi.org/10.48550/arXiv.2204.05431

2022-04-11

Commutative Algebra

Abstract:Let $C,A$ be countable abelian groups. In this paper we determine the complexity of classifying extensions $C$ by $A$, in the cases when $C$ is torsion-free and $A$ is a $p$-group, a torsion group with bounded primary components, or a free $R$-module for some subring $R\subseteq \mathbb{Q}$. Precisely, for such $C$ and $A$ we describe in terms of $C$ and $A$ the potential complexity class in the sense of Borel complexity theory of the equivalence relation $\mathcal{R}_{\mathbf{Ext}\left( C,A\right) }$ of isomorphism of extensions of $C$ by $A$. This complements a previous result by the same author, settling the case when $C$ is torsion and $A$ is arbitrary. We establish the main result within the framework of Borel-definable homological algebra, recently introduced in collaboration with Bergfalk and Panagiotopoulos. As a consequence of our main results, we will obtain that if $C$ is torsion-free and $A$ is either a free $R$-module or a torsion group with bounded components, then an extension of $C$ by $A$ splits if and only if it splits on all finite-rank subgroups of $C$. This is a purely algebraic statements obtained with methods from Borel-definable homological algebra.
Torsion in Kauffman bracket skein module of a $4$-strand Montesinos knot exterior

Haimiao Chen

2024-07-14

Abstract:For an oriented $3$-manifold $M$, let $\mathcal{S}(M)$ denote its Kauffman bracket skein module over $\mathbb{Z}[q^{\pm\frac{1}{2}}]$. It is shown that $\mathcal{S}(M)$ admits infinitely many torsion elements when $M$ is the exterior of the Montesinos knot $K(a_1/b_1,a_2/b_2,a_3/b_4,a_4/b_4)\subset S^3$ with each $b_i\ge 3$. This provides a negative answer to Problem 1.92 (G)-(i) in the Kirby's list, which asks whether $\mathcal{S}(M)$ is free when $M$ is irreducible and has no incompressible non-boundary parallel torus.

Geometric Topology
On a Galois property of fields generated by the torsion of an abelian variety

S. Checcoli,G. A. Dill

DOI: https://doi.org/10.1112/blms.13149

IF: 1.036

2024-09-20

Bulletin of the London Mathematical Society

Abstract:In this article, we study a certain Galois property of subextensions of k(Ators) , the minimal field of definition of all torsion points of an abelian variety A defined over a number field k . Concretely, we show that each subfield of k(Ators) that is Galois over k (of possibly infinite degree) and whose Galois group has finite exponent is contained in an abelian extension of some finite extension of k . As an immediate corollary of this result and a theorem of Bombieri and Zannier, we deduce that each such field has the Northcott property, that is, does not contain any infinite set of algebraic numbers of bounded height.

mathematics

$k$-torsionfree modules and Frobenius extensions

Relative torsionfreeness and Frobenius extensions

Torsion Theory Extensions and Finite Normalizing Extensions

Gorenstein flat-cotorsion modules over trivial ring extensions

Extending torsors under quasi-finite flat group schemes

On modules whose dual is of finite Gorenstein dimension: The $k$-torsion, homological criteria, and applications in modules of differentials of order $n$

Torsion-free Modules over Commutative Domains of Krull Dimension One

Uniform boundedness of torsion subgroups of linear groups

Torsion pairs and related modules over trivial ring extensions

Universal Extensions and Ext-Orthogonal Complements of Torsion Classes

Boundedness of the p-primary torsion of the Brauer group of products of varieties

Torsion Pairs in Categories of Modules on Ringed Finite Sites

One-sided $S$-systems of operations and character-free proof of Frobenius theorem

Rigidity of Ext and Tor via flat-cotorsion theory

On torsion-freeness of Kähler differential sheaves

When are KE-closed subcategories torsion-free classes?

The finiteness of the Tate-Shafarevich group over function fields for algebraic tori defined over the base field

The classification problem for extensions of torsion-free abelian groups, I

Torsion in Kauffman bracket skein module of a $4$-strand Montesinos knot exterior

On a Galois property of fields generated by the torsion of an abelian variety