Related papers: Invariant rings through categories

An algebra is said to be \emph{$\tau$-tilting finite} provided it has only a finite number of $\tau$-rigid objects up to isomorphism. We associate a category to each such algebra. The objects are the wide subcategories of its category of…

We study rings of integral modular forms for congruence subgroups as modules over the ring of integral modular forms for the full modular group. In many cases these modules are free or decompose at least into well-understood pieces. We…

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…

In this series of papers, we propose a theory of enumerative invariants counting self-dual objects in self-dual categories. Ordinary enumerative invariants in abelian categories can be seen as invariants for the structure group $\mathrm{GL}…

We define a GL-variety to be a (typically infinite dimensional) algebraic variety equipped with an action of the infinite general linear group under which the coordinate ring forms a polynomial representation. Such varieties have been used…

We classify affine varieties with an action of a connected, reductive algebraic group such that the group is isomorphic to an open orbit in the variety. This is accomplished by associating a set of one-parameter subgroups of the group to…

Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of…

Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$. In this paper, we extend Hartshorne's characterization of cofinite complexes to more general classes of rings. We also determine conditions under which…

In a perfect category every object has a minimal projective resolution. We give a criterion for the category of modules over a categorygraded algebra to be perfect.

Let E be an operator algebra on a Hilbert space with finite-dimensional generated C*-algebra. A classification is given of the locally finite algebras and the operator algebras obtained as limits of direct sums of matrix algebras over E…

Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…

A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and…

We develop in this paper a stable theory for projective complexes, by which we mean to consider a chain complex of finitely generated projective modules as an object of the factor category of the homotopy category modulo split complexes. As…

We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

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…

Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…

Given a simple vertex algebra A and a reductive group G of automorphisms of A, the invariant subalgebra A^G is strongly finitely generated in most examples where its structure is known. This phenomenon is subtle, and is generally not true…

The notion of a derived A-infinity algebra, considered by Sagave, is a generalization of the classical notion of A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We initiate a study of…

We use the type theory for rings of operators due to Kaplansky to describe the structure of modules that are invariant under automorphisms of their injective envelopes. Also, we highlight the importance of Boolean rings in the study of such…