scholarly journals Local–global principle for reduced norms over function fields of -adic curves

2017 ◽  
Vol 154 (2) ◽  
pp. 410-458 ◽  
Author(s):  
R. Parimala ◽  
R. Preeti ◽  
V. Suresh

Let $K$ be a (non-archimedean) local field and let $F$ be the function field of a curve over $K$. Let $D$ be a central simple algebra over $F$ of period $n$ and $\unicode[STIX]{x1D706}\in F^{\ast }$. We show that if $n$ is coprime to the characteristic of the residue field of $K$ and $D\cdot (\unicode[STIX]{x1D706})=0$ in $H^{3}(F,\unicode[STIX]{x1D707}_{n}^{\otimes 2})$, then $\unicode[STIX]{x1D706}$ is a reduced norm from $D$. This leads to a Hasse principle for the group $\operatorname{SL}_{1}(D)$, namely, an element $\unicode[STIX]{x1D706}\in F^{\ast }$ is a reduced norm from $D$ if and only if it is a reduced norm locally at all discrete valuations of $F$.

1966 ◽  
Vol 27 (2) ◽  
pp. 625-642 ◽  
Author(s):  
Peter Roquette

Let K be a field and (K) the Brauer group of K. It consists of the similarity classes of finite central simple algebras over K. For any field extension F/K there is a natural mapping (K) → (F) which is obtained by assigning to each central simple algebra A/K the tensor product which is a central simple algebra over F. The kernel of this map is the relative Brauer group (F/K), consisting of those A ∈(K) which are split by F.


2018 ◽  
Vol 62 (3) ◽  
pp. 565-576
Author(s):  
Eoin Mackall

AbstractWe produce an isomorphism $E_{\infty }^{m,-m-1}\cong \text{Nrd}_{1}(A^{\otimes m})$ between terms of the $\text{K}$-theory coniveau spectral sequence of a Severi–Brauer variety $X$ associated with a central simple algebra $A$ and a reduced norm group, assuming $A$ has equal index and exponent over all finite extensions of its center and that $\text{SK}_{1}(A^{\otimes i})=1$ for all $i>0$.


2017 ◽  
Vol 13 (04) ◽  
pp. 853-884 ◽  
Author(s):  
Benjamin Linowitz ◽  
Thomas R. Shemanske

Let [Formula: see text] be a central simple algebra of degree [Formula: see text] over a number field [Formula: see text], and [Formula: see text] be a strictly maximal subfield. We say that the ring of integers [Formula: see text] is selective if there exists an isomorphism class of maximal orders in [Formula: see text] no element of which contains [Formula: see text]. In the present work, we consider a local variant of the selectivity problem and applications. We first prove a theorem characterizing which maximal orders in a local central simple algebra contain the global ring of integers [Formula: see text] by leveraging the theory of affine buildings for [Formula: see text] where [Formula: see text] is a local central division algebra. Then as an application, we use the local result and a local–global principle to show how to compute a set of representatives of the isomorphism classes of maximal orders in [Formula: see text], and distinguish those which are guaranteed to contain [Formula: see text]. Having such a set of representatives allows both algebraic and geometric applications. As an algebraic application, we recover a global selectivity result, and give examples which clarify the interesting role of partial ramification in the algebra.


Author(s):  
S. Pumplün ◽  
D. Thompson

AbstractLet D be a finite-dimensional division algebra over its center and R = D[t;σ,δ] a skew polynomial ring. Under certain assumptions on δ and σ, the ring of central quotients D(t;σ,δ) = {f/g|f ∈ D[t;σ,δ],g ∈ C(D[t;σ,δ])} of D[t;σ,δ] is a central simple algebra with reduced norm N. We calculate the norm N(f) for some skew polynomials f ∈ R and investigate when and how the reducibility of N(f) reflects the reducibility of f.


1969 ◽  
Vol 21 ◽  
pp. 44-53 ◽  
Author(s):  
L. N. Childs

This paper developed from, and complements, the paper by F. R. DeMeyer (see 6).In the first section of this paper we note a correspondence between projective modules of a central separable R-algebra A and the two-sided ideals of central separable algebras in the same class as A in the Brauer group of R. When R has the property that rank one projective A-modules are free, this correspondence yields a bijection between isomorphism types of indecomposable projective A-modules and the isomorphism types of algebras in the Brauer class of A which are the analogue of division algebra components in the field case. This bijection was remarked on without proof by DeMeyer in (6).Pursuing the ideas behind this correspondence, we consider the situation for a separable order A in a central simple algebra A over an algebraic number field, and obtain, by means of results involving the reduced norm, a generalization of DeMeyer's remark except when the division algebra component of A is a totally definite quaternion algebra (Theorem 3.3).


2018 ◽  
Vol 2018 (745) ◽  
pp. 41-58
Author(s):  
Nikita A. Karpenko ◽  
Alexander S. Merkurjev

Abstract Let D be a central simple algebra of prime degree over a field and let E be an {\operatorname{\mathbf{SL}}_{1}(D)} -torsor. We determine the complete motivic decomposition of certain compactifications of E. We also compute the Chow ring of E.


2018 ◽  
Vol 17 (12) ◽  
pp. 1850240 ◽  
Author(s):  
A.-H. Nokhodkar

A totally singular quadratic form is associated to any central simple algebra with orthogonal involution in characteristic two. It is shown that the given involution is isotropic if and only if its corresponding quadratic form is isotropic.


1994 ◽  
Vol 37 (3) ◽  
pp. 445-454
Author(s):  
Sudesh K. Khanduja

Let K = K0(x, y) be a function field of transcendence degree one over a field K0 with x, y satisfying y2 = F(x), F(x) being any polynomial over K0. Let υ0 be a valuation of K0 having a residue field k0 and υ be a prolongation of υ to K with residue field k. In the present paper, it is proved that if G0⊆G are the value groups of υ0 and υ, then either G/G0 is a torsion group or there exists an (explicitly constructible) subgroup G1 of G containing G0 with [G1:G0]<∞ together with an element γ of G such that G is the direct sum of G1 and the cyclic group ℤγ. As regards the residue fields, a method of explicitly determining k has been described in case k/k0 is a non-algebraic extension and char k0≠2. The description leads to an inequality relating the genus of K/K0 with that of k/k0: this inequality is slightly stronger than the one implied by the well-known genus inequality (cf. [Manuscripta Math.65 (1989), 357–376’, [Manuscripta Math.58 (1987), 179–214]).


2015 ◽  
Vol 14 (04) ◽  
pp. 1550048 ◽  
Author(s):  
Tsiu-Kwen Lee

Let R be a prime ring with extended centroid C. We prove that an additive map from R into RC + C can be characterized in terms of left and right b-generalized derivations if it has a generalized derivation expansion. As a consequence, a generalization of the Noether–Skolem theorem is proved among other things: A linear map from a finite-dimensional central simple algebra into itself is an elementary operator if it has a generalized derivation expansion.


Sign in / Sign up

Export Citation Format

Share Document