LEFSCHETZ PRINCIPLE APPLIED TO SYMBOLIC POWERS

2003 ◽  
Vol 02 (02) ◽  
pp. 177-187 ◽  
Author(s):  
HANS SCHOUTENS

In this paper, an alternative proof is presented of the following result on symbolic powers due to Ein, Lazarsfeld and Smith [3] (for the affine case over [Formula: see text]) and to Hochster and Huneke [4] (for the general case). Let A be a regular ring containing a field K. Let [Formula: see text] be a radical ideal of A and let h be the maximum of the heights of its minimal primes. Then for all n, we have an inclusion [Formula: see text], where the first ideal denotes the hnth symbolic power of [Formula: see text]. In prime characteristic, this result admits an easy tight closure proof due to Hochster and Huneke. In this paper, the characteristic zero version is obtained from this by an application of the Lefschetz Principle.

2017 ◽  
Vol 2019 (10) ◽  
pp. 2999-3014 ◽  
Author(s):  
Eloísa Grifo ◽  
Craig Huneke

Abstract Given a radical ideal $I$ in a regular ring $R$, the Containment Problem of symbolic and ordinary powers of $I$ consists of determining when the containment $I^{(a)} \subseteq I^b$ holds. By work of Ein–Lazersfeld–Smith, Hochster–Huneke and Ma–Schwede, there is a uniform answer to this question, but the resulting containments are not necessarily best possible. We show that a conjecture of Harbourne holds when $R/I$ is F-pure, and prove tighter containments in the case when $R/I$ is strongly F-regular.


1981 ◽  
Vol 33 (6) ◽  
pp. 1331-1337 ◽  
Author(s):  
Yasunori Ishibashi

In a recent paper [6], P. Seibt has obtained the following result: Let k be a field of characteristic 0, k[T1, … , Tr] the polynomial ring in r indeterminates over k, and let P be a prime ideal of k[T1, … , Tr]. Then a polynomial F belongs to the n-th symbolic power P(n) of P if and only if all higher derivatives of F from the 0-th up to the (n – l)-st order belong to P.In this work we shall naturally generalize this result so as to be valid for primes of the polynomial ring over a perfect field k. Actually, we shall get a generalization as a corollary to a theorem which asserts: For regular primes P in a k-algebra R of finite type, a certain differential filtration of R associated with P coincides with the symbolic power filtration (P(n))n≧0.


2004 ◽  
Vol 175 ◽  
pp. 59-74 ◽  
Author(s):  
Nobuo Hara ◽  
Shunsuke Takagi

AbstractThe test ideal τ(R) of a ring R of prime characteristic is an important object in the theory of tight closure. In this paper, we study a generalization of the test ideal, which is the ideal τ(at) associated to a given ideal a with rational exponent t ≥ 0. We first prove a key lemma of this paper (Lemma 2.1), which gives a characterization of the ideal τ(at). As applications of this key lemma, we generalize the preceding results on the behavior of the test ideal τ(R). Moreover, we prove an analogue of so-called Skoda’s theorem, which is formulated algebraically via adjoint ideals by Lipman in his proof of the “modified Briançon-Skoda theorem.”


Author(s):  
Agata Smoktunowicz

In 2014, Wolfgang Rump showed that there exists a correspondence between left nilpotent right [Formula: see text]-braces and pre-Lie algebras. This correspondence, established using a geometric approach related to flat affine manifolds and affine torsors, works locally. In this paper, we explain Rump’s correspondence using only algebraic formulae. An algebraic interpretation of the correspondence works for fields of sufficiently large prime characteristic as well as for fields of characteristic zero.


2020 ◽  
pp. 1-13
Author(s):  
S. A. SEYED FAKHARI

Abstract Assume that G is a graph with edge ideal $I(G)$ and star packing number $\alpha _2(G)$ . We denote the sth symbolic power of $I(G)$ by $I(G)^{(s)}$ . It is shown that the inequality $ \operatorname {\mathrm {depth}} S/(I(G)^{(s)})\geq \alpha _2(G)-s+1$ is true for every chordal graph G and every integer $s\geq 1$ . Moreover, it is proved that for any graph G, we have $ \operatorname {\mathrm {depth}} S/(I(G)^{(2)})\geq \alpha _2(G)-1$ .


Author(s):  
Jonathan Montaño ◽  
Luis Núñez-Betancourt

Abstract We study the symbolic powers of square-free monomial ideals via symbolic Rees algebras and methods in prime characteristic. In particular, we prove that the symbolic Rees algebra and the symbolic associated graded algebra are split with respect to a morphism that resembles the Frobenius map and that exists in all characteristics. Using these methods, we recover a result by Hoa and Trung that states that the normalized $a$-invariants and the Castelnuovo–Mumford regularity of the symbolic powers converge. In addition, we give a sufficient condition for the equality of the ordinary and symbolic powers of this family of ideals and relate it to Conforti–Cornuéjols conjecture. Finally, we interpret this condition in the context of linear optimization.


2019 ◽  
Vol 169 (2) ◽  
pp. 335-355
Author(s):  
KRITI GOEL ◽  
J. K. VERMA ◽  
VIVEK MUKUNDAN

AbstractLet (R, ) 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^*\left( n \right) = \Im \left( {R/\left( {{I^n}} \right)*} \right)$$ and the corresponding tight Hilbert polynomial $$P_I^*\left( n \right)$$, where I is an m-primary ideal. It is proved that F-rationality can be detected by the vanishing of the first coefficient of $$P_I^*\left( n \right)$$. We find the tight Hilbert polynomial of certain parameter ideals in hypersurface rings and Stanley-Reisner rings of simplicial complexes.


2018 ◽  
Vol 2020 (7) ◽  
pp. 1921-1932 ◽  
Author(s):  
Thomas Bitoun

Abstract Let D be the ring of Grothendieck differential operators of the ring R of polynomials in d ≥ 3 variables with coefficients in a perfect field of characteristic p. We compute the D-module length of the 1st local cohomology module ${H^{1}_{f}}(R)$ with respect to a polynomial f with an isolated singularity, for p large enough. The expression we give is in terms of the Frobenius action on the top coherent cohomology of the exceptional fibre of a resolution of the singularity. Our proof rests on a tight closure computation of Hara. Since the above length is quite different from that of the corresponding local cohomology module in characteristic zero, we also consider a characteristic zero D-module whose length is expected to equal that above, for ordinary primes.


2021 ◽  
Vol 29 (2) ◽  
pp. 269-279
Author(s):  
Ivan Kaygorodov ◽  
Samuel A. Lopes ◽  
Farukh Mashurov

Abstract We connect the theorems of Rentschler [18] and Dixmier [10] on locally nilpotent derivations and automorphisms of the polynomial ring A 0 and of the Weyl algebra A 1, both over a field of characteristic zero, by establishing the same type of results for the family of algebras A h = 〈 x , y | y x − x y = h ( x ) 〉 , {A_h} = \left\langle {x,y|yx - xy = h\left( x \right)} \right\rangle , , where h is an arbitrary polynomial in x. In the second part of the paper we consider a field 𝔽 of prime characteristic and study 𝔽[t]-comodule algebra structures on Ah . We also compute the Makar-Limanov invariant of absolute constants of Ah over a field of arbitrary characteristic and show how this subalgebra determines the automorphism group of Ah .


Sign in / Sign up

Export Citation Format

Share Document