Witt equivalence of function fields of curves over local fields

Two fields are Witt equivalent if their Witt rings of symmetric bilinear forms are isomorphic. Witt equivalent fields can be understood to be fields having the same quadratic form theory. The behavior of finite fields, local fields, global fields, as well as function fields of curves defined over Archimedean local fields under Witt equivalence is well understood. Numbers of classes of Witt equivalent fields with finite numbers of square classes are also known in some cases. Witt equivalence of general function fields over global fields was studied in the earlier work [13 G?adki, P., Marshall, M. Witt equivalence of function fields over global fields. Trans. Am. Math. Soc., electronically published on April 11, 2017, doi: https://doi.org/10.1090/tran/6898 (to appear in print).[Crossref] , [Google Scholar]] by the authors and applied to study Witt equivalence of function fields of curves over global fields. In this paper, we extend these results to local case, i.e. we discuss Witt equivalence of function fields of curves over local fields. As an application, we show that, modulo some additional assumptions, Witt equivalence of two such function fields implies Witt equivalence of underlying local fields.     

Quadratic forms with values in invertible modules

LetR be a commutative ring,I an invertibleR-module, and consider quadratic spaces with values inI. The Clifford algebra of such a quadratic space is an algebra over the generalized Rees ring associated toI. We discuss the relation between the Witt module of quadratic spaces with values inI and the graded Witt ring and the graded Brauer-Wall group of the generalized Rees ring. This leads to the introduction of three distinguished subgroups of the graded Brauer-Wall group of the generalized Rees ring. The image of the Clifford functor is a subgroup of one of these three subgroups (the type 1 subgroup).     

Specializations of Brauer classes over algebraic function fields

Let be either a number field or a field finitely generated of transcendence degree over a Hilbertian field of characteristic 0, let be the rational function field in one variable over , and let . It is known that there exist infinitely many such that the specialization induces a specialization , where has exponent equal to that of . Now let be a finite extension of and let . We give sufficient conditions on and for there to exist infinitely many such that the specialization has an extension to inducing a specialization , the residue field of , where has exponent equal to that of . We also give examples to show that, in general, such need not exist.

     

Relative Brauer groups of discrete valued fields

Let be a non-trivial finite Galois extension of a field . In this paper we investigate the role that valuation-theoretic properties of play in determining the non-triviality of the relative Brauer group, , of over . In particular, we show that when is finitely generated of transcendence degree 1 over a -adic field and is a prime dividing , then the following conditions are equivalent: (i) the -primary component, , is non-trivial, (ii) is infinite, and (iii) there exists a valuation of trivial on such that divides the order of the decomposition group of at .

     

The Witt Ring of a Smooth Projective Curve Over a Finite Field

In this paper, we calculate the Witt ring W(C) of a smooth geometrically connected projective curve C over a finite field with characteristic other than 2. We view W(C) as a subring of W(k(C)) where k(C) is the function field of C. The calculation is then completed using classical results for bilinear spaces over fields.     

On existence of tame Harrison map

We present here two new criteria for existence of a tame Harrison map of two formally real algebraic function fields over a fixed real closed field of constants. The first criterion (c.f. Theorem 2.5) shows that a square class group isomorphism is a tame Harrison map if it induces an isomorphism of the coproduct rings of residue Witt rings. The other result (c.f. Proposition 3.5) associates a tame Harrison map to an integral quaternion-symbol equivalence.      

On the u-invariant of function fields of curves over complete discretely valued fields

Let K be a complete discretely valued field with residue field κ  . If char(K)=0$\mathrm{char}(K)=0$, char(κ)=2$\mathrm{char}(\kappa )=2$ and [κ:κ²]=d$[\kappa :{\kappa }^2]=d$, we prove that there exists an integer N depending on d such that the u-invariant of any function field in one variable over K is bounded by N. The method of proof is via introducing the notion of uniform boundedness for the p-torsion of the Brauer group of a field and relating the uniform boundedness of the 2-torsion of the Brauer group to the finiteness of the u-invariant. We prove that the 2-torsion of the Brauer group of function fields in one variable over K is uniformly bounded.     

On Azumaya Graphs

We study Azumaya multiplicative graphs over a suitable base category, generalizing in this way the theory of Azumaya algebras over a ring, with or without unit, and the theory of enriched Azumaya categories. We exhibit the links with the corresponding notions of centrality, separability, Brauer group and Brauer–Taylor group.     

EXACT SEQUENCES OF WITT GROUPS

ABSTRACT

An exact sequence of Witt groups, motivated by exact sequences obtained by Lewis and by Parimala, Sridharan and Suresh, is constructed. The behavior of the maps involved in these sequences with respect to isotropy is completely determined in the case of division algebras. In particular, the kernels of the maps involved in the previous sequences are explicitly given, leading to a new proof of their exactness. Similar exact sequences of equivariant Witt groups are constructed. As an application, relations between the cardinality of certain Witt groups are obtained.     

一类微分-差分方程组的内禀对称和等价群变换

研究一类微分-差分方程组的对称和等价群变换.采取内禀的无穷小算子方法,给出了方程组的内禀对称和等价群变换.为结合抽象Lie代数结构,给方程完全分类提供了理论基础.     

Nondegenerate Semiramified Valued and Graded Division Algebras

The main goal of this article is to give examples of division p-algebras that are not tensor product of cyclic algebras (Corollary 2.19) and to prove that nondegenerate tame semiramified division algebras of prime power degree over a Henselian valued field are indecomposable (Theorem 3.5). For this, we give new results concerning nicely semiramified division algebras over Henselian valued fields, and we develop a new study for nondegenerate valued and graded division algebras.     

Partially commutative metabelian groups: centralizers and elementary equivalence

For partially commutative metabelian groups, annihilators of elements of commutator subgroups are described; canonical representations of elements are defined; approximability by torsion-free nilpotent groups is proved; centralizers of elements are described. Also, it is proved that two partially commutative metabelian groups have equal elementary theories iff their defining graphs are isomorphic, and that every partially commutative metabelian group is embeddable in a metabelian group with decidable universal theory. Dedicated to V. N. Remeslennikov on the occasion of his 70th birthday Supported by RFBR (project No. 09-01-00099). Translated from Algebra i Logika, Vol. 48, No. 3, pp. 309–341, May–June, 2009.     

Witt equivalence of algebraic function fields over real closed fields

We examine the conditions for two algebraic function fields over real closed fields to be Witt equivalent. We show that there are only two Witt classes of algebraic function fields with a fixed real closed field of constants: real and non-real ones. The first of them splits further into subclasses corresponding to the tame equivalence. This condition has a natural interpretation in terms of both: orderings (the associated Harrison isomorphism maps 1-pt fans onto 1-pt fans), and geometry and topology of associated real curves (the bijection of points is a homeomorphism and these two curves have the same number of semi-algebraically connected components). Finally, we derive some immediate consequences of those theorems. In particular we describe all the Witt classes of algebraic function fields of genus 0 and 1 over the fixed real closed field. Received: 16 February 2000; in final form: 7 December 2000 / Published online: 18 January 2002     

Derived equivalence of algebras

The derived equivalence and stable equivalence of algebrasR _A ^m and R _B ^m are studied. It is proved, using the tilting complex, thatR _A ^m andR _B ^m are derived-equivalent whenever algebrasA andB are derived-equivalent.     

Smith equivalence of representations for finite perfect groups

Using smooth one-fixed-point actions on spheres and a result due to Bob Oliver on the tangent representations at fixed points for smooth group actions on disks, we obtain a similar result for perfect group actions on spheres. For a finite group , we compute a certain subgroup of the representation ring . This allows us to prove that a finite perfect group has a smooth -proper action on a sphere with isolated fixed points at which the tangent representations of are mutually nonisomorphic if and only if contains two or more real conjugacy classes of elements not of prime power order. Moreover, by reducing group theoretical computations to number theory, for an integer and primes , we prove similar results for the group , , or . In particular, has Smith equivalent representations that are not isomorphic if and only if , , .

     

Equivalence and the Brauer–Clifford Group for G-Algebras over Commutative Rings

The notion of G-algebra equivalence for a group G is generalized from the setting of G-algebras over fields to G-algebras over commutative rings. This leads to a formulation of Turull's Brauer–Clifford group for separable G-algebras over commutative rings, and to connections with Fröhlich and Wall's equivariant Brauer group.     

Trace forms of abelian extensions of number fields of type (1, 0)

This article is concerned with describing certain bilinear forms associated with finite abelian extensions N|K of an algebraic number field K. These abelian trace forms are described up to Witt equivalence, that is, they are described as elements in the Witt ring W(K). When the base field K has exactly one dyadic prime and no real embeddings, it is shown that the Witt class of every abelian trace form over K is a product of Witt classes of five specified types.     

Characters and Equivalence Classes of Central Simple Group Graded Algebras

We introduce an equivalence between central simple strongly G-graded algebras. Such classes are associated in a natural way to absolutely irreducible characters of semisimple G-graded algebras. We study invariants of this equivalence relation, and also the structure of certain representatives of the equivalence classes.