Related papers: A Solomon-Tits theorem for rings
We generalize certain parts of the theory of group rings to the twisted case. Let G be a finite group acting (possibly trivially) on a field L of characteristic coprime to the order of the kernel of this operation. Let K in L be the fixed…
In this article, we first briefly introduce the history of the Weil-\'etale cohomology theory of arithmetic schemes and review some important results established by Lichtenbaum, Flach and Morin. Next we generalize the Weil-etale cohomology…
Lyubeznik's conjecture, (\cite{Ly1}, Remark 3.7) asserts the finiteness of the set ssociated primes of local cohomology modules for regular rings. But, in the case of ramified regular local ring, it is open. Recently, in Theorem 1.2 of…
A real toric space is a topological space which admits a well-behaved $\mathbb{Z}_2^k$-action. Real moment-angle complexes and real toric varieties are typical examples of real toric spaces. A real toric space is determined by a pair of a…
In this paper, we introduce and study the class $S$-$\mathcal{F}$-ML of $S$-Mittag-Leffler modules with respect to all flat modules. We show that a ring $R$ is $S$-coherent if and only if $S$-$\mathcal{F}$-ML is closed under submodules. As…
Given a module M over a ring R which has a grading by a semigroup Q, we present a spectral sequence that computes the local cohomology of M at any Q-graded ideal I in terms of Ext modules. This method is used to obtain finiteness results…
In this paper we completely classify which graded polynomial R-algebras in finitely many even degree variables can occur as the singular cohomology of a space with coefficients in R, a 1960 question of N. E. Steenrod, for a commutative ring…
We give several resolutions of the Steinberg representation St_n for the general linear group over a principal ideal domain, in particular over Z. We compare them, and use these results to prove that the computations in [AGM4] are…
We prove that the rational cohomology $H^i(\mathcal{T}_g;\mathbf{Q})$ of the moduli space of trigonal curves of genus $g$ is independent of $g$ in degree $i<\lfloor g/4\rfloor.$ This makes possible to define the stable cohomology ring as…
We introduce twisted Steinberg algebras over a commutative unital ring $R$. These generalise Steinberg algebras and are a purely algebraic analogue of Renault's twisted groupoid C*-algebras. In particular, for each ample Hausdorff groupoid…
We prove new modularity lifting theorems for p-adic Galois representations in situations where the methods of Wiles and Taylor--Wiles do not apply. Previous generalizations of these methods have been restricted to situations where the…
A new construction of rings is introduced, studied, and applied. Given surjective homomorphisms $R\to T\gets S$ of local rings, and ideals in $R$ and $S$ that are isomorphic to some $T$-module $V$, the \emph{connected sum} $R#_TS$ is…
For any ring $R$, we introduce an invariant in the form of a partially ordered abelian semigroup $\mathrm{S}(R)$ built from an equivalence relation on the class of countably generated projective modules. We call $\mathrm{S}(R)$ the Cuntz…
We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. Let G be a compact quantum group, and let T:= Rep(G) be the rigid C*-tensor category of finite-dimensional continuous unitary representations of G. Let…
Borel-Serre proved that the integral symplectic group $\operatorname{Sp}_{2n}(\mathbb{Z})$ is a virtual duality group of dimension $n^2$ and that the symplectic Steinberg module $\operatorname{St}^\omega_n(\mathbb{Q})$ is its dualising…
We study the second cohomology group with coefficients in the adjoint module for a class of solvable Lie algebras $\mathcal{R}_{\mathcal{T}}$ that arise as maximal solvable extensions of nilpotent Lie algebras $\mathcal{N}$ of maximal rank.…
We consider the class of all commutative reduced rings for which there exists a finite subset T of A such that all projections on quotients by prime ideals of A are surjective when restricted to T. A complete structure theorem is given for…
We give a simplified proof of Tits' classification of semisimple algebraic groups that remains valid over semilocal rings. In particular, we provide explicit necessary and sufficient conditions that anisotropic groups of a given type appear…
We describe the ring structure of the rational cohomology of the Torelli groups of the manifolds $\#^g S^n \times S^n$ in a stable range, for $2n \geq 6$. Some of our results are also valid for $2n=2$, where they are closely related to…
The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…