scholarly journals A BETTER COMPARISON OF - AND -COHOMOLOGIES

2019 ◽  
Vol 236 ◽  
pp. 183-213
Author(s):  
SHANE KELLY

In order to work with non-Nagata rings which are Nagata “up-to-completely-decomposed-universal-homeomorphism,” specifically finite rank Hensel valuation rings, we introduce the notions of pseudo-integral closure, pseudo-normalization, and pseudo-Hensel valuation ring. We use this notion to give a shorter and more direct proof that $H_{\operatorname{cdh}}^{n}(X,F_{\operatorname{cdh}})=H_{l\operatorname{dh}}^{n}(X,F_{l\operatorname{dh}})$ for homotopy sheaves $F$ of modules over the $\mathbb{Z}_{(l)}$-linear motivic Eilenberg–Maclane spectrum. This comparison is an alternative to the first half of the author’s volume Astérisque 391 whose main theorem is a cdh-descent result for Voevodsky motives. The motivating new insight is really accepting that Voevodsky’s motivic cohomology (with $\mathbb{Z}[\frac{1}{p}]$-coefficients) is invariant not just for nilpotent thickenings, but for all universal homeomorphisms.

2019 ◽  
Vol 56 (2) ◽  
pp. 260-266
Author(s):  
Mohamed E. Charkani ◽  
Abdulaziz Deajim

Abstract Let R be a discrete valuation ring, its nonzero prime ideal, P ∈R[X] a monic irreducible polynomial, and K the quotient field of R. We give in this paper a lower bound for the -adic valuation of the index of P over R in terms of the degrees of the monic irreducible factors of the reduction of P modulo . By localization, the same result holds true over Dedekind rings. As an important immediate application, when the lower bound is greater than zero, we conclude that no root of P generates a power basis for the integral closure of R in the field extension of K defined by P.


2017 ◽  
Vol 16 (10) ◽  
pp. 1750198 ◽  
Author(s):  
Anuj Jakhar ◽  
Bablesh Jhorar ◽  
Sudesh K. Khanduja ◽  
Neeraj Sangwan

Let [Formula: see text] be a discrete valuation ring with maximal ideal [Formula: see text] and [Formula: see text] be the integral closure of [Formula: see text] in a finite separable extension [Formula: see text] of [Formula: see text]. For a maximal ideal [Formula: see text] of [Formula: see text], let [Formula: see text] denote respectively the valuation rings of the completions of [Formula: see text] with respect to [Formula: see text]. The discriminant satisfies a basic equality which says that [Formula: see text]. In this paper, we extend the above equality on replacing [Formula: see text] by the valuation ring of a Krull valuation of arbitrary rank and completion by henselization. In the course of proof, we prove a generalization of the well-known weak Approximation Theorem which is of independent interest as well.


2017 ◽  
Vol 84 (1-2) ◽  
pp. 55
Author(s):  
Paula Kemp ◽  
Louis J. Ratliff, Jr. ◽  
Kishor Shah

<p>Let 1 &lt; s<sub>1</sub> &lt; . . . &lt; s<sub>k</sub> be integers, and assume that κ ≥ 2 (so s<sub>k</sub> ≤ 3). Then there exists a local UFD (Unique Factorization Domain) (R,M) such that:</p><p>(1) Height(M) = s<sub>k</sub>.</p><p>(2) R = R' = ∩{VI (V,N) € V<sub>j</sub>}, where V<sub>j</sub> (j = 1, . . . , κ) is the set of all of the Rees valuation rings (V,N) of the M-primary ideals such that trd((V I N) I (R I M)) = s<sub>j</sub> - 1.</p><p>(3) With V<sub>1</sub>, . . . , V<sub>κ</sub> as in (2), V<sub>1</sub> ∪ . . . V<sub>κ</sub>is a disjoint union of all of the Rees valuation rings of allof the M-primary ideals, and each M-primary ideal has at least one Rees valuation ring in each V<sub>j</sub> .</p>


1966 ◽  
Vol 18 ◽  
pp. 1024-1030 ◽  
Author(s):  
Jack Ohm

A Prüfer domain is an integral domainDwith the property that for every proper prime idealPofDthe quotient ringDPis a valuation ring. Examples of such domains are valuation rings and Dedekind domains, a Dedekind domain being merely a noetherian Prüfer domain. The integral closure of the integers in an infinite algebraic extension of the rationals is another example of a Prüfer domain (5, p. 555, Theorem 8). This third example has been studied initially by Krull (4) and then by Nakano (8).


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Le Quang Ham ◽  
Nguyen Van The ◽  
Phuc D. Tran ◽  
Le Anh Vinh

AbstractLet {\mathcal{R}} be a finite valuation ring of order {q^{r}}. In this paper, we prove that for any quadratic polynomial {f(x,y,z)\in\mathcal{R}[x,y,z]} that is of the form {axy+R(x)+S(y)+T(z)} for some one-variable polynomials {R,S,T}, we have|f(A,B,C)|\gg\min\biggl{\{}q^{r},\frac{|A||B||C|}{q^{2r-1}}\bigg{\}}for any {A,B,C\subset\mathcal{R}}. We also study the sum-product type problems over finite valuation ring {\mathcal{R}}. More precisely, we show that for any {A\subset\mathcal{R}} with {|A|\gg q^{r-\frac{1}{3}}} then {\max\{|AA|,|A^{d}+A^{d}|\}}, {\max\{|A+A|,|A^{2}+A^{2}|\}}, {\max\{|A-A|,|AA+AA|\}\gg|A|^{\frac{2}{3}}q^{\frac{r}{3}}}, and {|f(A)+A|\gg|A|^{\frac{2}{3}}q^{\frac{r}{3}}} for any one variable quadratic polynomial f.


1966 ◽  
Vol 28 ◽  
pp. 85-111 ◽  
Author(s):  
Susan Williamson

Introduction. Let S be the integral closure of a complete discrete rank one valuation ring R in a finite Galois extension of the quotient field of R, and let G denote the Galois group of the quotient field extension. Auslander and Rim have shown in [3] that the trivial crossed product Δ (1, S, G) is an hereditary order if and only if 5 is a tamely ramified extension of R. And the author has proved in [7] that if the extension S of R is tamely ramified then the crossed product Δ(f, 5, G) is a Π-principal hereditary order for each 2-cocycle f in Z2(G, U(S)). (See Section 1 for the definition of Π-principal hereditary order.) However, the author has exhibited in [8] an example of a crossed product Δ(f, S, G) which is a Π-principal hereditary order in the case when S is a wildly ramified extension of R.


1952 ◽  
Vol 4 ◽  
pp. 29-33 ◽  
Author(s):  
Masayoshi Nagata

Previously W. Krull conjectured that every completely integrally closed primary domain of integrity is a valuation ring, The main purpose of the present paper is to construct in §1 a counter example against this conjecture. In § 2 we show a necessary and sufficient condition that a field is a quotient field of a suitable completely integrally closed primary domain of integrity which is not a valuation ring.


2005 ◽  
Vol 15 (05n06) ◽  
pp. 997-1012 ◽  
Author(s):  
V. V. KIRICHENKO ◽  
A. V. ZELENSKY ◽  
V. N. ZHURAVLEV

Exponent matrices appear in the theory of tiled orders over a discrete valuation ring. Many properties of such an order and its quiver are fully determined by its exponent matrix. We prove that an arbitrary strongly connected simply laced quiver with a loop in every vertex is realized as the quiver of a reduced exponent matrix. The relations between exponent matrices and finite posets, Markov chains, and doubly stochastic matrices are discussed.


2016 ◽  
Vol 15 (06) ◽  
pp. 1650113
Author(s):  
Christopher James Wilson

Consider a weak crossed product order [Formula: see text] in [Formula: see text], where [Formula: see text] is the integral closure of a discrete valuation ring [Formula: see text] in a tamely ramified Galois extension [Formula: see text] of the field of fractions of [Formula: see text]. Assume that [Formula: see text] is local. In this paper, we show that [Formula: see text] is hereditary if and only if it is maximal among the weak crossed product orders in [Formula: see text]. We also give an algorithm that constructs, in terms of the basis elements [Formula: see text] and the cocycle [Formula: see text], the unique hereditary weak crossed product order in [Formula: see text] that contains a given [Formula: see text], and we give a criterion for determining whether that hereditary order will have a cocycle that takes nonunit values in [Formula: see text].


1977 ◽  
Vol 29 (5) ◽  
pp. 928-936
Author(s):  
David Mordecai Cohen

Let R be a discrete valuation ring, with maximal ideal pR, such that ½ ϵ R. Let L be a finitely generated R-module and B : L × L → R a non-degenerate symmetric bilinear form. The module L is called a quadratic module. For notational convenience we shall write xy = B(x, y). Let O(L) be the group of isometries, i.e. all R-linear isomorphisms φ : L → L such that B((φ(x), (φ(y)) = B(x, y).


Sign in / Sign up

Export Citation Format

Share Document