Related papers: Noncommutative resolutions using syzygies
We introduce FI-algebras over a commutative ring $K$ and the category of FI-modules over an FI-algebra. Such a module may be considered as a family of invariant modules over compatible varying $K$-algebras. FI-modules over $K$ correspond to…
We show that assuming a conjecture in non-archimedean geometry, then a metric formulation of the SYZ conjecture can be proved in large generality.
The study of images of noncommutative polynomials on algebras has attracted considerable attention. We investigate polynomial images and the additive structures they generate in associative algebras, focusing on sums and products of values.…
Let B(X,L,s) be the twisted homogeneous coordinate ring of an irreducible variety X over an algebraically closed field k with dim X > 1. Assume that c in X and s in Aut(X) are in sufficiently general position. We show that if one follows…
Several constructive homological methods based on noncommutative Gr\"obner bases are known to compute free resolutions of associative algebras. In particular, these methods relate the Koszul property for an associative algebra to the…
Springer resolution of the set of nilpotent elements in a semisimple Lie algebra plays a central role in geometric representation theory. A new structure on this variety has arisen in several representation theoretic constructions, such as…
Syzygies capture intricate geometric properties of a subvariety in projective space. However, when the ambient space is a product of projective spaces or a more general smooth projective toric variety, minimal free resolutions over the Cox…
We describe a method for solving linear systems over the localization of a commutative ring $R$ at a multiplicatively closed subset $S$ that works under the following hypotheses: the ring $R$ is coherent, i.e., we can compute finite…
We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules.
A non associative, noncommutative algebra is defined that may be interpreted as a set of vector modules over a noncommutative surface of rotation. Two of these vector modules are identified with the analogues of the tangent and cotangent…
We refine a well-known theorem of Auslander and Reiten about the extension closedness of n-th syzygies over noether algebras. Applying it, we obtain the converse of a celebrated theorem of Evans and Griffith on Serre's condition (S_n) and…
In this work, we prove that if a graded, commutative algebra $R$ over a field $k$ is not Koszul then, denoting by $\mathfrak{m}$ the maximal homogeneous ideal of $R$ and by $M$ a finitely generated graded $R$-module, the nonzero modules of…
Inspired by the perspective of Reyes' noncomutative spectral theory, we attempt to develop noncommutative algebraic geometry by introducing ringed coalgebras, which can be thought of as a noncommutative generalization of schemes over a…
The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families…
Silting modules are abundant. Indeed, they parametrise the definable torsion classes over a noetherian ring, and the hereditary torsion pairs of finite type over a commutative ring. Also the universal localisations of a hereditary ring, or…
Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…
The main objective of this paper is to generalize a notion of Koszul resolutions and charcterizing modules which admits such a resolution. We turn out that for a noetherian ring $A$ and a coherent $A$ module $M$, $M$ has a two dimensional…
We prove a general structure theorem for finitely presented torsion modules over a class of commutative rings that need not be Noetherian. As a first application, we then use this result to study the Weil- \'etale cohomology groups of…
We define ''convergence'' for noncommutative power series and construct two topologies on the algebra of power series, convergent with respect to a positive radius. We indicate all finite dimensional continuous representations of this…
We give an improved polynomial bound on the complexity of the equation solvability problem, or more generally, of finding the value sets of polynomials over finite nilpotent rings. Our proof depends on a result in additive combinatorics,…