Related papers: Towards solid abelian groups: A formal proof of N\…

We give an overview of the basic definitions of condensed categories, as well as the internal Hom of condensed abelian groups. We give a construction for the internal Hom of condensed sets and apply it to obtain a new proof of a theorem of…

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…

Solid abelian groups, as introduced by Dustin Clausen and Peter Scholze, form a subcategory of all condensed abelian groups satisfying some ''completeness'' conditions and having favourable categorical properties. Given a profinite ring…

As mathematical induction is applied to prove statements on natural numbers, {\it continuous induction} (or, {\it real induction}) is a tool to prove some statements in real analysis.(Although, this comparison is somehow an overstatement.)…

In their 2022 lecture notes on condensed sets, Clausen and Scholze mentioned in a remark that the important subclass of quasiseparated condensed sets is equivalent to the category of so-called compactological spaces defined by Waelbroeck in…

Condensed mathematics as developed by Clausen and Scholze yields a version of derived functors over the category of continuous $G$-modules for a Hausdorff topological group $G$. We study the resulting notion of group cohomology and its…

The theory of condensed mathematics by Dustin Clausen and Peter Scholze claims that topological spaces should be replaced by the definition of condensed sets. The main purpose of this paper is to investigate in which way the theory of…

We describe a new approach for classifying conjugacy classes of elementary abelian subgroups in simple algebraic groups over an algebraically closed field, and understanding the normaliser and centraliser structure of these. For toral…

Higher homological algebra was introduced by Iyama. It is also known as $n$-homological algebra where $n \geq 2$ is a fixed integer, and it deals with $n$-cluster tilting subcategories of abelian categories. All short exact sequences in…

We prove that all finitely generated fully residually free groups (limit groups) have a sequence of finite dimensional unitary representations that `strongly converge' to the regular representation of the group. The corresponding statement…

Relying on the techniques and ideas from our recent paper [13], we prove several anti-classification results for various rigidity conditions in countable abelian and nilpotent groups. We prove three main theorems: (1) the rigid abelian…

We develop the theory of locally analytic representations of compact $p$-adic Lie groups from the perspective of the theory of condensed mathematics of Clausen and Scholze. As an application, we generalise Lazard's isomorphisms between…

The Addition Theorem for the algebraic entropy of group endomorphisms of torsion abelian groups was proved in [4]. Later, this result was extended to all abelian groups [3] and, recently, to all torsion finitely quasihamiltonian groups [7].…

This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…

We prove a general form of the regularity theorem for uniformity norms, and deduce an inverse theorem for these norms which holds for a class of compact nilspaces including all compact abelian groups, and also nilmanifolds; in particular we…

The regular open subsets of a topological space form a Boolean algebra, where the `join' of two regular open sets is the interior of the closure of their union. A `credence' is a finitely additive probability measure on this Boolean…

We establish the exponential law for suitably topologies on spaces of vector-valued smooth functions on topological groups, where smoothness is defined by using differentiability along continuous one-parameter subgroups. As an application,…

These are expanded notes of a seminar held in Columbia university during the Spring and Fall of 2024 about the theory of analytic stacks of Clausen and Scholze, with a focus in the theory of solid mathematics. The seminar is inspired from…

A twisted sum in the category of topological abelian groups is a short exact sequence $0\to Y\to X \to Z\to 0$ where all maps are assumed to be continuous and open onto their images. The twisted sum splits if it is equivalent to $0\to Y\to…