Related papers: Modulization and the enveloping ringoid

We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so…

Let G be a simple complex algebraic group. By using a notion of a G-category we define invariants of tangles with flat G-connections in their complements. We also show that quantized universal enveloping algebras at roots of unity provide…

In this paper we study the behaviour of modules over finite dimensional algebras whose endomorphism algebra is a division ring. We show that there are finitely many such modules in the module category of an algebra if and only if the length…

We exhibit a connection between two constructions of twisted modules for a general vertex operator algebra with respect to inner automorphisms. We also study pseudo-derivations, pseudo-endomorphisms, and twist deformations of ordinary…

We construct spaces of coinvariants at principally polarized abelian varieties with respect to the action of an infinite-dimensional Lie algebra. We show how these spaces globalize to twisted $\mathcal{D}$-modules on moduli of principally…

We introduce a class of toposes called "absolutely locally compact" toposes and of "admissible" sheaf of rings over such toposes. To any such ringed topos $(\mathcal{T},A)$ we attach an involutive convolution algebra…

The main objective of this project is to determine all irreducible modules of a given modular Lie algebra. In contrast to ordinary Lie algebras, modular Lie algebras require an additional structure known as the p-mapping. The minimal…

A finite abelian $p$-group having an automorphism $x$ such that $1+\ldots+x^{p-1}=0$, can be viewed as a module over an appropriate discrete valuation ring $\mathcal{O}$ containing $\mathbb{Z}_p$ (the ring of $p$-adic integer). This yields…

Let $F$ be an algebraically closed field of characteristic zero, and $G$ be a finite abelian group. If $A=\oplus_{g\in G} A_g$ is a $G$-graded algebra, we study degree-inverting involutions on $A$, i.e., involutions $*$ on $A$ satisfying…

Consider a finite group $G$ acting on a graded Noetherian $k$-algebra $S$, for some field $k$ of characteristic $p$; for example $S$ might be a polynomial ring. Regard $S$ as a $kG$-module and consider the multiplicity of a particular…

In this note I give a positive solution to Bullett's conjecture (posed in [1]) regarding a geometric presentation of the universal mod $p$ oriented ring spectrum.

Given a variety of universal algebras. A method is suggested for describing automorphisms of a category of free algebras of this variety. Applying this general method all automorphisms of such categories are found in two cases: 1) for the…

We give a complex polarized variation of Hodge structure over a compact K"ahler manifold $M$ which controls all finite-dimensional complex polarized variations of Hodge structure over $M$ and their tensor relations. As a corollary, we…

A commutative associative algebra $A$ over ${\mathbb C}$ with a derivation is one of the simplest examples of a vertex algebra. However, the differences between the modules for $A$ as a vertex algebra and the modules for $A$ as an…

Let the finite group $G$ act linearly on the vector space $V$ over the field $k$ of arbitrary characteristic. If $H<G$ is a subgroup the extension of invariant rings $k[V]^G\subset k[V]^H$ is studied using modules of covariants. An example…

Let $X$ be a compact manifold, $D$ a real elliptic operator on $X$, $G$ a Lie group, $P\to X$ a principal $G$-bundle, and ${\mathcal B}_P$ the infinite-dimensional moduli space of all connections $\nabla_P$ on $P$ modulo gauge, as a…

We apply the full centre construction, defined in arXiv:0908.1250, to algebras in and module categories over categories of representations of Hopf algebras. We obtain a compact formula for the full centre of a module algebra over a Hopf…

Let O be the ring of integers of a number field K. For an O-algebra R which is torsion free as an O-module we define what we mean by a Lambda_O-ring structure on R. We can determine whether a finite etale K-algebra E with Lambda_O-ring…

An MV-module is an MV-algebra endowed with a scalar multiplication with scalars in a PMV-algebra (i.e. an MV-algebra endowed with a binary "ring-like" product). We investigate the class of semisimple MV-modules over a semisimple and totally…

Let $O_F$ be the ring of integers of a totally real field $F$ of degree $g$. We study the reduction of the moduli space of separably polarized abelian $O_F$-varieties of dimension $g$ modulo $p$ for a fixed prime $p$. The invariants and…