Related papers: The Chromatic Nullstellensatz

The cohomology of the Lubin-Tate tower is known to realize the local Langlands correspondence for GL(n) over a nonarchimedean local field. In this article we make progress towards a purely local proof of this fact. To wit, we find a family…

We prove that the p-adic local Langlands correspondence for GL_2(Q_p) appears in the etale cohomology of the Lubin-Tate tower at infinity. We use global methods using recent results of Emerton on the local-global compatibility and hence our…

Based on Nijenhuis-Richardson bracket and bidegree on the cohomology complex for a Lie conformal algebra, we develop a twisting theory of Lie conformal algebras. By using derived bracket constructions, we construct $L_\infty$-algebras from…

We prove that the additive group $(E^\ast,\tau_k(E))$ of an $\mathscr{L}_\infty$-Banach space $E$, with the topology $\tau_k(E)$ of uniform convergence on compact subsets of $E$, is topologically isomorphic to a subgroup of the unitary…

For a Noetherian $R$-algebra $\Lambda$, there is a canonical inclusion $\mathsf{tors}\Lambda\to\prod_{\mathfrak{p}\in \mathrm{Spec} R}\mathsf{tors}(\kappa(\mathfrak{p})\Lambda)$, and each element in the image satisfies a certain…

The long standing Lech's conjecture in commutative algebra states that for a flat local extension $(R,\mathfrak{m})\to (S,\mathfrak{n})$ of Noetherian local rings, we have an inequality on the Hilbert--Samuel multiplicities: $e(R)\leq…

We embed the Lubin-Tate tower into a larger tower of formal schemes, the "degenerating Lubin-Tate tower." We construct a topological realization of the degenerating Lubin-Tate tower, i.e., a compatible family of presheaves of…

A unitary representation of a, possibly infinite dimensional, Lie group $G$ is called semibounded if the corresponding operators $i\dd\pi(x)$ from the derived representation are uniformly bounded from above on some non-empty open subset of…

Let $G$ be a compact connected Lie group. We show that the category $\mathbf{Loc}_{\infty}(BG)$ of $\infty$-local systems on the classifying space of $G$, can be described infinitesimally as the category…

For a commutative ring $R$ with unit we show that the Leavitt path algebra $L_R(E)$ of a graph $E$ embeds into $L_{2,R}$ precisely when $E$ is countable. Before proving this result we prove a generalised Cuntz-Krieger Uniqueness Theorem for…

We prove a noncommutative real Nullstellensatz for 2-step nilpotent Lie algebras that extends the classical, commutative real Nullstellensatz as follows: Instead of the real polynomial algebra $\mathbb R[x_1, \dots, x_d]$ we consider the…

We consider generalized $\Lambda$-structures on algebras and schemes over the ring of integers $\mathit{O}_K$ of a number field $K$. When $K=\mathbb{Q}$, these agree with the $\lambda$-ring structures of algebraic K-theory. We then study…

The "higher chromatic" Quillen-Lichtenbaum conjecture, as proposed by Ausoni and Rognes, posits that the finite localization map $K(R) \to L_{n + 1}^f K(R)$ is a $p$-local equivalence in large degrees for suitable ring spectra $R$. We give…

Inspired by orbit parametrizations in arithmetic statistics, we explain how to construct families of curves associated to certain nilpotent elements in $\mathbb{Z}/m\mathbb{Z}$-graded Lie algebras, generalizing work of Thorne to the $m\geq…

We consider algebraic varieties canonically associated to any Lie superalgebra, and study them in detail for super-Poincar\'e algebras of physical interest. They are the locus of nilpotent elements in (the projectivized parity reversal of)…

We show that the twisted homogeneous coordinate rings of elliptic curves by infinite order automorphisms have the curious property that every subalgebra is both finitely generated and noetherian. As a consequence, we show that a…

In this note, we show that any epimorphism originating at a von Neumann regular ring (not necessary commutative) is a universal localization. As an application, we prove that the Telescope Conjecture holds for the unbounded derived…

We discuss the theory of Lie algebras in Lean's Mathlib library. Using nilpotency as the theme, we outline a computer formalisation of Engel's theorem and an application to root space theory. We emphasise that all arguments work with…

We develop a representation theoretic technique for detecting closed orbits that is applicable in all characteristics. Our technique is based on Kempf's theory of optimal subgroups and we make some improvements and simplify the theory from…

We show the David-Jerison construction of big pieces of Lipschitz graphs inside a corkscrew domain does not require its surface measure be upper Ahlfors regular. Thus we can study absolute continuity of harmonic measure and surface measure…