اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدThe Qth-power algorithm in characteristic 0
48
0
0.0
(
0
)
تأليف
Douglas A. Leonard
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
The Qth-power algorithm produces a useful canonical P-module presentation for the integral closures of certain integral extensions of $P:=mathbf{F}[x_n,...,x_1]$, a polyonomial ring over the finite field $mathbf{F}:=mathbf{Z}_q$ of $q$ elements. Here it is shown how to use this for several small primes $q$ to reconstruct similar integral closures over the rationals $mathbf{Q}$ using the Chinese remainder theorem to piece together presentations in different positive characteristics, and the extended Euclidean algorithm to reconstruct rational fractions to lift these to presentations over $mathbf{Q}$.
قيم البحث
اقرأ أيضاً
For a pair $(R, I)$, where $R$ is a standard graded domain of dimension $d$ over an algebraically closed field of characteristic $0$ and $I$ is a graded ideal of finite colength, we prove that the existence of $lim_{pto infty}e_{HK}(R_p, I_p)$ is equ
ivalent, for any fixed $mgeq d-1$, to the existence of $lim_{pto infty}ell(R_p/I_p^{[p^m]})/p^{md}$. This we get as a consequence of Theorem 1.1: As $prightarrow infty $, the convergence of the HK density function $f{(R_p, I_p)}$ is equivalent to the convergence of the truncated HK density functions $f_m(R_p, I_p)$ (in $L^{infty}$ norm) of the {it mod $p$ reductions} $(R_p, I_p)$, for any fixed $mgeq d-1$. In particular, to define the HK density function $f^{infty}(R, I)$ in characteristic 0, it is enough to prove the existence of $lim_{pto infty} f_m(R_p, I_p)$, for any fixed $mgeq d-1$. This allows us to prove the existence of $e_{HK}^{infty}(R, I)$ in many new cases, {em e.g.}, when $mbox{Proj~R}$ is a Segre product of curves, for example.
The main aim of this article is to study the relation between $F$-injective singularity and the Frobenius closure of parameter ideals in Noetherian rings of positive characteristic. The paper consists of the following themes, including many other top
ics. We prove that if every parameter ideal of a Noetherian local ring of prime characteristic $p>0$ is Frobenius closed, then it is $F$-injective. We prove a necessary and sufficient condition for the injectivity of the Frobenius action on $H^i_{fm}(R)$ for all $i le f_{fm}(R)$, where $f_{fm}(R)$ is the finiteness dimension of $R$. As applications, we prove the following results. (a) If the ring is $F$-injective, then every ideal generated by a filter regular sequence, whose length is equal to the finiteness dimension of the ring, is Frobenius closed. It is a generalization of a recent result of Ma and which is stated for generalized Cohen-Macaulay local rings. (b) Let $(R,fm,k)$ be a generalized Cohen-Macaulay ring of characteristic $p>0$. If the Frobenius action is injective on the local cohomology $H_{fm}^i(R)$ for all $i < dim R$, then $R$ is Buchsbaum. This gives an answer to a question of Takagi. We consider the problem when the union of two $F$-injective closed subschemes of a Noetherian $mathbb{F}_p$-scheme is $F$-injective. Using this idea, we construct an $F$-injective local ring $R$ such that $R$ has a parameter ideal that is not Frobenius closed. This result adds a new member to the family of $F$-singularities. We give the first ideal-theoretic characterization of $F$-injectivity in terms the Frobenius closure and the limit closure. We also give an answer to the question about when the Frobenius action on the top local cohomology is injective.
We classify plethories over fields of characteristic zero, thus answering a question of Borger-Wieland and Bergman-Hausknecht. All plethories over characteristic zero fields are linear, in the sense that they are free plethories on a bialgebra. For t
he proof we need some facts from the theory of ring schemes where we extend previously known results. We also classify plethories with trivial Verschiebung over a perfect field of non-zero characteristic and indicate future work.
We give a version of the usual Jacobian characterization of the defining ideal of the singular locus in the equal characteristic case: the new theorem is valid for essentially affine algebras over a complete local algebra over a mixed characteristic
discrete valuation ring. The result makes use of the minors of a matrix that includes a row coming from the values of a $p$-derivation. To study the analogue of modules of differentials associated with the mixed Jacobian matrices that arise in our context, we introduce and investigate the notion of a perivation, which may be thought of, roughly, as a linearization of the notion of $p$-derivation. We also develop a mixed characteristic analogue of the positive characteristic $Gamma$-construction, and apply this to give additional nonsingularity criteria.
Let k be a perfect field of positive characteristic, k(t)_{per} the perfect closure of k(t) and A=k[[X_1,...,X_n]]. We show that for any maximal ideal N of A=k(t)_{per}otimes_k A, the elements in hat{A_N} which are annihilated by the Taylor Hasse-Sch
midt derivations with respect to the X_i form a coefficient field of hat{A_N}.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
