arXiv subjects

Alex Martsinkovsky

Publications and source records attributed to Alex Martsinkovsky.

9 recordsLinked to original sources

arXiv2024

Deconstructing Auslander's formulas, I. Fundamental sequences associated with additive functors

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the functor. For half-exact functors, the obtained sequences are exact. For general functors, nontrivial homology may only appear at the derived functors. Specializing to the familiar Hom and tensor product functors on finitely presented modules, we recover the classical formulas of Auslander. Unlike those formulas, our results hold for arbitrary rings and arbitrary modules, finite or infinite. The same formalism leads to universal coefficient theorems for homology and cohomology of arbitrary complexes. The new results are even more explicit for the cohomology of projective complexes and the homology of flat complexes.

math.RT↗

arXiv2024

The defect, the Malgrange functor, and linear control systems

The notion of defect of a finitely presented functor on a module category is extended to arbitrary additive functors. The new defect and the contravariant Yoneda embedding form a right adjoint pair. The main result identifies the defect of the covariant Hom modulo projectives with the Bass torsion of the fixed argument. When applied to a linear control systems, it shows that the defect of the Malgrange functor of the system modulo projectives is isomorphic to the autonomy of the system. Furthermore, the defect of the contravariant Hom modulo injectives is shown to be isomorphic to the cotorsion coradical of the fixed argument. Since the Auslander-Gruson-Jensen transform of cotorsion is isomorphic to torsion, the above results raise two important questions: a) what is a control-theoretic interpretation of the covariant Yoneda embedding of the Malgrange module modulo injectives, and b) what is a control-theoretic interpretation of the Auslander-Gruson-Jensen duality?

math.RT↗

arXiv2022

The finite presentation of the stable Hom functors, the Bass torsion, and the cotorsion coradical

We provide necessary and/or sufficient conditions for the stable Hom functors to be finitely presented. When the covariant Hom functor modulo projectives is finitely presented, its defect is isomorphic to the Bass torsion of the fixed argument. When the contravariant Hom functor modulo injectives is finitely presented, its defect is isomorphic to the cotorsion of the fixed argument. We also give a sufficient condition for the sub-stabilization of the tensor product to be finitely presented. A finite presentation of the tensor product leads to an unexpected application.

math.CT↗

arXiv2020

Injective stabilization of additive functors. III. Asymptotic stabilization of the tensor product

The injective stabilization of the tensor product is subjected to an iterative procedure that utilizes its bifunctor property. The limit of this procedure, called the asymptotic stabilization of the tensor product, provides a homological counterpart of Buchweitz's asymptotic construction of stable cohomology. The resulting connected sequence of functors is isomorphic to Triulzi's $J$-completion of the Tor functor. A comparison map from Vogel homology to the asymptotic stabilization of the tensor product is constructed and shown to be always epic. The category of finitely presented functors is shown to be complete and (co)complete. As a consequence, the inert injective stabilization of the tensor product with fixed variable a finitely generated module over an artin algebra is shown to be finitely presented. A description of its defect and all right-derived functors is given. A surprising connection with Buchweitz cohomology based on injectives is established

math.RT↗

arXiv2019

Injective stabilization of additive functors. II. (Co)torsion and the Auslander-Gruson-Jensen functor

The formalism of injective stabilization of additive functors is used to define a new notion of the torsion submodule of a module. It applies to arbitrary modules over arbitrary rings. For arbitrary modules over commutative domains it coincides with the classical torsion, and for finitely presented modules over arbitrary rings it coincides with the Bass torsion. A formally dual approach -- based on projective stabilization -- gives rise to a new concept: the cotorsion quotient module of a module. This is done in complete generality -- the new concept is defined for any module over any ring. Unlike torsion, cotorsion does not have classical prototypes. General properties of these constructs are established. It is shown that the Auslander-Gruson-Jensen functor applied to the cotorsion functor returns the torsion functor. As a consequence, a ring is one-sided absolutely pure if and only if each pure injective on the other side is cotorsion-free. If the injective envelope of the ring is finitely presented, then the right adjoint of the Auslander-Gruson-Jensen functor applied to the torsion functor returns the cotorsion functor. This correspondence establishes a duality between torsion and cotorsion over such rings. In particular, this duality applies to artin algebras. It is also shown that, over any ring, the character module of the torsion of a module is isomorphic to the cotorsion of the character module of the module. Under various finiteness conditions on the injective envelope of the ring, the derived functors of torsion and cotorsion are computed.

math.RT↗

arXiv2018

Injective stabilization of additive functors. I. Preliminaries

This paper is the first one in a series of three dealing with the concept of injective stabilization of the tensor product and its applications. Its primary goal is to collect known facts and establish a basic operational calculus that will be used in the subsequent parts. This is done in greater generality than is necessary for the stated goal. Several results of independent interest are also established. They include, among other things, connections with satellites, an explicit construction of the stabilization of a finitely presented functor, various exactness properties of the injectively stable functors, a construction, from a functor and a short exact sequence, of a doubly-infinite exact sequence by splicing the injective stabilization of the functor and its derived functors. When specialized to the tensor product with a finitely presented module, the injective stabilization with coefficients in the ring is isomorphic to the 1-torsion functor. The Auslander-Reiten formula is extended to a more general formula, which holds for arbitrary (i.e., not necessarily finite) modules over arbitrary associative rings with identity. Weakening of the assumptions in the theorems of Eilenberg and Watts leads to characterizations of the requisite zeroth derived functors. The subsequent papers, provide applications of the developed techniques. Part~II deals with new notions of torsion module and cotorsion module of a module. This is done for arbitrary modules over arbitrary rings. Part~III introduces a new concept, called the asymptotic stabilization of the tensor product. The result is closely related to different variants of stable homology (these are generalizations of Tate homology to arbitrary rings). A comparison transformation from Vogel homology to the asymptotic stabilization of the tensor product is constructed and shown to be epic.

math.RT↗

arXiv2018

Orders of bounded and strongly unbounded lattice type

Brauer and Thrall conjectured that a finite-dimensional algebra over a field of bounded representation type is actually of finite representation type and a finite-dimensional algebra (over an infinite field) of infinite representation type has strongly unbounded representation type. These conjectures, now theorems, are our motivation for studying (generalized) orders of bounded and strongly unbounded lattice type. To each lattice over an order we assign a numerical invariant, $\underline{\h}$-length, measuring Hom modulo projectives. We show that an order of bounded lattice type is actually of finite lattice type, and if there are infinitely many non-isomorphic indecomposable lattices of the same $\underline{\h}$-length, then the order has strongly unbounded lattice type. For a hypersurface $R=k[[x_0,...,x_d]]/(f)$, we show that $R$ is of bounded (respectively, strongly unbounded) lattice type if and only if the double branched cover $R^{\sharp}$ of $R$ is of bounded (respectively, strongly unbounded) lattice type. This is an analog of a result of Knörrer and Buchweitz-Greuel-Schreyer for rings of finite mCM type. Consequently, it is proved that $R$ has strongly unbounded lattice type whenever $k$ is infinite.

math.RT↗

arXiv2015

The stable category of a left hereditary ring

The (co)completeness problem for the (projectively) stable module category of an associative ring is studied. (Normal) monomorphisms and (normal) epimorphisms in such a category are characterized. As an application, we give a criterion for the stable category of a left hereditary ring to be abelian. By a structure theorem of Colby-Rutter, this leads to an explicit description of all such rings.

math.RA↗

arXiv2014

On direct summands of homological functors on length categories

We show that direct summands of certain additive functors arising as bifunctors with a fixed argument in an abelian category are again of that form whenever the fixed argument has finite length or, more generally, satisfies the descending chain condition on images of nested endomorphisms. In particular, this provides a positive answer to a conjecture of M. Auslander in the case of categories of finite modules over artin algebras. This implies that the covariant Ext functors are the only injectives in the category of defect-zero finitely presented functors on such categories.

math.CT↗