On the Frobenius functor and colon ideals

Wenliang Zhang

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

2007-09-06

Commutative Algebra

Abstract:In this paper we study the commutativity of the Frobenius functor and the colon operation of two ideals for Noetherian rings of positive characteristic $p$. New characterizations of regular rings and local UFDs are given.

What problem does this paper attempt to address?

On a Theorem of Macaulay on Colons of Ideals

J. K. Verma

DOI: https://doi.org/10.48550/arXiv.math/0212115

2002-12-09

Commutative Algebra

Abstract:A theorem of Macaulay on colons of ideals in polynomial rings is proved for homogeneous Gorenstein algebras.
Colength, multiplicity, and ideal closure operations II

Linquan Ma,Pham Hung Quy,Ilya Smirnov

2024-08-23

Abstract:Let $(R, \mathfrak{m})$ be a Noetherian local ring. This paper concerns several extremal invariants arising from the study of the relation between colength and (Hilbert--Samuel or Hilbert--Kunz) multiplicity of an $\mathfrak{m}$-primary ideal. We introduce versions of these invariants by restricting to various closures and ``cross-pollinate'' the two multiplicity theories by asking for analogues invariants already established in one of the theories. On the Hilbert--Samuel side, we prove that the analog of the Stückrad--Vogel invariant (that is, the infimum of the ratio between the multiplicity and colength) for integrally closed $\mathfrak{m}$-primary ideals is often $1$ under mild assumptions. We also compute the supremum and infimum of the relative drops of multiplicity for (integrally closed) $\mathfrak{m}$-primary ideals. On the Hilbert--Kunz side, we study several analogs of the Lech--Mumford and Stückrad--Vogel invariants.

Commutative Algebra
The relevance of Freiman's theorem for combinatorial commutative algebra

Jürgen Herzog,Takayuki Hibi,Guangjun Zhu

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

2018-01-16

Abstract:Freiman's theorem gives a lower bound for the cardinality of the doubling of a finite set in $\RR^n$. In this paper we give an interpretation of his theorem for monomial ideals and their fiber cones. We call a quasi-equigenerated monomial ideal a Freiman ideal, if the set of its exponent vectors achieves Freiman's lower bound for its doubling. Algebraic characterizations of Freiman ideals are given, and finite simple graphs are classified whose edge ideals or matroidal ideals of its cycle matroids are Freiman ideals.

Commutative Algebra
Homological properties of the relative Frobenius morphism

Peter M. McDonald

2024-01-04

Abstract:This work concerns maps of commutative noetherian local rings containing a field of positive characteristic. Given such a map $\varphi$ of finite flat dimension, the results relate homological properties of the relative Frobenius of $\varphi$ to those of the fibers of $\varphi$. The focus is on the complete intersection property and the Gorenstein property.

Commutative Algebra
Colon Structure of Associated Primes of Monomial Ideals

Siddhi Balu Ambhore,Indranath Sengupta

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

2024-08-31

Algebra Colloquium

Abstract:Algebra Colloquium, Volume 31, Issue 03, Page 441-450, September 2024. We find an explicit expression of the associated primes of monomial ideals as a colon by an element [math], using the unique irredundant irreducible decomposition whose irreducible components are monomial ideals. An algorithm to compute [math] is given using Macaulay2. For squarefree monomial ideals the problem is related to the combinatorics of the underlying clutter or graph. For ideals of Borel type, the monomial [math] takes a simpler form, and we classify when [math] is unique.

mathematics, applied
Frobenius-Perron theory for projective schemes

E. Wicks,X. H. Zhang,H. Zhu,J. Chen,Z. Gao,J. Zhang

DOI: https://doi.org/10.1090/tran/8624

IF: 1.3529

2023-01-18

Transactions of the American Mathematical Society

Abstract:The Frobenius-Perron theory of an endofunctor of a k \Bbbk -linear category (recently introduced in Chen et al. [Algebra Number Theory 13 (2019), pp. 2005–2055]) provides new invariants for abelian and triangulated categories. Here we study Frobenius-Perron type invariants for derived categories of commutative and noncommutative projective schemes. In particular, we calculate the Frobenius-Perron dimension for domestic and tubular weighted projective lines, define Frobenius-Perron generalizations of Calabi-Yau and Kodaira dimensions, and provide examples. We apply this theory to the derived categories associated to certain Artin-Schelter regular and finite-dimensional algebras.

mathematics
Valuations and Frobenius

Rankeya Datta,Karen E. Smith

DOI: https://doi.org/10.2140/ant.2016.10.1057

2016-12-29

Abstract:The behavior of the Frobenius map is investigated for valuation rings of prime characteristic. We show that valuation rings are always F-pure. We introduce a generalization of the notion of strong F-regularity, which we call F-pure regularity, and show that a valuation ring is F-pure regular if and only if it is Noetherian. For valuations on function fields, we show that the Frobenius map is finite if and only if the valuation is divisorial; in this case the valuation ring is Frobenius split. For Noetherian valuation rings in function fields, we show that the valuation ring is Frobenius split if and only if Frobenius is finite, or equivalently, if and only if the valuation ring is excellent.

Commutative Algebra
Pfister forms and a conjecture due to Colliot-Thélène in the mixed characteristic case

Ivan Alexandrovich Panin,Dimitrii Nikolaevich Tyurin

DOI: https://doi.org/10.4213/im9566e

2024-10-18

Izvestiya Mathematics

Abstract:Let be a regular local ring of mixed characteristic , where is a prime number. Suppose that the quotient ring is also regular. We fix a non-degenerate Pfister form over and an invertible element in . Then the equation has a solution over if and only if it has a solution over the fraction field .

mathematics
Graph rings and ideals: Wolmer Vasconcelos contributions

Maria Vaz Pinto,Rafael H. Villarreal

2023-06-19

Abstract:This is a survey article featuring some of Wolmer Vasconcelos contributions to commutative algebra, and explaining how Vasconcelos' work and insights have contributed to the development of commutative algebra and its interaction with other areas to the present. We show that the regularity of subrings of normal $k$-uniform monomial ideals is a monotone function, and we give a normality criterion for edge ideals of graphs using Ehrhart rings.

Commutative Algebra,Algebraic Geometry,Combinatorics
Abelian varieties over finite fields with commutative endomorphism algebra: theory and algorithms

Jonas Bergström,Valentijn Karemaker,Stefano Marseglia

2024-09-30

Abstract:We give a categorical description of all abelian varieties with commutative endomorphism ring over a finite field with $q=p^a$ elements in a fixed isogeny class in terms of pairs consisting of a fractional $\mathbb Z[\pi,q/\pi]$-ideal and a fractional $W\otimes_{\mathbb Z_p} \mathbb Z_p[\pi,q/\pi]$-ideal, with $\pi$ the Frobenius endomorphism and $W$ the ring of integers in an unramified extension of $\mathbb Q_p$ of degree $a$. The latter ideal should be compatible at $p$ with the former and stable under the action of a semilinear Frobenius (and Verschiebung) operator; it will be the Dieudonné module of the corresponding abelian variety. Using this categorical description we create effective algorithms to compute isomorphism classes of these objects and we produce many new examples exhibiting exotic patterns.

Number Theory,Algebraic Geometry
Quasi-co-Frobenius corings as Galois comodules

Joost Vercruysse

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

2008-06-09

Rings and Algebras

Abstract:We compare several quasi-Frobenius-type properties for corings that appeared recently in literature and provide several new characterizations for each of these properties. By applying the theory of Galois comodules with a firm coinvariant ring, we can characterize a locally quasi-Frobenius (quasi-co-Frobenius) coring as a locally projective generator in its category of comodules.
On Segre products, $F$-regularity, and finite Frobenius representation type

Anurag K. Singh,Kei-ichi Watanabe

2023-07-12

Abstract:We study the behavior of various properties of commutative Noetherian rings under Segre products, with a special focus on properties in positive prime characteristic defined using the Frobenius endomorphism. Specifically, we construct normal graded rings of finite Frobenius representation type that are not Cohen-Macaulay.

Commutative Algebra
The monotone catenary degree of monoids of ideals

Alfred Geroldinger,Andreas Reinhart

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

2017-09-29

Abstract:Factoring ideals in integral domains is a central topic in multiplicative ideal theory. In the present paper we study monoids of ideals and consider factorizations of ideals into multiplicatively irreducible ideals. The focus is on the monoid of nonzero divisorial ideals and on the monoid of $v$-invertible divisorial ideals in weakly Krull Mori domains. Under suitable algebraic finiteness conditions we establish arithmetical finiteness results, in particular for the monotone catenary degree and for the structure of sets of lengths and of their unions.

Commutative Algebra
The necessity of (co)unit in nearly Frobenius algebra

Zhiyun Cheng,Ziyi Lei

2024-06-15

Abstract:In this article, we concern the concept of nearly Frobenius algebra, which corresponds to most 2D-TQFT of which each cobordism admits no critical points of index 0 or 2. We prove that any nearly Frobenius algebra over a principal ideal domain with surjective multiplication and injective comultiplication is indeed a Frobenius algebra. The motivation of this study mainly emanates from the investigation of potential constructions of link homology.

Geometric Topology,Rings and Algebras
Rigid Dualizing Complexes over Commutative Rings and their Functorial Properties

Mattia Ornaghi,Saurabh Singh,Amnon Yekutieli

2024-02-11

Abstract:In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid dualizing complexes have strong functorial properties, allowing us to construct the twisted induction pseudofunctor, which is our ring-theoretic version of the twisted inverse pseudofunctor $f^{!}$. This is the first article of a bigger project, whose final goal is establishing Grothendieck Duality, including global duality for proper maps, for Deligne-Mumford stacks.

Algebraic Geometry,Commutative Algebra,Category Theory
Invariants of ideals generated by pfaffians

Emanuela De Negri,Elisa Gorla

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

2013-03-28

Abstract:Ideals generated by pfaffians are of interest in commutative algebra and algebraic geometry, as well as in combinatorics. In this article we compute multiplicity and Castelnuovo-Mumford regularity of pfaffian ideals of ladders. We give explicit formulas for some families of ideals, and indicate a procedure that allows to recursively compute the invariants of any pfaffian ideal of ladder. Our approach makes an essential use of liaison theory.

Commutative Algebra
Fitting Ideals of Projective Limits of Modules over Non-Noetherian Iwasawa Algebras

Cristian D. Popescu,Wei Yin

2024-09-18

Abstract:Greither and Kurihara proved a theorem about the commutativity of projective limits and Fitting ideals for modules over the classical equivariant Iwasawa algebra $\Lambda_G=\mathbb{Z}_p[[T]][G]$, where $G$ is a finite, abelian group and $\Bbb Z_p$ is the ring of $p$--adic integers, for some prime $p$. In this paper, we generalize their result first to the Noetherian Iwasawa algebra $\mathbb{Z}_p[[T_1, T_2, \cdots, T_n]][G]$ and, most importantly, to the non-Noetherian algebra $\mathbb{Z}_p[[T_1, T_2, \cdots, T_n, \cdots]][G]$ of countably many generators. The latter generalization is motivated by the recent work of Bley-Popescu on the geometric Equivariant Iwasawa Conjecture for function fields, where the Iwasawa algebra is not Noetherian, of the type described above. Applications of these results to the emerging field of non-Noetherian Iwasawa Theory will be given in an upcoming paper.

Commutative Algebra,Number Theory
On Coprimary Filtrations

Yao Li

2024-10-15

Abstract:The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we also prove the existence and uniqueness of coprimary filtrations of coherent sheaves over a locally Noetherian scheme.

Commutative Algebra,Algebraic Geometry
On von Neumann Regularity of Commutators

Nam Kyun Kim,Tai Keun Kwak,Yang Lee,Sung Ju Ryu

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

2024-05-28

Algebra Colloquium

Abstract:Algebra Colloquium, Volume 31, Issue 02, Page 181-198, June 2024. We study the structure of rings which satisfy the von Neumann regularity of commutators, and call a ring [math] C-regular if [math] for all [math], [math] in [math]. For a C-regular ring [math], we prove [math], where [math], [math], [math], [math] are the Jacobson radical, upper nilradical, Wedderburn radical, and center of a given ring [math], respectively, and [math] denotes the polynomial ring with a set [math] of commuting indeterminates over [math]; we also prove that [math] is semiprime if and only if the right (left) singular ideal of [math] is zero. We provide methods to construct C-regular rings which are neither commutative nor von Neumann regular, from any given ring. Moreover, for a C-regular ring [math], the following are proved to be equivalent: (i) [math] is Abelian; (ii) every prime factor ring of [math] is a duo domain; (iii) [math] is quasi-duo; and (iv) [math] is reduced.

mathematics, applied
On set theoretically and cohomologically complete intersection ideals

Majid eghbali

DOI: https://doi.org/10.4153/CMB-2014-022-7

2014-04-03

Abstract:Let $(R,\fm)$ be a local ring and $\fa$ be an ideal of $R$. The inequalities $$\begin{array}{ll} \ \Ht(\fa) \leq \cd(\fa,R) \leq \ara(\fa) \leq l(\fa) \leq \mu(\fa) \end{array}$$ are known. It is an interesting and long-standing problem to find out the cases giving equality. Thanks to the formal grade we give conditions in which the above inequalities become equalities.

Commutative Algebra

On the Frobenius functor and colon ideals

On a Theorem of Macaulay on Colons of Ideals

Colength, multiplicity, and ideal closure operations II

The relevance of Freiman's theorem for combinatorial commutative algebra

Homological properties of the relative Frobenius morphism

Colon Structure of Associated Primes of Monomial Ideals

Frobenius-Perron theory for projective schemes

Valuations and Frobenius

Pfister forms and a conjecture due to Colliot-Thélène in the mixed characteristic case

Graph rings and ideals: Wolmer Vasconcelos contributions

Abelian varieties over finite fields with commutative endomorphism algebra: theory and algorithms

Quasi-co-Frobenius corings as Galois comodules

On Segre products, $F$-regularity, and finite Frobenius representation type

The monotone catenary degree of monoids of ideals

The necessity of (co)unit in nearly Frobenius algebra

Rigid Dualizing Complexes over Commutative Rings and their Functorial Properties

Invariants of ideals generated by pfaffians

Fitting Ideals of Projective Limits of Modules over Non-Noetherian Iwasawa Algebras

On Coprimary Filtrations

On von Neumann Regularity of Commutators

On set theoretically and cohomologically complete intersection ideals