By assuming the endoscopic classification of automorphic representations on inner forms of unitary groups, which is currently work in progress by Kaletha, Minguez, Shin, and White, we bound the growth of cohomology in congruence towers of locally symmetric spaces associated to $U(n,1)$ . In the case of lattices arising from Hermitian forms, we expect that the growth exponents we obtain are sharp in all degrees.
more »
« less
STABILITY, COHOMOLOGY VANISHING, AND NONAPPROXIMABLE GROUPS
Several well-known open questions (such as: are all groups sofic/hyperlinear?) have a common form: can all groups be approximated by asymptotic homomorphisms into the symmetric groups $\text{Sym}(n)$ (in the sofic case) or the finite-dimensional unitary groups $\text{U}(n)$ (in the hyperlinear case)? In the case of $\text{U}(n)$ , the question can be asked with respect to different metrics and norms. This paper answers, for the first time, one of these versions, showing that there exist finitely presented groups which are not approximated by $\text{U}(n)$ with respect to the Frobenius norm $\Vert T\Vert _{\text{Frob}}=\sqrt{\sum _{i,j=1}^{n}|T_{ij}|^{2}},T=[T_{ij}]_{i,j=1}^{n}\in \text{M}_{n}(\mathbb{C})$ . Our strategy is to show that some higher dimensional cohomology vanishing phenomena implies stability , that is, every Frobenius-approximate homomorphism into finite-dimensional unitary groups is close to an actual homomorphism. This is combined with existence results of certain nonresidually finite central extensions of lattices in some simple $p$ -adic Lie groups. These groups act on high-rank Bruhat–Tits buildings and satisfy the needed vanishing cohomology phenomenon and are thus stable and not Frobenius-approximated.
more »
« less
- Award ID(s):
- 1700165
- PAR ID:
- 10190743
- Date Published:
- Journal Name:
- Forum of Mathematics, Sigma
- Volume:
- 8
- ISSN:
- 2050-5094
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract Consider $$(X_{i}(t))$$ ( X i ( t ) ) solving a system of N stochastic differential equations interacting through a random matrix $${\mathbf {J}} = (J_{ij})$$ J = ( J ij ) with independent (not necessarily identically distributed) random coefficients. We show that the trajectories of averaged observables of $$(X_i(t))$$ ( X i ( t ) ) , initialized from some $$\mu $$ μ independent of $${\mathbf {J}}$$ J , are universal, i.e., only depend on the choice of the distribution $$\mathbf {J}$$ J through its first and second moments (assuming e.g., sub-exponential tails). We take a general combinatorial approach to proving universality for dynamical systems with random coefficients, combining a stochastic Taylor expansion with a moment matching-type argument. Concrete settings for which our results imply universality include aging in the spherical SK spin glass, and Langevin dynamics and gradient flows for symmetric and asymmetric Hopfield networks.more » « less
-
We consider the finite generation property for cohomology of a finite tensor category C \mathscr {C} , which requires that the self-extension algebra of the unit \operatorname {Ext}^\text {\tiny ∙ }_\mathscr {C}(\mathbf {1},\mathbf {1}) is a finitely generated algebra and that, for each object V V in C \mathscr {C} , the graded extension group \operatorname {Ext}^\text {\tiny ∙ }_\mathscr {C}(\mathbf {1},V) is a finitely generated module over the aforementioned algebra. We prove that this cohomological finiteness property is preserved under duality (with respect to exact module categories) and taking the Drinfeld center, under suitable restrictions on C \mathscr {C} . For example, the stated result holds when C \mathscr {C} is a braided tensor category of odd Frobenius-Perron dimension. By applying our general results, we obtain a number of new examples of finite tensor categories with finitely generated cohomology. In characteristic 0 0 , we show that dynamical quantum groups at roots of unity have finitely generated cohomology. We also provide a new class of examples in finite characteristic which are constructed via infinitesimal group schemes.more » « less
-
null (Ed.)Answering a longstanding problem originating in Christensen’s seminal work on Haar null sets [ Math. Scand. 28 (1971), 124–128; Israel J. Math. 13 (1972), 255–260; Topology and Borel Structure. Descriptive Topology and Set Theory with Applications to Functional Analysis and Measure Theory , North-Holland Mathematics Studies, 10 (Notas de Matematica, No. 51). (North-Holland Publishing Co., Amsterdam–London; American Elsevier Publishing Co., Inc., New York, 1974), iii+133 pp], we show that a universally measurable homomorphism between Polish groups is automatically continuous. Using our general analysis of continuity of group homomorphisms, this result is used to calibrate the strength of the existence of a discontinuous homomorphism between Polish groups. In particular, it is shown that, modulo $\text{ZF}+\text{DC}$ , the existence of a discontinuous homomorphism between Polish groups implies that the Hamming graph on $\{0,1\}^{\mathbb{N}}$ has finite chromatic number.more » « less
-
For a local complete intersection subvariety $X = V (I)$ in $P^n$ over a field of characteristic zero, we show that, in cohomological degrees smaller than the codimension of the singular locus of $X$, the cohomology of vector bundles on the formal completion of $P^n$ along $X$ can be effectively computed as the cohomology on any sufficiently high thickening $X_t = V (I^t)$; the main ingredient here is a positivity result for the normal bundle of $X$. Furthermore, we show that the Kodaira vanishing theorem holds for all thickenings $X_t$ in the same range of cohomological degrees; this extends the known version of Kodaira vanishing on $X$, and the main new ingredient is a version of the Kodaira- Akizuki-Nakano vanishing theorem for $X$, formulated in terms of the cotangent complex.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1017/fms.2020.5
