23,474 research outputs found
Splitting full matrix algebras over algebraic number fields
Let K be an algebraic number field of degree d and discriminant D over Q. Let
A be an associative algebra over K given by structure constants such that A is
isomorphic to the algebra M_n(K) of n by n matrices over K for some positive
integer n. Suppose that d, n and D are bounded. Then an isomorphism of A with
M_n(K) can be constructed by a polynomial time ff-algorithm. (An ff-algorithm
is a deterministic procedure which is allowed to call oracles for factoring
integers and factoring univariate polynomials over finite fields.)
As a consequence, we obtain a polynomial time ff-algorithm to compute
isomorphisms of central simple algebras of bounded degree over K.Comment: 15 pages; Theorem 2 and Lemma 8 correcte
Hecke algebra isomorphisms and adelic points on algebraic groups
Let denote a linear algebraic group over and and two
number fields. Assume that there is a group isomorphism of points on over
the finite adeles of and , respectively. We establish conditions on the
group , related to the structure of its Borel groups, under which and
have isomorphic adele rings. Under these conditions, if or is a
Galois extension of and and
are isomorphic, then and are isomorphic as
fields. We use this result to show that if for two number fields and
that are Galois over , the finite Hecke algebras for
(for fixed ) are isomorphic by an isometry for the
-norm, then the fields and are isomorphic. This can be viewed as
an analogue in the theory of automorphic representations of the theorem of
Neukirch that the absolute Galois group of a number field determines the field
if it is Galois over .Comment: 19 pages - completely rewritte
Algebraic K-theory of group rings and the cyclotomic trace map
We prove that the Farrell-Jones assembly map for connective algebraic
K-theory is rationally injective, under mild homological finiteness conditions
on the group and assuming that a weak version of the Leopoldt-Schneider
conjecture holds for cyclotomic fields. This generalizes a result of
B\"okstedt, Hsiang, and Madsen, and leads to a concrete description of a large
direct summand of in terms
of group homology. In many cases the number theoretic conjectures are true, so
we obtain rational injectivity results about assembly maps, in particular for
Whitehead groups, under homological finiteness assumptions on the group only.
The proof uses the cyclotomic trace map to topological cyclic homology,
B\"okstedt-Hsiang-Madsen's functor C, and new general isomorphism and
injectivity results about the assembly maps for topological Hochschild homology
and C.Comment: To appear in Advances in Mathematics. 77 page
Wild Kernels and divisibility in K-groups of global fields
In this paper we study the divisibility and the wild kernels in algebraic
K-theory of global fields We extend the notion of the wild kernel to all
K-groups of global fields and prove that Quillen-Lichtenbaum conjecture for
is equivalent to the equality of wild kernels with corresponding groups of
divisible elements in K-groups of We show that there exist generalized
Moore exact sequences for even K-groups of global fields. Without appealing to
the Quillen-Lichtenbaum conjecture we show that the group of divisible elements
is isomorphic to the corresponding group of \' etale divisible elements and we
apply this result for the proof of the analogue of Quillen-Lichtenbaum
conjecture. We also apply this isomorphism to investigate: the imbedding
obstructions in homology of the splitting obstructions for the Quillen
localization sequence, the order of the group of divisible elements via special
values of Using the motivic cohomology results due to Bloch,
Friedlander, Levine, Lichtenbaum, Morel, Rost, Suslin, Voevodsky and Weibel,
which established the Quillen-Lichtenbaum conjecture, we conclude that wild
kernels are equal to corresponding groups of divisible elementsComment: 36 page
- …