Related papers: Condensed Sets and the Solovay Model

Given a smooth compact manifold with boundary, we show that the subcomplex of the deformed de Rham complex consisting of eigenspaces of small eigenvalues of the Witten Laplacian is canonically isomorphic to the Thom-Smale complex…

We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and…

We classify reflective automorphic products of singular weight under certain regularity assumptions. Using obstruction theory we show that there are exactly 11 such functions. They are naturally related to certain conjugacy classes in…

Over the years a number of topologies for the set of laws of stochastic processes have been proposed. Building on the weak topology they all aim to capture more accurately the temporal structure of the processes. In a parallel paper we show…

We use a classical result of McCord and reduction methods of finite spaces to prove a generalization of Thomason's theorem on homotopy colimits over posets. In particular this allows us to characterize the homotopy colimits of diagrams of…

Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many…

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

The language of homotopy type theory has proved to be appropriate as an internal language for various higher toposes, for example with Synthetic Algebraic Geometry for the Zariski topos. In this paper we apply such techniques to the higher…

It is a simple fact that a subgroup generated by a subset $A$ of an abelian group is the direct sum of the cyclic groups $\langle a\rangle$, $a\in A$ if and only if the set $A$ is independent. In [5] the concept of an $independent$ set in…

We prove that every finite group is the automorphism group of a finite abstract polytope isomorphic to a face-to-face tessellation of a sphere by topological copies of convex polytopes. We also show that this abstract polytope may be…

Assuming the existence of $\mathfrak c$ incomparable selective ultrafilters, we classify the non-torsion Abelian groups of cardinality $\mathfrak c$ that admit a countably compact group topology. We show that for each $\kappa \in [\mathfrak…

We discuss some of the issues that arise in attempts to classify automorphisms of compact abelian groups from a dynamical point of view. In the particular case of automorphisms of one-dimensional solenoids, a complete description is given…

Let A_2 be the moduli stack of principally polarized abelian surfaces and V a smooth l-adic sheaf on A_2 associated to an irreducible rational finite dimensional representation of Sp(4). We give an explicit expression for the cohomology of…

We show that many normal subgroups of the braid group modulo its centre, and of the mapping class group of a sphere with marked points, have the property that their automorphism and abstract commensurator groups are mapping class groups of…

In this article we study locally compact abelian (LCA) groups from the viewpoint of derived categories, using that their category is quasi-abelian in the sense of J.-P. Schneiders. We define a well-behaved derived Hom-complex with values in…

Contents: Rational functions with given monodromy on generic curves (I. Bouw & S. Wewers); Can deformation rings of group representations not be local complete intersections? (T. Chinburg); Lifting an automorphism group to finite…

Motivated by the Bruhat and Cartan decompositions of general linear groups over local fields, double cosets of the group of label preserving automorphisms of a label-regular tree over the fixator of an end of the tree and over maximal…

Let $f$ be a genus two cuspidal Siegel modular eigenform. We prove an adelic open image theorem for the compatible system of Galois representations associated to $f$, generalising the results of Ribet and Momose for elliptic modular forms.…

We study the density of periodic configurations for shift spaces defined on (the Cayley graph of) a finitely generated group. We prove that in the case of a full shift on a residually finite group and in that of a group shift space on an…

The Burger-Sarnak method shows that the restriction of an automorphic representation of a reductive group to a reductive subgroup has automorphic support. Clozel has conjectured a qualitative refinement of this result, which were first…