BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
For a maximal separable subfield K of a central simple algebra A, we provide a semiring isomorphism between K-K-bimodules A and H-H bisets of $G = \Gal(L/F)$, where F=Z(A), L is the Galois closure of K/F, and $H = \Gal(L/K)$. This leads to a combinatorial interpretation of the growth of dimK((KaK)i), for fixed a∈A, especially in terms of Kummer sets.
We classify the monomial Kummer subspaces of division cyclic algebras of prime degree p, showing that every such space is standard, and in particular the dimension is no greater than p+1. It follows that in a generic cyclic algebra, the dimension of any Kummer subspace is at most p+1.
Let p be a prime number, F a field containing a root of unity of order p, and GF the absolute Galois group. Extending results of Hopkins, Wickelgren, Minac and Tan, we prove that the triple Massey product H1(GF)3→H2(GF) contains 0 whenever it is nonempty. This gives a new restriction on the possible profinite group structure of GF.
Let A be the generic abelian crossed product with respect to Z3×Z3, in this note we show that A is similar to the tensor product of 4 symbol algebras (3 of degree 9 and one of degree 3) and if A is of exponent 3 it is similar to the product of 31 symbol algebras of degree 3. We then use \cite{RS} to prove that if A is any algebra of degree 9 then A is similar to the product of 35840 symbol algebras (8960 of degree 3 and 26880 of degree 9) and if A is of exponent 3 it is similar to the product of 277760 symbol algebras of degree 3. We then show that the essential 3-dimension of the class of A is at most 6.
Rowen and Saltman proved that every division algebra which is split by a dihedral extension of degree 2n of the center, n odd, is in fact cyclic. The proof requires roots of unity of order n in the center. We show that for n=5, this assumption can be removed. It then follows that 5Br(F), the 5-torsion part of the Brauer group, is generated by cyclic algebras, generalizing a result of Merkurjev on the 2 and 3 torsion parts.
We bound the symbol length of elements in the Brauer group of a field K containing a Cm field (for example any field containing an algebraically closed field or a finite field), and solve the local exponent-index problem for a Cm field F. In particular, for a Cm field F, we show that every F central simple algebra of exponent pt is similar to the tensor product of at most len(pt,F)≤t(pm−1−1) symbol algebras of degree pt. We then use this bound on the symbol length to show that the index of such algebras is bounded by (pt)(pm−1−1), which in turn gives a bound for any algebra of exponent n via the primary decomposition. Finally for a field K containing a Cm field F, we show that every F central simple algebra of exponent pt and degree ps is similar to the tensor product of at most len(pt,ps,K)≤len(pt,L) symbol algebras of degree pt, where L is a Cm+edL(A)+ps−t−1 field.
Fix an arbitrary prime p. Let F be a field, containing a primitive p-th root of unity, with absolute Galois group GF. The triple Massey product (in the mod-p Galois cohomology) is a partially defined, multi-valued function ⟨⋅,⋅,⋅⟩:H1(GF)3→H2(GF). In this work we prove a conjecture made in [11] stating that any defined triple Massey product contains zero. As a result the pro-p groups appearing in [11] are excluded from being absolute Galois groups of fields F as above.
We give explicit linear bounds on the p-cohomological dimension of a field in terms of its Diophantine dimension. In particular, we show that for a field of Diophantine dimension at most 4, the 3-cohomological dimension is less than or equal to the Diophantine dimension.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.