arxiv: v1 [math.ag] 27 Oct 2007
|
|
- Zoe Davis
- 5 years ago
- Views:
Transcription
1 A NOTE ON SINGULARITY AND NON-PROPER VALUE SET OF POLYNOMIAL MAPS OF C 2 arxiv: v1 [math.ag] 27 Oct 2007 NGUYEN VAN CHAU Abstract. Some properties of the relation between the singular point set and the non-proper value curve of polynomial maps of C 2 are expressed in terms of Newton-Puiseux expansions. 1. Introduction Recall that the so-called non-proper value set A f of a polynomial map f = (P,Q) : C 2 C 2, P,Q C[x,y], is the set of all point b C 2 such that there exists a sequence C 2 a i with f(a i ) b. The set A f is empty if and only if f is proper and f has a polynomial inverse if and only if f has not singularity and A f =. The mysterious Jacobian conjecture (JC) (See [4] and [8]), posed first by Keller in 1939 and still open, asserts that if f has not singularity, then f has a polynomial inverse. In other words, (JC) shows that the non-proper value set of a non-singular polynomial map of C 2 must be empty. In any way one may think that the knowledge on the relation between the singularity set and the non-proper value set should be useful in pursuit of this conjecture. Jelonek in [9] observed that for non-constant polynomial map f of C 2 the non-proper value set A f, if non empty, must be a plane curve such that each of its irreducible components can be parameterized by a non-constant polynomial map from C into C 2. Following [6], the non-proper value set A f can be described in term of Newton-Puiseux expansion as follows. Denote by Π the set of all finite fractional power series ϕ(x,ξ) of the form (1.1) ϕ(x, ξ) = n ϕ 1 k=1 a k x 1 k nϕ 1 mϕ +ξx mϕ,n ϕ,m ϕ N, gcd{k : a k 0} = 1, where ξ is a parameter. For convenience, we denote ψ ϕ if ϕ(x,ξ) = ψ(x,c+lower terms in x). We can fix a coordinate (x,y) such that P and Q are monic in y, i.e deg y P = degp and deg y Q = degq. For each ϕ Π Date: April 25, Mathematics Subject Classification. 14 H07, 14R15. Key words and phrases. Singularity, Non-proper value set, Newton-Puiseux expansion. Supported in part by the National Basic Program on Natural Science, Vietnam, and ICTP, trieste, Italy. 1
2 2 NGUYEN VAN CHAU we represent (1.2) aϕ P(x,ϕ(x,ξ)) = p ϕ (ξ)xmϕ +lower terms in x,0 p ϕ C[ξ] bϕ Q(x,ϕ(x,ξ)) = q ϕ (ξ)xmϕ +lower terms in x,0 q ϕ C[ξ] Jϕ J(P,Q)(x,ϕ(x,ξ)) = j ϕ (ξ)xmϕ +lower terms in x,0 j ϕ C[ξ]. Note that a ϕ,b ϕ and J ϕ are integer numbers. A series ϕ Π is a horizontal series of P ( of Q ) if a ϕ = 0 and degp ϕ > 0 (resp. b ϕ = 0 and degq ϕ > 0), ϕ is a dicritical series of f = (P,Q) if ϕ is a horizontal series of P or Q and max{a ϕ,b ϕ } = 0 and ϕ is a singular series of f if degj ϕ > 0. Note that for every singular series ϕ of f the equation J(P,Q)(x,y) = 0 always has a root y(x) of the form ϕ(x,c+lower terms in x), which gives a branch curve at infinity of the curve J(P,Q) = 0. We have the following relations: i) If f (resp. P, Q) tends to a finite value along a branch curve at infinity γ, then there is a dicritical series ϕ of f (resp. a horizontal series ϕ of P, a horizontalseriesϕofq)suchthatγ canberepresentedbyanewton-puiseux of the form ϕ(x,c+lower terms in x); ii) If ϕ is a dicritical series of f and f(x,ϕ(x,ξ)) = f ϕ (ξ)+lower terms in x; then degf ϕ > 0 and its image is a component of A f. iii) (Lemma 4 in [6]) A f = f ϕ (C). ϕ is a dicritical series of f This note is to present the following relation between the singularity set of f and the non-propervalue set A f in terms of Newton-Puiseux expansion. Theorem 1.1. Suppose ψ Π, a ψ > 0 and b ψ > 0, (a ψ,b ψ ) = (Md,Me), M N, gcd(d,e) = 1. Assume that ϕ Π is a dicritical series of f such that ψ ϕ. If ψ is not a singular series of f, then (i) (degp ψ,degq ψ ) = (Nd,Ne) for some N N, (ii) a ϕ = b ϕ = 0 and (1.3) p ϕ (ξ) = Lcoeff(p ψ )C d ξ Dd +... q ϕ (ξ) = Lcoeff(q ψ )C e ξ De +... for some C C and D N. Here, Lcoeff(h) indicates the coefficient of the leading term of h(ξ) C[ξ]. Theorem 1.1 does not say anything about the existence of dicritical series ϕ, but only shows some properties of pair ψ ϕ. Such analogous observations for the case of non-zero constant Jacobian polynomial map f was obtained earlier in [7].
3 SINGULARITY AND NON-PROPER VALUE SET OF POLYNOMIAL MAPS OF C 2 3 For the case when J(P,Q) const. 0, from Theorem 1.1 (ii) it follows that if A f, then every irreducible components of A f can be parameterized by polynomial maps ξ (p(ξ),q(ξ)) with (1.4) degp/degq = degp/degq. This fact was presented in [6] and can be reduced from [3]. The estimation (1.4) together with the Abhyankar-Moh Theorem on embedding of the line to the plane in [1] allows us to obtain that a non-constant polynomial map f of C 2 must have singularities if its non-proper value set A f has an irreducible component isomorphic to the line. In fact, if A f has a component l isomorphic to C, by Abhyankar-Moh Theorem one can choose a suitable coordinate so that l is the line v = 0. Then, every dicritical series ϕ with f ϕ (C) = l must satisfy a ϕ = 0 and b ϕ < 0. For this situation we have Theorem 1.2. Suppose ϕ is a dicritical series ϕ of f with a ϕ = 0 and b ϕ < 0. Then, either ϕ is a singular series of f or there is a horizontal series ψ of Q such that ψ is a singular series of f and ψ ϕ. The proof of Theorem 1.1 presented in the next sections 2-4 is based on those in [7]. The proof of Theorem 1.2 will be presented in Section Associated sequence of pair ψ ϕ. From now on, f = (P,Q) : C 2 C 2 is a given polynomial map, P,Q C[x,y]. The coordinate (x,y) is chosen so that P and Q are polynomials monic in y, i.e. deg y P = degp and deg y Q = degq. Let ψ,ϕ Π be given. In this section and the two next sections 3-4 we always assume that ψ is not a singular series of f, ϕ is a dicritical series of f and ψ ϕ. Let us represent K 1 (2.1) ϕ(x,ξ) = ψ(x,0)+ c k x 1 n k m k +ξx 1 n K mk, k=0 where n ψ m ψ = n 0 m 0 < n 1 m 1 < < n K 1 m K 1 < n K m K = nϕ m ϕ and c k C may be the zero, so that the sequence of series {ϕ i } i=0,1...,k defined by i 1 (2.2) ϕ i (x,ξ) := ψ(x,0) + c k x 1 n k m k +ξx 1 n i,i = 0,1,...,K 1, k=0 and ϕ K := ϕ satisfies the following properties: S1) m ϕi =. S2) For every i < K at least one of polynomials p ϕi and q ϕi has a zero point different from the zero. S3) For every φ(x,ξ) = ϕ i (x,c i ) + ξx 1 α n, i < α < n i+1 +1, each of the polynomials p φ and q φ is either constant or a monomial of ξ. The representation (2.1) of ϕ is thus the longest representation such that for each index i there is a Newton-Puiseux root y(x) of P = 0 or Q = 0 such that y(x) = ϕ i (x,c+ lower terms in x), c 0 if c i = 0. This representation
4 4 NGUYEN VAN CHAU and the associated sequence ϕ 0 ϕ 1 ϕ K = ϕ is well defined and unique. Further, ϕ 0 = ψ. For simplicity in notations, below we shall use lower indices i instead of the lower indices ϕ i. For each associated series ϕ i, i = 0...,K, let us represent (2.3) P(x,ϕ i (x,ξ)) = p i (ξ)x a i +lower terms in x Q(x,ϕ i (x,ξ)) = q i (ξ)x b i +lower terms in x, where p i,q i C[ξ] {0}, a i,b i Z and := mult(ϕ i ). The property that P and Q are polynomials monic in y ensures that the Newton-Puiseux roots at infinity y(x) of each equations P(x,y) = 0 and Q(x,y) = 0 are fractional power series of the form y(x) = c k x 1 m, k m N, gcd{k : c k 0} = 1, k=0 for which the map τ (τ m,y(τ m )) is meromorphic and injective for τ large enough. Let {u i (x),i = 1,...degP} and {v j (x),j = 1,...degQ} be the collections of the Newton-Puiseux roots of P = 0 and Q = 0, respectively. In view of the Newton theorem we can represent degp degq (2.4) P(x,y) = A (y u i (x)), Q(x,y) = B (y v i (x)). i=1 We refer the readers to [2] and [5] for the Newton theorem and the Newton-Puiseux roots. For each i = 0...,K, let us define - S i := {k : 1 k degp : u k (x) = ϕ i (x,a ik + lower terms in x),a ik C}; - T i := {k : 1 k degq : v k (x) = ϕ i (x,b ik + lower terms in x),b ik C}; - Si 0 := {k S i : a ik = c i }; - Ti 0 := {k T i : b ik = c i }. Represent p i (ξ) = A i p i (ξ)(ξ c i ) #S0 i, pi (ξ) := j=1 (ξ a ik ), and k S i \S 0 i q i (ξ) = B i q i (ξ)(ξ c i ) #T0 i, qi (ξ) := (ξ b ik ). k T i \T 0 i Note that A i = Lcoeff(p i ) and B i = Lcoeff(q i ). Lemma 2.1. For i = 1,...,K A i = A i 1 p i 1 (c i 1 ),degp i = #S i = #Si 1, 0
5 SINGULARITY AND NON-PROPER VALUE SET OF POLYNOMIAL MAPS OF C 2 5 a i = a i 1 1 +#S 0 i 1( n i 1 1 n i ), B i = B i 1 q i 1 (c i 1 ),degq i = #T i = #T 0 i 1, b i = b i 1 1 +#T 0 i 1 ( n i 1 1 n i ). Proof. Note that ϕ 0 (x,ξ) = ψ(x,ξ) and ϕ i (x,ξ) = ϕ i 1 (x,c i 1 ) + ξx 1 n i for i > 0. Then, substituting y = ϕ i (x,ξ), i = 0,1,...,K, into the Newton factorizations of P(x,y) and Q(x,y) in (2.4) one can easy verify the conclusions. 3. Polynomials j i (ξ) Let {ϕ i } be the associated series of the pair ψ ϕ. Denote i (ξ) := a i p i (ξ) q i (ξ) b i ṗ i (ξ)q i (ξ). As assumed, ψ is not a singular series of f. So, we have and J ψ m J(P,Q)(x,ψ(x,ξ)) = j ψ x ψ +lower terms in x,j ψ const. C J(P,Q)(x,ϕ i (x,ξ)) = j i x J i +lower terms in x,j i const. C for i = 0,...,K. Lemma 3.1. Let 0 i < K. If a i > 0 and b i > 0, then { j i if a i +b i = 2 n i +J i, i (ξ) 0 if a i +b i > 2 n i +J i. Further, i (ξ) 0 if and only if p i (ξ) and q i (ξ) have a common zero point. In this case p i (ξ) b i = Cq i (ξ) a i, C C. Proof. Sincea i > 0andb i > 0,takingdifferentiationofDf(t,ϕ i (t,ξ)), we have that j i t J i+n i higher terms in t = i (ξ)t a i b i 1 + higher terms in t. Comparing two sides of it we can get the first conclusion. The remains are left to the readers as an elementary exercise.
6 6 NGUYEN VAN CHAU 4. Proof of Theorem 1.1 Consider the associated sequence {ϕ i } K i=1 of the pair ψ ϕ. Since ϕ is a dicritical series of f and a ψ = a 0 > 0,b ψ = b 0 > 0, we can see that degp 0 > 0,degq 0 > 0. Represent (a 0,b 0 ) = (Md,Me) with gcd(d,e) = 1. Without loss of generality we can assume that degp K > 0, a K = 0 and b K 0. Then, from the construction of the sequence ϕ i it follows that { p i (c i ) = 0 and a i > 0, i = 0,1,...,K 1 (4.1) q i (c i ) = 0 if b i > 0 Then, by induction using Lemma 2.1, Lemma 3.1 and (4.1) we can obtain without difficulty the following. Lemma 4.1. For i = 0,1,...,K 1 we have a i > 0,b i > 0, (a) and #S 0 i #T 0 i a i b i = #S i #T i = d e (b) = d e, p i(ξ) e = q i (ξ) d. (c) Now, we are ready to complete the proof. First note that degp ψ = #S 0 and degq ψ = #T 0. Then, from Lemma 4.1 (c) it follows that (degp ψ,degq ψ ) = (Nd,Ne) for N = gcd(degp ψ,degq ψ ) N. Thus, we get Conclusion (i). Next, we will show b K = 0. Indeed, by Lemma 2.1 (iii) and Lemma 4.1 (b-c) we have b K m K as a K = 0. Thus, we get = b K 1 m K 1 +#T 0 K 1( n K 1 m K 1 n K m K ) = e d [ a K 1 +#SK 1 0 m ( n K 1 n K )] K 1 m K 1 m K a K = e dm K = 0, a K = b K = 0.
7 SINGULARITY AND NON-PROPER VALUE SET OF POLYNOMIAL MAPS OF C 2 7 Now, we detect the form of polynomials p K (ξ) and q K (ξ)). Using Lemma 2.1 (ii-iii) to compute the leading coefficients A K and B K we can get A K = A 0 ( p k (c k )),B K = B 0 ( q k (c k )). k K 1 k K 1 Let C be a d radical of ( k K 1 p k(c k )). Then, by Lemma 2.1 (ii) and Lemma 4.1 (c) we have that A K = A 0 C d,b K = B 0 C e. Let D := gcd(#sk 1 0,#T0 K 1 ). Then, by Lemma 4.1 (b-c) we get Thus, degp K = #S 0 K 1 = Dd,degq K = #T 0 K 1 = De. p K (ξ) = A 0 C d ξ Dd +... q K (ξ) = B 0 C e ξ De +... This proves Conclusion (ii). 5. Proof of Theorem 1.2 Suppose ϕ is a dicritical series ϕ of f with a ϕ = 0 and b ϕ < 0. Since b ϕ < 0, there is a horizontal series ψ of Q such that ψ ϕ. We will show that ψ is a singular series of f. Observethat ϕis a horizontal series of P since a ϕ = 0. Hence, degp ψ > 0, since ψ ϕ. Represent m P(x,ψ(x,ξ)) = p ψ (ξ)x ψ +lower terms in x, Q(x,ψ(x,ξ)) = q ψ (ξ)+lower terms in x, m J(P,Q)(x,ψ(x,ξ)) = j ψ (ξ)x ψ +lower terms in x. Since a ψ > 0 and b ψ = 0, taking differentiation of Df(t m ψ,ψ(t m ψ,ξ)) we have that m ψ j ψ (ξ)t J ψ+n ψ 2m ψ 1 + h.terms in t = a ψ p ψ (ξ) q ψ (ξ)t a ψ 1 + h.terms in t. Comparing two sides of it we get that a ψ J ψ m ψ j ψ (ξ) = a ψ p ψ (ξ) q ψ (ξ). As degp ψ > 0, we get degj ψ (ξ) > 0, i.e. ψ is a singular series of f.
8 8 NGUYEN VAN CHAU 6. Last comment To conclude the paper we want to note that instead of the polynomial maps f = (P,Q) we may consider pairs f = (P,Q) k((x))[y] 2, where k is an algebraically closed field of zero characteristic and k((x)) is the ring of formal Laurent series in variable x 1 with finite positive power terms. Then, in view of the Newton theorem the polynomial P(y) and Q(y) can be factorized into linear factors in k((x))[y]. And the notions of horizontal series, dicritical series and singular series can be introduced in an analogous way. In this situation the statements of Theorem 1.1 and Theorem 1.2 are still valid and can be proved in the same way as in sections 2-5. Acknowledgments The author wishes to thank Prof. A. van den Essen for many valuable suggestions and useful discussions. References [1] S. S. Abhyankar and T. T. Moh, Embeddings of the line in the plane, J. Reine Angew. Math. 276 (1975), [2] S. S. Abhyankar, Expansion Techniques in Algebraic Geometry, Tata Institute of Fundamental Research, [3] E. B. Bartolo, Ph. Cassou-Nogues and H. Maugendre, Quotients jacobiens d applications polynomiales (Jacobian quotients of polynomial mappings), Annales de l Institut Fourier 53 (2) (2003), [4] H. Bass, E. Connell and D. Wright, The Jacobian conjecture: reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. (N.S.) 7 (1982), [5] E. Brieskorn and H. Knorrer, Ebene algebraische Kurven, Birkhauser, Basel-Boston- Stuttgart, [6] Nguyen Van Chau, Non-zero constant Jacobian polynomial maps of C 2, Ann. Polon. Math. 71 (1999), [7] Nguyen Van Chau, Note on the Jacobian condition and the non-proper value set, Ann. Polon. Math. 84 (2004), [8] Van den Essen, Arno, Polynomial automorphisms and the Jacobian conjecture, Progress in Mathematics 190, Birkhauser, Basel, [9] Z. Jelonek, The set of points at which a polynomial map is not proper, Ann. Polon. Math. 58 (1993), Institute of Mathematics 18 Hoang Quoc Viet Hanoi, Vietnam address: nvchau@math.ac.vn
A Simple Proof of Jung Theorem on Polynomial Automorphisms of C 2
arxiv:math/0408077v [math.ag] 5 Aug 2004 A Simple Proof of Jung Theorem on Polynomial Automorphisms of C 2 Nguyen Van Chau Abstract. The Automorphism Theorem, discovered first by Jung in 942, asserts that
More informationA POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE
Bull. Korean Math. Soc. 47 (2010), No. 1, pp. 211 219 DOI 10.4134/BKMS.2010.47.1.211 A POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE Dosang Joe Abstract. Let P be a Jacobian polynomial such as deg P =
More informationNon-zero constant Jacobian polynomial maps of C 2
ANNALES POLONICI MATHEMATICI LXXI.3 (1999) Non-zero constant Jacobian polynomial maps of C 2 by Nguyen Van Chau (Hanoi) Abstract. We study the behavior at infinity of non-zero constant Jacobian polynomial
More informationTHE DEGREE OF THE INVERSE OF A POLYNOMIAL AUTOMORPHISM
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIV 2006 THE DEGREE OF THE INVERSE OF A POLYNOMIAL AUTOMORPHISM by Sabrina Brusadin and Gianluca Gorni Abstract. Let F : C n C n be an invertible
More informationON POLYNOMIAL CURVES IN THE AFFINE PLANE
ON POLYNOMIAL CURVES IN THE AFFINE PLANE Mitsushi FUJIMOTO, Masakazu SUZUKI and Kazuhiro YOKOYAMA Abstract A curve that can be parametrized by polynomials is called a polynomial curve. It is well-known
More informationA set on which the Lojasiewicz exponent at infinity is attained
ANNALES POLONICI MATHEMATICI LXVII.2 (1997) A set on which the Lojasiewicz exponent at infinity is attained by Jacek Cha dzyński and Tadeusz Krasiński ( Lódź) Abstract. We show that for a polynomial mapping
More informationThe set of points at which a polynomial map is not proper
ANNALES POLONICI MATHEMATICI LVIII3 (1993) The set of points at which a polynomial map is not proper by Zbigniew Jelonek (Kraków) Abstract We describe the set of points over which a dominant polynomial
More informationLocal Parametrization and Puiseux Expansion
Chapter 9 Local Parametrization and Puiseux Expansion Let us first give an example of what we want to do in this section. Example 9.0.1. Consider the plane algebraic curve C A (C) defined by the equation
More informationarxiv: v1 [math.ac] 3 Jan 2016
A new characterization of the invertibility of polynomial maps arxiv:1601.00332v1 [math.ac] 3 Jan 2016 ELŻBIETA ADAMUS Faculty of Applied Mathematics, AGH University of Science and Technology al. Mickiewicza
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationJacobian Conjecture: A Birational Geometry Approach
Jacobian Conjecture: A Birational Geometry Approach Alexander Borisov University of Pittsburgh March 5, 2013 Johns Hopkins University Algebraic Geometry and Number Theory Seminar 1 Suppose n N. Suppose
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationThe automorphism theorem and additive group actions on the affine plane
The automorphism theorem and additive group actions on the affine plane arxiv:1604.04070v1 [math.ac] 14 Apr 2016 Shigeru Kuroda Abstract Due to Rentschler, Miyanishi and Kojima, the invariant ring for
More informationarxiv: v8 [math.ra] 13 Apr 2015
SPECIAL CASES OF THE JACOBIAN CONJECTURE VERED MOSKOWICZ arxiv:1501.06905v8 [math.ra] 13 Apr 2015 Abstract. The famous Jacobian conjecture asks if a morphism f : K[x,y] K[x,y] that satisfies Jac(f(x),f(y))
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationNIL DERIVATIONS AND CHAIN CONDITIONS IN PRIME RINGS
proceedings of the american mathematical society Volume 94, Number 2, June 1985 NIL DERIVATIONS AND CHAIN CONDITIONS IN PRIME RINGS L. O. CHUNG AND Y. OBAYASHI Abstract. It is known that in a prime ring,
More informationarxiv: v1 [math.qa] 5 Feb 2015
Automorphism groups of Witt algebras Jianzhi Han, Yucai Su Department of Mathematics, Tongji University, Shanghai 200092, China arxiv:1502.01441v1 [math.qa] 5 Feb 2015 Abstract: The automorphism groups
More informationYuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99
Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by
More informationDICKSON INVARIANTS HIT BY THE STEENROD SQUARES
DICKSON INVARIANTS HIT BY THE STEENROD SQUARES K F TAN AND KAI XU Abstract Let D 3 be the Dickson invariant ring of F 2 [X 1,X 2,X 3 ]bygl(3, F 2 ) In this paper, we prove each element in D 3 is hit by
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationIRREDUCIBILITY OF HYPERSURFACES
IRREDUCIBILITY OF HYPERSURFACES ARNAUD BODIN, PIERRE DÈBES, AND SALAH NAJIB Abstract. Given a polynomial P in several variables over an algebraically closed field, we show that except in some special cases
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationPERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d
PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS L. H. GALLARDO and O. RAHAVANDRAINY Abstract. We consider, for a fixed prime number p, monic polynomials in one variable over the finite field
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationA GEOMETRICAL APPROACH TO THE JACOBIAN CONJECTURE FOR n = 2
LE DUNG TRANG AND C. WEBER KODAI MATH J. 17 (1994), 374 381 A GEOMETRICAL APPROACH TO THE JACOBIAN CONJECTURE FOR n = 2 BY LE DUNG TRANG AND CLAUDE WEBER Let us recall the Jacobian conjecture (see [B-C-W]
More informationLemma 1.3. The dimension of I d is dimv d D = ( d D+2
BEZOUT THEOREM One of the most fundamental results about the degrees of polynomial surfaces is the Bezout theorem, which bounds the size of the intersection of polynomial surfaces. The simplest version
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationBUI XUAN HAI, VU MAI TRANG, AND MAI HOANG BIEN
A NOTE ON SUBGROUPS IN A DIVISION RING THAT ARE LEFT ALGEBRAIC OVER A DIVISION SUBRING arxiv:1808.08452v2 [math.ra] 22 Feb 2019 BUI XUAN HAI, VU MAI TRANG, AND MAI HOANG BIEN Abstract. Let D be a division
More informationarxiv: v1 [math.ra] 16 Dec 2014
arxiv:1412.5219v1 [math.ra] 16 Dec 2014 CATEGORY EQUIVALENCES INVOLVING GRADED MODULES OVER QUOTIENTS OF WEIGHTED PATH ALGEBRAS CODY HOLDAWAY Abstract. Let k be a field, Q a finite directed graph, and
More informationIRREDUCIBILITY OF HYPERSURFACES
IRREDUCIBILITY OF HYPERSURFACES ARNAUD BODIN, PIERRE DÈBES, AND SALAH NAJIB Abstract. Given a polynomial P in several variables over an algebraically closed field, we show that except in some special cases
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationarxiv: v1 [math.ac] 7 Feb 2009
MIXED MULTIPLICITIES OF MULTI-GRADED ALGEBRAS OVER NOETHERIAN LOCAL RINGS arxiv:0902.1240v1 [math.ac] 7 Feb 2009 Duong Quoc Viet and Truong Thi Hong Thanh Department of Mathematics, Hanoi University of
More information15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.
15. Polynomial rings Definition-Lemma 15.1. Let R be a ring and let x be an indeterminate. The polynomial ring R[x] is defined to be the set of all formal sums a n x n + a n 1 x n +... a 1 x + a 0 = a
More informationTHE JACOBIAN AND FORMAL GROUP OF A CURVE OF GENUS 2 OVER AN ARBITRARY GROUND FIELD E. V. Flynn, Mathematical Institute, University of Oxford
THE JACOBIAN AND FORMAL GROUP OF A CURVE OF GENUS 2 OVER AN ARBITRARY GROUND FIELD E. V. Flynn, Mathematical Institute, University of Oxford 0. Introduction The ability to perform practical computations
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationarxiv: v2 [math.ag] 29 Mar 2017
The orbifold Langer-Miyaoka-Yau inequality and Hirzebruch-type inequalities Piotr Pokora arxiv:161.05141v [math.ag] 9 Mar 017 March 0, 017 To Professor Kamil Rusek, on the occasion of his 70th birthday.
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol
More informationAbstract. We find Rodrigues type formula for multi-variate orthogonal. orthogonal polynomial solutions of a second order partial differential
Bull. Korean Math. Soc. 38 (2001), No. 3, pp. 463 475 RODRIGUES TYPE FORMULA FOR MULTI-VARIATE ORTHOGONAL POLYNOMIALS Yong Ju Kim a, Kil Hyun Kwon, and Jeong Keun Lee Abstract. We find Rodrigues type formula
More informationTHE JACOBIAN CONJECTURE: SURVEY OF SOME RESULTS
TOPICS IN COMPLEX ANALYSIS BANACH CENTER PUBLICATIONS, VOLUME 31 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1995 THE JACOBIAN CONJECTURE: SURVEY OF SOME RESULTS LUDWIK M. DRUŻKOWSKI Institute
More informationDONG QUAN NGOC NGUYEN
REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the
More informationCommutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14
Commutative Algebra Andreas Gathmann Class Notes TU Kaiserslautern 2013/14 Contents 0. Introduction......................... 3 1. Ideals........................... 9 2. Prime and Maximal Ideals.....................
More informationA Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.
A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationPlaces of Number Fields and Function Fields MATH 681, Spring 2018
Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote
More informationA Gel fond type criterion in degree two
ACTA ARITHMETICA 111.1 2004 A Gel fond type criterion in degree two by Benoit Arbour Montréal and Damien Roy Ottawa 1. Introduction. Let ξ be any real number and let n be a positive integer. Defining the
More informationPrimary Decomposition
Primary Decomposition p. Primary Decomposition Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern Primary Decomposition p. Primary Decomposition:References
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationA MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ
A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In
More informationNOTES ON THE UNIQUE EXTENSION PROPERTY
NOTES ON THE UNIQUE EXTENSION PROPERTY WILLIAM ARVESON Abstract. In a recent paper, Dritschel and McCullough established the existence of completely positive maps of operator algebras that have a unique
More informationA Note on Dormant Opers of Rank p 1 in Characteristic p
A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective
More informationD-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains
D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.
More informationMAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.
DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous
More informationNOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.
NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationAbsolute Values and Completions
Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic
More informationON THE REGULARITY OF PRODUCTS AND INTERSECTIONS OF COMPLETE INTERSECTIONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 135, Number 6, June 2007, Pages 1597 1606 S 0002-9939(06)08842-3 Article electronically published on December 27, 2006 ON THE REGULARITY OF PRODUCTS
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More information4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**
4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics RATIONAL POLYNOMIALS OF SIMPLE TYPE Walter D. Neumann and Paul Norbury Volume 204 No. 1 May 2002 PACIFIC JOURNAL OF MATHEMATICS Vol. 204, No. 1, 2002 RATIONAL POLYNOMIALS
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationAN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS
AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS JESSICA SIDMAN. Affine toric varieties: from lattice points to monomial mappings In this chapter we introduce toric varieties embedded in
More informationDifferential Type Operators, Rewriting Systems and Gröbner-Shirshov Bases
1 Differential Type Operators, Rewriting Systems and Gröbner-Shirshov Bases Li GUO (joint work with William Sit and Ronghua Zhang) Rutgers University at Newark Motivation: Classification of Linear Operators
More informationAMICABLE PAIRS AND ALIQUOT CYCLES FOR ELLIPTIC CURVES OVER NUMBER FIELDS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 6, 2016 AMICABLE PAIRS AND ALIQUOT CYCLES FOR ELLIPTIC CURVES OVER NUMBER FIELDS JIM BROWN, DAVID HERAS, KEVIN JAMES, RODNEY KEATON AND ANDREW QIAN
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More informationLogarithmic functional and reciprocity laws
Contemporary Mathematics Volume 00, 1997 Logarithmic functional and reciprocity laws Askold Khovanskii Abstract. In this paper, we give a short survey of results related to the reciprocity laws over the
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationarxiv: v1 [math.ra] 21 Jul 2009
PRESENTATIONS OF MATRIX RINGS MARTIN KASSABOV arxiv:0907.3701v1 [math.ra] 21 Jul 2009 Recently, there has been a significant interest in the combinatorial properties the ring of n n matrices. The aim of
More informationARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS
ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS TIMO ERKAMA It is an open question whether n-cycles of complex quadratic polynomials can be contained in the field Q(i) of complex rational numbers
More informationLECTURE 5: THE METHOD OF STATIONARY PHASE
LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =
More informationD-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties
D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.
More informationELEMENTARY RESOLUTION OF A FAMILY OF QUARTIC THUE EQUATIONS OVER FUNCTION FIELDS
ELEMENTARY RESOLUTION OF A FAMILY OF QUARTIC THUE EQUATIONS OVER FUNCTION FIELDS CLEMENS FUCHS*,, ANA JURASIĆ**, AND ROLAND PAULIN* Abstract. We consider and completely solve the parametrized family of
More informationSign changes of Fourier coefficients of cusp forms supported on prime power indices
Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de
More informationarxiv: v3 [math.oa] 12 Jul 2012
FREE GROUP C -ALGEBRAS ASSOCIATED WITH l p arxiv:1203.0800v3 [math.oa] 12 Jul 2012 RUI OKAYASU Abstract. For every p 2, we give a characterization of positive definite functions on a free group with finitely
More informationEXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS
Electronic Journal of Differential Equations, Vol. 2008(2008), No. 98, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) EXISTENCE
More informationProjective Varieties. Chapter Projective Space and Algebraic Sets
Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the
More informationarxiv: v1 [math.ac] 11 Dec 2013
A KOSZUL FILTRATION FOR THE SECOND SQUAREFREE VERONESE SUBRING arxiv:1312.3076v1 [math.ac] 11 Dec 2013 TAKAYUKI HIBI, AYESHA ASLOOB QURESHI AND AKIHIRO SHIKAMA Abstract. The second squarefree Veronese
More informationCOMPUTING POLYNOMIAL CONFORMAL MODELS FOR LOW-DEGREE BLASCHKE PRODUCTS
COMPUTING POLYNOMIAL CONFORMAL MODELS FOR LOW-DEGREE BLASCHKE PRODUCTS TREVOR RICHARDS AND MALIK YOUNSI Abstract. For any finite Blaschke product B, there is an injective analytic map ϕ : D C and a polynomial
More informationSome D-module theoretic aspects of the local cohomology of a polynomial ring
Some D-module theoretic aspects of the local cohomology of a polynomial ring Toshinori Oaku Tokyo Woman s Christian University July 6, 2015, MSJ-SI in Osaka Toshinori Oaku (Tokyo Woman s Christian University)
More informationNEWTON POLYGONS AND FAMILIES OF POLYNOMIALS
NEWTON POLYGONS AND FAMILIES OF POLYNOMIALS ARNAUD BODIN Abstract. We consider a continuous family (f s ), s [0,1] of complex polynomials in two variables with isolated singularities, that are Newton non-degenerate.
More informationOn the lifting of the Nagata automorphism
Sel. Math. New Ser. DOI 10.1007/s00029-011-0061-3 Selecta Mathematica New Series Alexei Belov-Kanel Jie-Tai Yu Springer Basel AG 2011 Abstract It is proved that all wild z-automorphisms including the well-known
More informationISOCHRONICITY FOR TRIVIAL QUINTIC AND SEPTIC PLANAR POLYNOMIAL HAMILTONIAN SYSTEMS
ISOCHRONICITY FOR TRIVIAL QUINTIC AND SEPTIC PLANAR POLYNOMIAL HAMILTONIAN SYSTEMS FRANCISCO BRAUN JAUME LLIBRE AND ANA C. MEREU Abstract. In this paper we completely characterize trivial polynomial Hamiltonian
More informationCastelnuovo-Mumford Regularity and finiteness of Hilbert Functions
Castelnuovo-Mumford Regularity and finiteness of Hilbert Functions Maria Evelina Rossi, Department of Mathematics, University of Genoa, Via Dodecaneso 35, 16146 Genoa, Italy E-mail: rossim@dimaunigeit
More informationABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK
ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element
More informationElliptic curves over function fields 1
Elliptic curves over function fields 1 Douglas Ulmer and July 6, 2009 Goals for this lecture series: Explain old results of Tate and others on the BSD conjecture over function fields Show how certain classes
More informationMonomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra
Monomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra Susan M. Hermiller Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE
More information1. Algebra 1.5. Polynomial Rings
1. ALGEBRA 19 1. Algebra 1.5. Polynomial Rings Lemma 1.5.1 Let R and S be rings with identity element. If R > 1 and S > 1, then R S contains zero divisors. Proof. The two elements (1, 0) and (0, 1) are
More informationHecke Operators, Zeta Functions and the Satake map
Hecke Operators, Zeta Functions and the Satake map Thomas R. Shemanske December 19, 2003 Abstract Taking advantage of the Satake isomorphism, we define (n + 1) families of Hecke operators t n k (pl ) for
More informationINTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE
INTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE BEN CALL Abstract. In this paper, we introduce the rudiments of ergodic theory and entropy necessary to study Rudolph s partial solution to the 2 3 problem
More informationON ALMOST PSEUDO-VALUATION DOMAINS, II. Gyu Whan Chang
Korean J. Math. 19 (2011), No. 4, pp. 343 349 ON ALMOST PSEUDO-VALUATION DOMAINS, II Gyu Whan Chang Abstract. Let D be an integral domain, D w be the w-integral closure of D, X be an indeterminate over
More informationOn the Abhyankar-Moh inequality
On the Abhyankar-Moh inequality Evelia García Barroso La Laguna University, Tenerife September, 2014 In this talk we present some results of R.D. Barrolleta, E. García Barroso and A. Płoski, On the Abhyankar-Moh
More informationON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb
ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationMULTILINEAR ALGEBRA: THE TENSOR PRODUCT
MULTILINEAR ALGEBRA: THE TENSOR PRODUCT This writeup is drawn closely from chapter 27 of Paul Garrett s text Abstract Algebra, available from Chapman and Hall/CRC publishers and also available online at
More informationSolutions of exercise sheet 6
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1
More informationDecay to zero of matrix coefficients at Adjoint infinity by Scot Adams
Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams I. Introduction The main theorems below are Theorem 9 and Theorem 11. As far as I know, Theorem 9 represents a slight improvement
More informationarxiv: v2 [math.ac] 25 Apr 2011
A FINITENESS CONDITION ON LOCAL COHOMOLOGY IN POSITIVE CHAACTEISTIC FLOIAN ENESCU arxiv:1101.4907v2 [math.ac] 25 Apr 2011 Abstract. In this paper we present a condition on a local Cohen-Macaulay F-injective
More information