2,592 research outputs found
Detecting large groups
Let G be a finitely presented group, and let p be a prime. Then G is 'large'
(respectively, 'p-large') if some normal subgroup with finite index
(respectively, index a power of p) admits a non-abelian free quotient. This
paper provides a variety of new methods for detecting whether G is large or
p-large. These relate to the group's profinite and pro-p completions, to its
first L2-Betti number and to the existence of certain finite index subgroups
with 'rapid descent'. The paper draws on new topological and geometric
techniques, together with a result on error-correcting codes.Comment: 31 pages, 2 figure
Class forcing, the forcing theorem and Boolean completions
The forcing theorem is the most fundamental result about set forcing, stating
that the forcing relation for any set forcing is definable and that the truth
lemma holds, that is everything that holds in a generic extension is forced by
a condition in the relevant generic filter. We show that both the definability
(and, in fact, even the amenability) of the forcing relation and the truth
lemma can fail for class forcing. In addition to these negative results, we
show that the forcing theorem is equivalent to the existence of a (certain kind
of) Boolean completion, and we introduce a weak combinatorial property
(approachability by projections) that implies the forcing theorem to hold.
Finally, we show that unlike for set forcing, Boolean completions need not be
unique for class forcing
Towers of Function Fields over Non-prime Finite Fields
Over all non-prime finite fields, we construct some recursive towers of
function fields with many rational places. Thus we obtain a substantial
improvement on all known lower bounds for Ihara's quantity , for with prime and odd. We relate the explicit equations to
Drinfeld modular varieties
- …