Dedekind-Rademacher sums and lattice points in triangles and tetrahedra
Let Sq denote the set of squares, and let be the squaring function restricted to powers of n; let ⊥ denote the coprimeness relation. Let . For every integer n ≥ 2 addition and multiplication are definable in the structures ⟨ℕ; Bn,⊥⟩ and ⟨ℕ; Bn,Sq⟩; thus their elementary theories are undecidable. On the other hand, for every prime p the elementary theory of ⟨ℕ; Bp,SQp⟩ is decidable.
In this paper we generalize the deformation theory of representations of a profinite group developed by Schlessinger and Mazur to deformations of objects of the derived category of bounded complexes of pseudocompact modules for such a group. We show that such objects have versal deformations under certain natural conditions, and we find a sufficient condition for these versal deformations to be universal. Moreover, we consider applications to deforming Galois cohomology classes and the étale hypercohomology...