English
Related papers

Related papers: On a generalization of test ideals

200 papers

We use geometric and cohomological methods to show that given a degree bound for membership in ideals of a fixed degree type in the polynomial ring P=k[x_0,..., x_d], one obtains a good generic degree bound for membership in the tight…

Commutative Algebra · Mathematics 2009-07-30 H. Brenner , H. Fischbacher-Weitz

Let $\tau(n)$ be Ramanujan's tau function, defined by the discriminant modular form \[ \Delta(z) = q\prod_{j=1}^{\infty}(1-q^{j})^{24}\ =\ \sum_{n=1}^{\infty}\tau(n) q^n \,,q=e^{2\pi i z} \] (this is the unique holomorphic normalized…

We prove a result relating the Jacobian ideal and the generalized test ideal associated to a principal ideal in $R=k[x_1,...,x_n]$ with $[k:k^p]<\infty$ or in $R=k[[x_1,...,x_n]]$ with an arbitrary field $k$ of characteristic $p>0$. As a…

Commutative Algebra · Mathematics 2010-10-12 Mordechai Katzman , Gennady Lyubeznik , Wenliang Zhang

We study stratifying ideals for rings in the context of relative homological algebra. Using LU-decompositions, which are a special type of twisted products, we give a sufficient condition for an idempotent ideal to be (relative)…

Representation Theory · Mathematics 2014-09-23 Ana Paula Santana , Ivan Yudin

Let $K\subset\mathbb R^d$ be a compact subset equipped with a $\delta$-Ahlfors regular measure $\mu$. For any $\tau>1/d$ and any ``inhomogeneous'' vector $\boldsymbol{\theta}\in\mathbb R^d$, let $W_d(\psi_\tau,\boldsymbol{\theta})$ denote…

Number Theory · Mathematics 2026-02-17 Yubin He , Lingmin Liao

Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s) \oplus k(-2s+1)$, where $s \geq3$ is some…

Commutative Algebra · Mathematics 2020-02-21 Keller VandeBogert

Motivated by some recent results on Lie ideals, it is proved that if $L$ is a Lie ideal of a simple ring $R$ with center $Z(R)$, then $L\subseteq Z(R)$, $L=Z(R)a+Z(R)$ for some noncentral $a\in L$, or $[R, R]\subseteq L$, which gives a…

Rings and Algebras · Mathematics 2025-02-10 Tsiu-Kwen Lee , Jheng-Huei Lin

We introduce a continuous version of preprojective algebras of type $A$. In particular, we are interested in the preprojective category over an open, bounded subinterval $\mathbb{I}$ of $\mathbb{R}$, denoted $\Lambda_{\mathbb{I}}$. We study…

Representation Theory · Mathematics 2025-12-11 Job Daisie Rock , Hugh Thomas

Let $Z$ be a germ of a reduced analytic space of pure dimension. We provide an analytic proof of the uniform Briancon-Skoda theorem for the local ring $\mathcal{O}_Z$; a result which was previously proved by Huneke by algebraic methods. For…

Complex Variables · Mathematics 2011-01-25 Mats Andersson , Håkan Samuelsson , Jacob Sznajdman

We prove a characterization of F-rationality in terms of tight closure of products of parameter ideals. Our results are inspired by the theory of complete ideals for surfaces and, in particular, the fundamental results of Lipman-Teissier…

Commutative Algebra · Mathematics 2026-01-14 Alessandro De Stefani , Ilya Smirnov

The aim of this article is to establish the specialization method on characteristic ideals for finitely generated torsion modules over a complete local normal domain R that is module-finite over $O[[x_1, ..., x_d]]$, where $O$ is the ring…

Number Theory · Mathematics 2017-06-07 Tadashi Ochiai , Kazuma Shimomoto

Idealization of a module $K$ over a commutative ring $S$ produces a ring having $K$ as an ideal, all of whose elements are nilpotent. We develop a method that under suitable field-theoretic conditions produces from an $S$-module $K$ and…

Commutative Algebra · Mathematics 2012-04-19 Bruce Olberding

Koiran's real $\tau$-conjecture claims that the number of real zeros of a structured polynomial given as a sum of $m$ products of $k$ real sparse polynomials, each with at most $t$ monomials, is bounded by a polynomial in $m,k,t$. This…

Computational Complexity · Computer Science 2021-07-30 Irénée Briquel , Peter Bürgisser

Let $(R,\mathfrak m)$ be an analytically unramified local ring of positive prime characteristic $p.$ For an ideal $I$, let $I^*$ denote its tight closure. We introduce the tight Hilbert function $H^*_I(n)=\ell(R/(I^n)^*)$ and the…

Commutative Algebra · Mathematics 2020-08-19 Kriti Goel , Vivek Mukundan , J. K. Verma

We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…

General Topology · Mathematics 2022-04-08 Michael Hrušák , Alexander Shibakov

A central question in mathematics and computer science is the question of determining whether a given ideal $I$ is prime, which geometrically corresponds to the zero set of $I$, denoted $Z(I)$, being irreducible. The case of principal…

Computational Complexity · Computer Science 2025-03-27 Abhibhav Garg , Rafael Oliveira , Nitin Saxena

The (full) extended plus closure was developed as a replacement for tight closure in mixed characteristic rings. Here it is shown by adapting Andr\'{e}'s perfectoid algebra techniques that, for complete local rings that have F-finite…

Commutative Algebra · Mathematics 2018-10-24 Raymond Heitmann , Linquan Ma

We extend the classical notion of standardly stratified $k$-algebra (stated for finite dimensional $k$-algebras) to the more general class of rings, possibly without $1,$ with enough idempotents. We show that many of the fundamental…

Rings and Algebras · Mathematics 2020-09-03 O. Mendoza , M. Ortíz , C. Sáenz , V. Santiago

We generalize the definition of pseudo monomial characters and $M$-groups to the Brauer character and Isaacs' $\pi$-partial character settings. We prove an analogs of Isaacs's generalization of Taketa's theorem in those settings. We…

Group Theory · Mathematics 2025-11-11 Xiaoyou Chen , Mark L. Lewis

Let $\Bbbk$ be a field and let $I$ be a monomial ideal in the polynomial ring $Q=\Bbbk[x_1,\ldots,x_n]$. In her thesis, Taylor introduced a complex which provides a finite free resolution for $Q/I$ as a $Q$-module. Later, Gemeda constructed…

Rings and Algebras · Mathematics 2021-09-02 Luigi Ferraro , Desiree Martin , W. Frank Moore