Related papers: Rigid models of Presburger arithmetic
Infinite-dimensional universal Cardy-Frobenius algebra is constructed, which unifies all particular algebras of closed and open Hurwitz numbers and is closely related to the algebra of differential operators, familiar from the theory of…
In this paper we develop techniques for computing the relative Brauer group of curves, focusing particularly on the case where the genus is 1. We use these techniques to show that the relative Brauer group may be infinite (for certain…
We construct a model of cubical type theory with a univalent and impredicative universe in a category of cubical assemblies. We show that this impredicative universe in the cubical assembly model does not satisfy a form of propositional…
Presburger Arithmetic $\mathop{\mathbf{PrA}}\nolimits$ is the true theory of natural numbers with addition. We consider linear orderings interpretable in Presburger Arithmetic and establish various necessary and sufficient conditions for…
We give an explicit construction of global Galois gerbes constructed more abstractly by Kaletha to define global rigid inner forms. This notion is crucial to formulate Arthur's multiplicity formula for inner forms of quasi-split reductive…
A graphical expansion formula for non-commutative matrix integrals with values in a finite-dimensional real or complex von Neumann algebra is obtained in terms of ribbon graphs and their non-orientable counterpart called Moebius graphs. The…
A rigidity result for a class of compact generalized quasi-Einstein manifolds with constant scalar curvature is obtained. Moreover, under some geometric assumptions, the rigidity for the noncompact case is also proved. Considering non…
We show the existence of group-theoretic sections of certain geometrically pro-nilpotent by abelian arithmetic fundamental groups of hyperbolic curves over p-adic local fields which are non-geometric, i.e., which do not arise from rational…
We use algebraic geometry to study matrix rigidity, and more generally, the complexity of computing a matrix-vector product, continuing a study initiated by Kumar, et. al. We (i) exhibit many non-obvious equations testing for (border)…
We give a characterization of $\tau$-rigid modules over Auslander algebras in terms of projective dimension of modules. Moreover, we show that for an Auslander algebra $\Lambda$ admitting finite number of non-isomorphic basic tilting…
Existentially closed groups are, informally, groups that contain solutions to every consistent finite system of equations and inequations. They were introduced in 1951 in an algebraic context and subsequent research elucidated deep…
For a finite group $G$ and an integer $r\ge 2$ let $$ P_r(G):=\frac{|Hom(\mathbb Z^r,G)|}{|G|^r}, $$ where $\Hom(\mathbb Z^r,G)$ is the set of pairwise commuting $r$-tuples in $G$. This paper studies rigidity and extremal behavior of the…
In this paper the authors give an infinite series of rigid compact complex manifolds for each dimension $d \geq 2$ which are not infinitesimally rigid, hence giving a complete answer to a problem of Morrow and Kodaira stated in the famous…
Semi-arithmetic Fuchsian groups is a wide class of discrete groups of isometries of the hyperbolic plane which includes arithmetic Fuchsian groups, hyperbolic triangle groups, groups admitting a modular embedding, and others. We introduce a…
We prove a super-rigidity result for algebraic representations over complete fields of irreducible lattices in product of groups and lattices with dense commensurator groups. We derive some criteria for non-linearity of such groups.
We investigate extremal metrics at which various types of rigidity theorems involving scalar curvatures hold. The rigidity we discuss here is related to the rigidity theorems presented by Mario Listing in his previous preprint. More…
We introduce a model for random groups in varieties of $n$-periodic groups as $n$-periodic quotients of triangular random groups. We show that for an explicit $d_{\mathrm{crit}}\in(1/3,1/2)$, for densities $d\in(1/3,d_{\mathrm{crit}})$ and…
We construct two models for the classifying space for the family of infinite cyclic subgroups of the fundamental group of the Klein bottle. These examples do not fit in general constructions previously done, for example, for hyperbolic…
We study the construction of arXiv:2111.11217 [math:AG] in more detail, especially in the case of Schur-finite rigid $\otimes$-categories. This leads to some groundwork on the ideal structure of rigid additive and abelian…
In this article we investigate rigidity properties of $S$-arithmetic Kac-Moody groups in characteristic $0$.