Related papers: Excellence in prime characteristic

Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented…

Let A be an excellent integral henselian local noetherian ring, k its residue field of characteristic p>0 and K its fraction field. Using an algebraization technique introduced by the first named author, and the one-dimension case already…

A linear algebraic group G defined over a field k is said to be excellent if for every field extension L of k the anisotropic kernel of the group (G \otimes_k L) is defined over k. We prove that groups of type G_2 and F_4 are excellent over…

Let $R$ be a commutative Noetherian $F$-finite ring of prime characteristic and let $\mathcal{D}$ be a Cartier algebra. We define a self-map on the Frobenius split locus of the pair $(R,\mathcal{D})$ by sending a point $P$ to the splitting…

Let $R$ be a Noetherian ring. We prove that $R$ has global dimension at most two if, and only if, every prime ideal of $R$ is of linear type. Similarly, we show that $R$ has global dimension at most three if, and only if, every prime ideal…

This paper is concerned with existence of big tight closure test elements for a commutative Noetherian ring $R$ of prime characteristic $p$. Let $R^{\circ}$ denote the complement in $R$ of the union of the minimal prime ideals of $R$. A big…

In this paper, we prove "prismatic Kunz's theorem" which states that a complete Noetherian local ring $R$ of residue characteristic $p$ is a regular local ring if and only if the Frobenius lift on a prismatic complex of (a derived…

Let $k$ be a perfect field of characteristic $p>0$, $k(t)_{per}$ the perfect closure of $k(t)$ and $A$ a $k$-algebra. We characterize whether the ring $A\otimes_k k(t)_{per}$ is noetherian or not. As a consequence, we prove that the ring…

Let $R$ be a normal Noetherian local domain of Krull dimension two. We examine intersections of rank one discrete valuation rings that birationally dominate $R$. We restrict to the class of prime divisors that dominate $R$ and show that if…

Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a…

Let A be an integral domain with field of fractions K. We investigate the structure of the overrings B of A (contained in K) that are well-centered on A in the sense that each principal ideal of B is generated by an element of A. We…

Let $E$ be an elliptic curve defined over a number field $K$. We say that a prime number $p$ is exceptional for $(E,K)$ if $E$ admits a $p$-isogeny defined over $K$. The so-called exceptional set of all such prime numbers is finite if and…

We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…

Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong…

We show that there exists a complete local Noetherian normal domain of prime characteristic whose perfection is a non-coherent GCD domain, answering a question of Patankar in the negative concerning characterizations of $F$-coherent rings.…

A ring $R$ is called left strictly $(<\aleph_{\alpha})$-noetherian if $\aleph_{\alpha}$ is the minimum cardinal such that every ideal of $R$ is $(<\aleph_{\alpha})$-generated. In this note, we show that for every singular (resp., regular)…

Let $T$ be a complete local (Noetherian) ring of characteristic zero. We find necessary and sufficient conditions for $T$ to be the completion of a quasi-excellent local domain. In the case that $T$ contains the rationals, we provide…

We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is…

We find necessary and sufficient conditions for a complete local ring to be the completion of a noncatenary local (Noetherian) domain, as well as necessary and sufficient conditions for it to be the completion of a noncatenary local…

Let $R$ be a commutative Noetherian ring of prime characteristic $p$. In this paper we give a short proof using filter regular sequences that the set of associated prime ideals of $H^t_I(R)$ is finite for any ideal $I$ and for any $t \ge 0$…