Related papers: A Bloch-Wigner exact sequence over local rings

In this paper, we show examples of local cohomology modules over ramified regular local ring, having finite set of associated primes. In doing so we consider our ramified regular local ring as Eisenstein extension of an unramified regular…

We show that the Zink equivalence between p-divisible groups and Dieudonne displays over a complete local ring with perfect residue field of characteristic p is compatible with duality. The proof relies on a new explicit formula for the…

Koopmans-compliant functionals provide an orbital-density-dependent framework for an accurate evaluation of spectral properties; they are obtained by imposing a generalized piecewise-linearity condition on the total energy of the system…

For $K$ a field, consider a finite subgroup $G$ of $\operatorname{GL}_n(K)$ with its natural action on the polynomial ring $R:=K[x_1,\dots,x_n]$. Let $\mathfrak{n}$ denote the homogeneous maximal ideal of the ring of invariants $R^G$. We…

We prove that the Weil representation over a non-archimedean local field can be realised with coefficients in a number field. We give an explicit descent argument to describe precisely which number field the Weil representation descends to.…

We give a new lower bound on the number of connected components of the space of representations of a surface group into the group of orientation preserving homeomorphisms of the circle. Precisely, for the fundamental group of a genus g…

We present a comprehensive formalization in the Lean4 theorem prover of the Auslander--Buchsbaum--Serre criterion, which characterizes regular local rings as those Noetherian local rings with finite global dimension. Rather than following…

Let $p$ be a prime integer, $n,s\geq 2$ be integers satisfying ${\rm gcd}(p,n)=1$, and denote $R=\mathbb{Z}_{p^s}[v]/\langle v^2-pv\rangle$. Then $R$ is a local non-principal ideal ring of $p^{2s}$ elements. First, the structure of any…

We classify two-dimensional complete local rings $(R,\mathfrak{m},k)$ of finite Cohen-Macaulay type where $k$ is an arbitrary field of characteristic zero, generalizing works of Auslander and Esnault for algebraically closed case. Our main…

The classical Hilbert specialization property is a field-theoretic tool ensuring that polynomial irreducibility over a field is preserved under specialization of some of the variables. We develop an integral counterpart by introducing the…

Given an integer $n$, we introduce the integral Lie ring of partitions with bounded maximal part, whose elements are in one-to-one correspondence to integer partitions with parts in $\{1,2,\dots, n-1\}$. Starting from an abelian subring, we…

The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is one of the key reasons why. We describe a formal proof that the adele ring of a number field is locally…

We introduce the notion of Burch submodules and weakly $\mathfrak m$-full submodules of modules over local rings and study their properties. One of our main results shows that Burch submodules satisfy 2-Tor rigid and test property. We also…

Let $V$ be a finite dimensional complex vector space and $W\subset \GL(V)$ be a finite complex reflection group. Let $V^{\reg}$ be the complement in $V$ of the reflecting hyperplanes. A classical conjecture predicts that $V^{\reg}$ is a…

We give a combinatorial description of local cohomology modules of a graded module over a semigroup ring, with support at the graded maximal ideal. This combinatorial framework yields Hochster-type formulas for the Hilbert series of such…

We study blocks of the double covers of symmetric and alternating groups. The main result is a `local' description, up to Morita equivalence, of arbitrary defect RoCK blocks of these groups in terms of generalized Schur superalgebras…

We consider versions of the local duality theorem in $\mathbb{C}^n$. We show that there exist canonical pairings in these versions of the duality theorem which can be expressed explicitly in terms of residues of Grothendieck, or in terms of…

A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local…

The aim of this paper is to provide a novel proof for the Local Semicircle Law for the Wigner ensemble. The core of the proof is the intensive use of the algebraic structure that arises, i.e. resolvent expansions and resolvent identities.…

Using joint reductions of complete ideals, we find expressions for the core and adjoints of the product of complete ideals in a two-dimensional regular local ring. We also compute their colengths. Our results strengthen a generalization of…