-
Induced quasi-isometries of hyperbolic spaces, Markov chains, and acylindrical hyperbolicity
Authors:
Antoine Goldsborough,
Mark Hagen,
Harry Petyt,
Jacob Russell,
Alessandro Sisto
Abstract:
We show that quasi-isometries of (well-behaved) hierarchically hyperbolic groups descend to quasi-isometries of their maximal hyperbolic space. This has two applications, one relating to quasi-isometry invariance of acylindrical hyperbolicity, and the other a linear progress result for Markov chains. The appendix, by Jacob Russell, contains a partial converse under the (necessary) condition that t…
▽ More
We show that quasi-isometries of (well-behaved) hierarchically hyperbolic groups descend to quasi-isometries of their maximal hyperbolic space. This has two applications, one relating to quasi-isometry invariance of acylindrical hyperbolicity, and the other a linear progress result for Markov chains. The appendix, by Jacob Russell, contains a partial converse under the (necessary) condition that the maximal hyperbolic space is one-ended.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
Relative hyperbolicity, thickness, and the hierarchically hyperbolic boundary
Authors:
Carolyn Abbott,
Jason Behrstock,
Jacob Russell
Abstract:
We study the boundaries of relatively hyperbolic HHGs. Using the simplicial structure on the hierarchically hyperbolic boundary, we characterize both relative hyperbolicity and being thick of order 1 among HHGs. In the case of relatively hyperbolic HHGs, we show that the Bowditch boundary of the group is the quotient of the HHS boundary obtained by collapsing the limit sets of the peripheral subgr…
▽ More
We study the boundaries of relatively hyperbolic HHGs. Using the simplicial structure on the hierarchically hyperbolic boundary, we characterize both relative hyperbolicity and being thick of order 1 among HHGs. In the case of relatively hyperbolic HHGs, we show that the Bowditch boundary of the group is the quotient of the HHS boundary obtained by collapsing the limit sets of the peripheral subgroups to a point. In establishing this, we give a construction that allows one to modify an HHG structure by including a collection of hyperbolically embedded subgroups into the HHG structure.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Structure invariant properties of the hierarchically hyperbolic boundary
Authors:
Carolyn Abbott,
Jason Behrstock,
Jacob Russell
Abstract:
We prove several topological and dynamical properties of the boundary of a hierarchically hyperbolic group are independent of the specific hierarchically hyperbolic structure. This is accomplished by proving that the boundary is invariant under a "maximization" procedure introduced by the first two authors and Durham.
We prove several topological and dynamical properties of the boundary of a hierarchically hyperbolic group are independent of the specific hierarchically hyperbolic structure. This is accomplished by proving that the boundary is invariant under a "maximization" procedure introduced by the first two authors and Durham.
△ Less
Submitted 17 March, 2023; v1 submitted 16 August, 2022;
originally announced August 2022.
-
Equivariant hierarchically hyperbolic structures for 3-manifold groups via quasimorphisms
Authors:
Mark Hagen,
Jacob Russell,
Alessandro Sisto,
Davide Spriano
Abstract:
Behrstock, Hagen, and Sisto classified 3-manifold groups admitting a hierarchically hyperbolic space structure. However, these structures were not always equivariant with respect to the group. In this paper, we classify 3-manifold groups admitting equivariant hierarchically hyperbolic structures. The key component of our proof is that the admissible groups introduced by Croke and Kleiner always ad…
▽ More
Behrstock, Hagen, and Sisto classified 3-manifold groups admitting a hierarchically hyperbolic space structure. However, these structures were not always equivariant with respect to the group. In this paper, we classify 3-manifold groups admitting equivariant hierarchically hyperbolic structures. The key component of our proof is that the admissible groups introduced by Croke and Kleiner always admit equivariant hierarchically hyperbolic structures. For non-geometric graph manifolds, this is contrary to a conjecture of Behrstock, Hagen, and Sisto and also contrasts with results about CAT(0) cubical structures on these groups. Perhaps surprisingly, our arguments involve the construction of suitable quasimorphisms on the Seifert pieces, in order to construct actions on quasi-lines.
△ Less
Submitted 10 August, 2023; v1 submitted 24 June, 2022;
originally announced June 2022.
-
Pseudo-Anosov subgroups of general fibered 3-manifold groups
Authors:
Christopher J. Leininger,
Jacob Russell
Abstract:
We show that finitely generated and purely pseudo-Anosov subgroups of fibered 3-manifolds with reducible monodromy are convex cocompact as subgroups of the map** class group via the Birman exact sequence. Combined with results of Dowdall--Kent--Leininger and Kent--Leininger--Schleimer, this establishes the result for the image of all such fibered 3-manifold groups in the map** class group.
We show that finitely generated and purely pseudo-Anosov subgroups of fibered 3-manifolds with reducible monodromy are convex cocompact as subgroups of the map** class group via the Birman exact sequence. Combined with results of Dowdall--Kent--Leininger and Kent--Leininger--Schleimer, this establishes the result for the image of all such fibered 3-manifold groups in the map** class group.
△ Less
Submitted 3 April, 2023; v1 submitted 8 April, 2022;
originally announced April 2022.
-
Extensions of multicurve stabilizers are hierarchically hyperbolic
Authors:
Jacob Russell
Abstract:
For a closed and orientable surface of genus at least 2, we prove the surface group extensions of the stabilizers of multicurves are hierarchically hyperbolic groups. This answers a question of Durham, Dowdall, Leininger, and Sisto. We also include an appendix that employs work of Charney, Cordes, and Sisto to characterize the Morse boundaries of hierarchically hyperbolic groups whose largest acyl…
▽ More
For a closed and orientable surface of genus at least 2, we prove the surface group extensions of the stabilizers of multicurves are hierarchically hyperbolic groups. This answers a question of Durham, Dowdall, Leininger, and Sisto. We also include an appendix that employs work of Charney, Cordes, and Sisto to characterize the Morse boundaries of hierarchically hyperbolic groups whose largest acylindrical action on a hyperbolic space is on a quasi-tree.
△ Less
Submitted 29 July, 2021;
originally announced July 2021.
-
Thickness and relative hyperbolicity for graphs of multicurves
Authors:
Jacob Russell,
Kate M. Vokes
Abstract:
We prove that any graph of multicurves satisfying certain natural properties is either hyperbolic, relatively hyperbolic, or thick. Further, this geometric characterization is determined by the set of subsurfaces that intersect every vertex of the graph. This extends previously established results for the pants graph and the separating curve graph to a broad family of graphs associated to surfaces…
▽ More
We prove that any graph of multicurves satisfying certain natural properties is either hyperbolic, relatively hyperbolic, or thick. Further, this geometric characterization is determined by the set of subsurfaces that intersect every vertex of the graph. This extends previously established results for the pants graph and the separating curve graph to a broad family of graphs associated to surfaces.
△ Less
Submitted 21 September, 2022; v1 submitted 13 October, 2020;
originally announced October 2020.
-
Analysis and Simulation of a Novel Run-and-Tumble Model with Autochemotaxis
Authors:
Nicholas J. Russell,
Louis F. Rossi
Abstract:
We model, analyze, and simulate a novel run-and-tumble model with autochemotaxis, biologically inspired by the phytoplankton Heterosigma akashiwo. Develo** a fundamental understanding of planktonic movements and interactions through phototaxis and chemotaxis is vital to comprehending why harmful algal blooms (HABs) start to form and how they can be prevented. We develop a one- and two-dimensiona…
▽ More
We model, analyze, and simulate a novel run-and-tumble model with autochemotaxis, biologically inspired by the phytoplankton Heterosigma akashiwo. Develo** a fundamental understanding of planktonic movements and interactions through phototaxis and chemotaxis is vital to comprehending why harmful algal blooms (HABs) start to form and how they can be prevented. We develop a one- and two-dimensional mathematical and computational model reflecting the movement of an ecology of plankton, incorporating both run-and-tumble motion and autochemotaxis. We present a succession of complex and biologically meaningful models combined with a sequence of laboratory and computational experiments that inform the ideas underlying the model. By analyzing the dynamics and pattern formation which are similar to experimental observations, we identify parameters that are significant in plankton's pattern formation in the absence of bulk fluid flow. We find that the precise form of chemical deposition and plankton sensitivity to small chemical gradients are crucial parameters that drive nonlinear pattern formation in the plankton density.
△ Less
Submitted 3 February, 2021; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Regularity of Morse geodesics and growth of stable subgroups
Authors:
Matthew Cordes,
Jacob Russell,
Davide Spriano,
Abdul Zalloum
Abstract:
We prove that Morse local-to-global groups grow exponentially faster than their infinite index stable subgroups. This generalizes a result of Dahmani, Futer, and Wise in the context of quasi-convex subgroups of hyperbolic groups to a broad class of groups that contains the map** class group, CAT(0) groups, and the fundamental groups of closed 3-manifolds. To accomplish this, we develop a theory…
▽ More
We prove that Morse local-to-global groups grow exponentially faster than their infinite index stable subgroups. This generalizes a result of Dahmani, Futer, and Wise in the context of quasi-convex subgroups of hyperbolic groups to a broad class of groups that contains the map** class group, CAT(0) groups, and the fundamental groups of closed 3-manifolds. To accomplish this, we develop a theory of automatic structures on Morse geodesics in Morse local-to-global groups. Other applications of these automatic structures include a description of stable subgroups in terms of regular languages, rationality of the growth of stable subgroups, density in the Morse boundary of the attracting fixed points of Morse elements, and containment of the Morse boundary inside the limit set of any infinite normal subgroup.
△ Less
Submitted 21 March, 2022; v1 submitted 14 August, 2020;
originally announced August 2020.
-
Hierarchical hyperbolicity of graph products
Authors:
Daniel Berlyne,
Jacob Russell
Abstract:
We show that any graph product of finitely generated groups is hierarchically hyperbolic relative to its vertex groups. We apply this result to answer two questions of Behrstock, Hagen, and Sisto: we show that the syllable metric on any graph product forms a hierarchically hyperbolic space, and that graph products of hierarchically hyperbolic groups are themselves hierarchically hyperbolic groups.…
▽ More
We show that any graph product of finitely generated groups is hierarchically hyperbolic relative to its vertex groups. We apply this result to answer two questions of Behrstock, Hagen, and Sisto: we show that the syllable metric on any graph product forms a hierarchically hyperbolic space, and that graph products of hierarchically hyperbolic groups are themselves hierarchically hyperbolic groups. This last result is a strengthening of a result of Berlai and Robbio by removing the need for extra hypotheses on the vertex groups. We also answer two questions of Genevois about the geometry of the electrification of a graph product of finite groups.
△ Less
Submitted 13 September, 2022; v1 submitted 4 June, 2020;
originally announced June 2020.
-
The (non)-relative hyperbolicity of the separating curve graph
Authors:
Jacob Russell,
Kate M. Vokes
Abstract:
We prove that the separating curve graph of a connected, compact, orientable surface with genus at least 3 and a single boundary component is not relatively hyperbolic. This completes the classification of when the separating curve graph is hyperbolic and relatively hyperbolic initiated by previous works of the authors.
We prove that the separating curve graph of a connected, compact, orientable surface with genus at least 3 and a single boundary component is not relatively hyperbolic. This completes the classification of when the separating curve graph is hyperbolic and relatively hyperbolic initiated by previous works of the authors.
△ Less
Submitted 2 October, 2019;
originally announced October 2019.
-
The local-to-global property for Morse quasi-geodesics
Authors:
Jacob Russell,
Davide Spriano,
Hung Cong Tran
Abstract:
We show the map** class group, CAT(0) groups, the fundamental groups of closed 3-manifolds, and certain relatively hyperbolic groups have a local-to-global property for Morse quasi-geodesics. This allows us to generalize combination theorems of Gitik for quasiconvex subgroups of hyperbolic groups to the stable subgroups of these groups. In the case of the map** class group, this gives combinat…
▽ More
We show the map** class group, CAT(0) groups, the fundamental groups of closed 3-manifolds, and certain relatively hyperbolic groups have a local-to-global property for Morse quasi-geodesics. This allows us to generalize combination theorems of Gitik for quasiconvex subgroups of hyperbolic groups to the stable subgroups of these groups. In the case of the map** class group, this gives combination theorems for convex cocompact subgroups. We show a number of additional consequences of this local-to-global property, including a Cartan-Hadamard type theorem for detecting hyperbolicity locally and discreteness of translation length of conjugacy classes of Morse elements with a fixed gauge. To prove the relatively hyperbolic case, we develop a theory of deep points for local quasi-geodesics in relatively hyperbolic spaces, extending work of Hruska.
△ Less
Submitted 3 August, 2021; v1 submitted 29 August, 2019;
originally announced August 2019.
-
From Hierarchical to Relative Hyperbolicity
Authors:
Jacob Russell
Abstract:
We provide a simple, combinatorial criteria for a hierarchically hyperbolic space to be relatively hyperbolic by proving a new formulation of relative hyperbolicity in terms of hierarchy structures. In the case of clean hierarchically hyperbolic groups, this criteria characterizes relative hyperbolicity. We apply our criteria to graphs associated to surfaces and prove that the separating curve gra…
▽ More
We provide a simple, combinatorial criteria for a hierarchically hyperbolic space to be relatively hyperbolic by proving a new formulation of relative hyperbolicity in terms of hierarchy structures. In the case of clean hierarchically hyperbolic groups, this criteria characterizes relative hyperbolicity. We apply our criteria to graphs associated to surfaces and prove that the separating curve graph of a surface is relatively hyperbolic when the surface has zero or two punctures. We also recover a celebrated theorem of Brock and Masur on the relative hyperbolicity of the Weil-Petersson metric on Teichmuller space for surfaces with complexity three.
△ Less
Submitted 14 July, 2020; v1 submitted 29 May, 2019;
originally announced May 2019.
-
Stable cycling in quasi-linkage equilibrium: fluctuating dynamics under gene conversion and selection
Authors:
Timothy W. Russell,
Matthew J. Russell,
Francisco Úbeda,
Vincent A. A. Jansen
Abstract:
Genetic systems with multiple loci can have complex dynamics. For example, mean fitness need not always increase and stable cycling is possible. Here, we study the dynamics of a genetic system inspired by the molecular biology of recognition-dependent double strand breaks and repair as it happens in recombination hotspots. The model shows slow-fast dynamics in which the system converges to the qua…
▽ More
Genetic systems with multiple loci can have complex dynamics. For example, mean fitness need not always increase and stable cycling is possible. Here, we study the dynamics of a genetic system inspired by the molecular biology of recognition-dependent double strand breaks and repair as it happens in recombination hotspots. The model shows slow-fast dynamics in which the system converges to the quasi-linkage equilibrium (QLE) manifold. On this manifold, sustained cycling is possible as the dynamics approach a heteroclinic cycle, in which allele frequencies alternate between near extinction and near fixation. We find a closed-form approximation for the QLE manifold and use it to simplify the model. For the simplified model, we can analytically calculate the stability of the heteroclinic cycle. In the discrete-time model the cycle is always stable; in a continuous-time approximation, the cycle is always unstable. This demonstrates that complex dynamics are possible under quasi-linkage equilibrium.
△ Less
Submitted 9 May, 2019;
originally announced May 2019.
-
Convexity in hierarchically hyperbolic spaces
Authors:
Jacob Russell,
Davide Spriano,
Hung Cong Tran
Abstract:
Hierarchically hyperbolic spaces (HHSs) are a large class of spaces that provide a unified framework for studying the map** class group, right-angled Artin and Coxeter groups, and many 3--manifold groups. We investigate strongly quasiconvex subsets in this class and characterize them in terms of their contracting properties, relative divergence, the coarse median structure, and the hierarchical…
▽ More
Hierarchically hyperbolic spaces (HHSs) are a large class of spaces that provide a unified framework for studying the map** class group, right-angled Artin and Coxeter groups, and many 3--manifold groups. We investigate strongly quasiconvex subsets in this class and characterize them in terms of their contracting properties, relative divergence, the coarse median structure, and the hierarchical structure itself. Along the way, we obtain new tools to study HHSs, including two new equivalent definitions of hierarchical quasiconvexity and a version of the bounded geodesic image property for strongly quasconvex subsets. Utilizing our characterization, we prove that the hyperbolically embedded subgroups of hierarchically hyperbolic groups are precisely those which are almost malnormal and strongly quasiconvex, producing a new result in the case of the map** class group. We also apply our characterization to study strongly quasiconvex subsets in several specific examples of HHSs. We show that while many commonly studied HHSs have the property that that every strongly quasiconvex subset is either hyperbolic or coarsely covers the entire space, right-angled Coxeter groups exhibit a wide variety of strongly quasiconvex subsets.
△ Less
Submitted 17 June, 2021; v1 submitted 24 September, 2018;
originally announced September 2018.
-
Hierarchically hyperbolic groups are determined by their Morse boundaries
Authors:
Sarah C. Mousley,
Jacob Russell
Abstract:
We generalize a result of Paulin on the Gromov boundary of hyperbolic groups to the Morse boundary of proper, maximal hierarchically hyperbolic spaces admitting cocompact group actions by isometries. Namely we show that if the Morse boundaries of two such spaces each contain at least three points, then the spaces are quasi-isometric if and only if there exists a 2-stable, quasi-möbius homeomorphis…
▽ More
We generalize a result of Paulin on the Gromov boundary of hyperbolic groups to the Morse boundary of proper, maximal hierarchically hyperbolic spaces admitting cocompact group actions by isometries. Namely we show that if the Morse boundaries of two such spaces each contain at least three points, then the spaces are quasi-isometric if and only if there exists a 2-stable, quasi-möbius homeomorphism between their Morse boundaries. Our result extends a recent result of Charney-Murray, who prove such a classification for CAT(0) groups, and is new for map** class groups and the fundamental groups of $3$-manifolds without Nil or Sol components.
△ Less
Submitted 15 January, 2018;
originally announced January 2018.
-
Largest acylindrical actions and stability in hierarchically hyperbolic groups
Authors:
Carolyn Abbott,
Jason Behrstock,
Daniel Berlyne,
Matthew Gentry Durham,
Jacob Russell
Abstract:
We consider two manifestations of non-positive curvature: acylindrical actions on hyperbolic spaces and quasigeodesic stability. We study these properties for the class of hierarchically hyperbolic groups, which is a general framework for studying many important families of groups, including map** class groups, right-angled Coxeter and Artin groups, most 3-manifold groups, and many others. A gro…
▽ More
We consider two manifestations of non-positive curvature: acylindrical actions on hyperbolic spaces and quasigeodesic stability. We study these properties for the class of hierarchically hyperbolic groups, which is a general framework for studying many important families of groups, including map** class groups, right-angled Coxeter and Artin groups, most 3-manifold groups, and many others. A group that admits an acylindrical action on a hyperbolic space may admit many such actions on different hyperbolic spaces, so it is natural to search for a "best" one. The set of all cobounded acylindrical actions on hyperbolic spaces admits a natural poset structure; in this paper we prove that all hierarchically hyperbolic groups admit a unique action which is the largest in this poset. The action we construct is also universal in the sense that every element which acts loxodromically in some acylindrical action on a hyperbolic space does so in this one. Special cases of this result are themselves new and interesting. For instance, this is the first proof that right-angled Coxeter groups admit universal acylindrical actions. The notion of quasigeodesic stability of subgroups provides a natural analogue of quasiconvexity outside the context of hyperbolic groups. We provide a complete classification of stable subgroups of hierarchically hyperbolic groups, generalizing and extending results that are known for map** class groups and right-angled Artin groups. We also provide a characterization of contracting quasigeodesics; interestingly, in this generality the proof is much simpler than in the special cases where it was already known. In the appendix, it is verified that any space satisfying the a priori weaker property of being an "almost hierarchically hyperbolic space" is actually a hierarchically hyperbolic space. The results of the appendix are used to streamline the proofs in the main text.
△ Less
Submitted 4 August, 2020; v1 submitted 17 May, 2017;
originally announced May 2017.
-
Injective stabilization of additive functors. III. Asymptotic stabilization of the tensor product
Authors:
Alex Martsinkovsky,
Jeremy Russell
Abstract:
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…
▽ More
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
△ Less
Submitted 4 September, 2020; v1 submitted 1 January, 2017;
originally announced January 2017.
-
Injective stabilization of additive functors. II. (Co)torsion and the Auslander-Gruson-Jensen functor
Authors:
Alex Martsinkovsky,
Jeremy Russell
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 30 November, 2019; v1 submitted 31 December, 2016;
originally announced January 2017.
-
Injective stabilization of additive functors. I. Preliminaries
Authors:
Alex Martsinkovsky,
Jeremy Russell
Abstract:
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 est…
▽ More
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.
△ Less
Submitted 9 September, 2018; v1 submitted 31 December, 2016;
originally announced January 2017.
-
Derived Recollements and Generalised AR Formulas
Authors:
Samuel Dean,
Jeremy Russell
Abstract:
The Defect Recollement, Restriction Recollement, Auslander-Gruson-Jensen Recollement, and others, are shown to be instances of a general construction using derived functors and methods from stable module theory. The right derived functors $\textsf{W}_k:=R_k(\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )^*$ are computed and it is shown that the functor…
▽ More
The Defect Recollement, Restriction Recollement, Auslander-Gruson-Jensen Recollement, and others, are shown to be instances of a general construction using derived functors and methods from stable module theory. The right derived functors $\textsf{W}_k:=R_k(\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )^*$ are computed and it is shown that the functor $\textsf{W}_2:=R_2(\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )^*$ is right exact and restricts to a duality $\textsf{W}$ of the defect zero functors. The duality $\textsf{W}$ satisfies two identities which we call the Generalised Auslander-Reiten formulas. We show that $\textsf{W}$ restricts to the generalised Auslander-Bridger transpose and show that the Generalised Auslander-Reiten formulas reduce to the well-known Auslander-Reiten formulas.
△ Less
Submitted 17 December, 2016; v1 submitted 5 December, 2016;
originally announced December 2016.
-
The Auslander-Gruson-Jensen Recollement
Authors:
Jeremy Russell,
Samuel Dean
Abstract:
For any ring $R$, the Auslander-Gruson-Jensen functor is the exact contravariant functor $$\textsf{D}_A:\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})\longrightarrow(\textsf{mod}(R^{op}),\textsf{Ab})$$ sending representable functors $(X,\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )$ to tensor functors $X\otimes\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} $. We show that this functor admits a fully fa…
▽ More
For any ring $R$, the Auslander-Gruson-Jensen functor is the exact contravariant functor $$\textsf{D}_A:\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})\longrightarrow(\textsf{mod}(R^{op}),\textsf{Ab})$$ sending representable functors $(X,\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )$ to tensor functors $X\otimes\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} $. We show that this functor admits a fully faithful left adjoint $\textsf{D}_L$ and a fully faithful right adjoint $\textsf{D}_R$. The left adjoint $$\textsf{D}_L\:(\textsf{mod}(R^{op}),\textsf{Ab})\longrightarrow \textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$$ induces an equivalence of categories $$\frac{\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})}{\{F\ |\ \textsf{D}_A F=0\}}\cong(\textsf{mod}(R^{op}),\textsf{Ab})^{op}$$ where $\{F \ |\ \textsf{D}_A F=0\}$ is the Serre subcategory of $\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$ consisting of all functors $F$ arising from pure exact sequences. As a result, the functor $\textsf{D}_A$ is seen to be a Serre localization functor. The right adjoint $$\textsf{D}_R:(\textsf{mod}(R^{op}),\textsf{Ab})\longrightarrow \textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$$ together with $\textsf{D}_A$ restricts to the well known Auslander-Gruson-Jensen duality.
△ Less
Submitted 23 February, 2024; v1 submitted 13 June, 2016;
originally announced June 2016.
-
Horizontal Linkage of Coherent Functors
Authors:
Jeremy Russell
Abstract:
The satellite endofunctors are used to extend the definition of linkage of ideals to the linkage of totally finitely presented functors. The new notion for linkage works over a larger class of rings and is consistent with the functorial approach of encoding information about modules into the category of finitely presented functors. In the process of extending linkage, we recover the Auslander-Grus…
▽ More
The satellite endofunctors are used to extend the definition of linkage of ideals to the linkage of totally finitely presented functors. The new notion for linkage works over a larger class of rings and is consistent with the functorial approach of encoding information about modules into the category of finitely presented functors. In the process of extending linkage, we recover the Auslander-Gruson-Jensen duality using injective resolutions of finitely presented functors. Using the satellite endofunctors we give general definitions of derived functors which do not require the existence of projective or injective objects. A general formula for calculating the defect of a totally finitely presented functor is given.
△ Less
Submitted 12 October, 2015; v1 submitted 5 May, 2015;
originally announced May 2015.
-
Applications of the Defect of a Finitely Presented Functor
Authors:
Jeremy Russell
Abstract:
For an abelian category $\mathcal{A}$, the defect sequence $$0\longrightarrow F_0\longrightarrow F\overset{\varphi}{\longrightarrow} \big(w(F),\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} \big)\longrightarrow F_1\longrightarrow 0$$ of a finitely presented functor is used to establish the CoYoneda Lemma. An application of this result is the $\textsf{fp}$-dual formula which states that for any cova…
▽ More
For an abelian category $\mathcal{A}$, the defect sequence $$0\longrightarrow F_0\longrightarrow F\overset{\varphi}{\longrightarrow} \big(w(F),\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} \big)\longrightarrow F_1\longrightarrow 0$$ of a finitely presented functor is used to establish the CoYoneda Lemma. An application of this result is the $\textsf{fp}$-dual formula which states that for any covariant finitely presented functor $F$, $F^*\cong \big(\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} , w(F)\big)$. The defect sequence is shown to be isomorphic to both the double dual sequence $$0\longrightarrow \textsf{Ext}^1(\textsf{Tr} F,\textsf{Hom})\longrightarrow F\longrightarrow F^{**}\longrightarrow \textsf{Ext}^2(\textsf{Tr} F,\textsf{Hom})\longrightarrow 0$$ and the injective stabilization sequence $$0\longrightarrow \overline{F}\longrightarrow F\longrightarrow R^0F\longrightarrow \tilde F\longrightarrow 0$$ establishing the $\textsf{fp}$-injective stabilization formula $\overline{F}\cong \textsf{Ext}^1(\textsf{Tr} F,\textsf{Hom})$ for any finitely presented functor $F$. The injectives of $\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$ are used to compute the left derived functors $L^k(\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )^*$. These functors are shown to detect certain short exact sequences.
△ Less
Submitted 1 June, 2016; v1 submitted 31 October, 2012;
originally announced November 2012.
-
Cyclic orders on the quantum grassmannian
Authors:
T H Lenagan,
E J Russell
Abstract:
The quantum grassmannian is known to be a graded quantum algebra with a straightening law when the poset of generating quantum minors is endowed with the standard partial ordering. In this paper it is shown that this result remains true when the ordering is subjected to cyclic shifts. The method involves proving that noncommutative dehomogenisation is possible at any consecutive quantum minor.
The quantum grassmannian is known to be a graded quantum algebra with a straightening law when the poset of generating quantum minors is endowed with the standard partial ordering. In this paper it is shown that this result remains true when the ordering is subjected to cyclic shifts. The method involves proving that noncommutative dehomogenisation is possible at any consecutive quantum minor.
△ Less
Submitted 20 June, 2008;
originally announced June 2008.
