-
Definable functors between triangulated categories with applications to tensor-triangular geometry and representation theory
Authors:
Isaac Bird,
Jordan Williamson
Abstract:
We systematically develop, study, and give applications of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range of algebraic and topological settings. The first part of the paper is predominantly theoretical. Firstly we investigate and characterise purit…
▽ More
We systematically develop, study, and give applications of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range of algebraic and topological settings. The first part of the paper is predominantly theoretical. Firstly we investigate and characterise purity preserving functors from a triangulated category into a finitely accessible category with products, which we term coherent functors. This yields a new property for the restricted Yoneda embedding as the universal coherent functor.
We build upon the utility of coherent functors to provide several equivalent conditions for an additive, not necessarily triangulated, functor between triangulated categories to be definable: a functor is definable if and only if it preserves filtered homology colimits and products, if and only if it uniquely extends along the restricted Yoneda embedding to a definable functor between the corresponding module categories.
In the second part of the paper we give four detailed applications. The first of these investigates functoriality of the homological spectrum along definable functors. This generalises the work of Balmer to incorporate non-triangulated and non-geometric functors. We then turn our attention to functoriality of the Ziegler spectrum, an object of study in pure homological algebra and representation theory, as well as functoriality of the rank functions introduced by Chuang and Lazarev. Our final application investigates when the homology associated to a t-structure is coherent, and we use this to determine the Ziegler spectrum of injective objects in the Grothendieck hearts of certain t-structures.
△ Less
Submitted 13 October, 2023; v1 submitted 3 October, 2023;
originally announced October 2023.
-
The homological spectrum via definable subcategories
Authors:
Isaac Bird,
Jordan Williamson
Abstract:
We develop an alternative approach to the homological spectrum through the lens of definable subcategories. This culminates in a proof that the homological spectrum is homeomorphic to a quotient of the Ziegler spectrum. Along the way, we characterise injective objects in homological residue fields in terms of the definable subcategory corresponding to a given homological prime. We use these result…
▽ More
We develop an alternative approach to the homological spectrum through the lens of definable subcategories. This culminates in a proof that the homological spectrum is homeomorphic to a quotient of the Ziegler spectrum. Along the way, we characterise injective objects in homological residue fields in terms of the definable subcategory corresponding to a given homological prime. We use these results to give a purity perspective on the relationship between the homological and Balmer spectrum.
△ Less
Submitted 3 October, 2023; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Finitistic dimensions over commutative DG-rings
Authors:
Isaac Bird,
Liran Shaul,
Prashanth Sridhar,
Jordan Williamson
Abstract:
In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module $M$ of finite flat dimension over such a DG-ring satisfies $\mathrm{projdim}_A(M) \leq \mathrm{dim}(\mathrm{H}^0 (A)) - \inf(M)$. We further provide explicit constructions of DG-modules with prescribed projective dimension and deduce that the big finit…
▽ More
In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module $M$ of finite flat dimension over such a DG-ring satisfies $\mathrm{projdim}_A(M) \leq \mathrm{dim}(\mathrm{H}^0 (A)) - \inf(M)$. We further provide explicit constructions of DG-modules with prescribed projective dimension and deduce that the big finitistic projective dimension satisfies the bounds $\mathrm{dim}(\mathrm{H}^0 (A)) - \mathrm{amp}(A) \leq \mathsf{FPD}(A) \leq \mathrm{dim}(\mathrm{H}^0(A))$. Moreover, we prove that DG-rings exist which achieve either bound. As a direct application, we prove new vanishing results for the derived Hochschild (co)homology of homologically smooth algebras.
△ Less
Submitted 25 June, 2024; v1 submitted 14 April, 2022;
originally announced April 2022.
-
Duality pairs, phantom maps, and definability in triangulated categories
Authors:
Isaac Bird,
Jordan Williamson
Abstract:
We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure quotients and pure extensions, as well as providing a way to show the existence of approximations. One key ingredient is a new characterisation of phantom maps. We th…
▽ More
We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure quotients and pure extensions, as well as providing a way to show the existence of approximations. One key ingredient is a new characterisation of phantom maps. We then introduce an axiomatic form of Auslander-Gruson-Jensen duality, from which we define dual definable categories, and show that these coincide with symmetric coproduct closed duality pairs. This framework is ubiquitous, encompassing both algebraic triangulated categories and stable homotopy theories. Accordingly, we provide many applications in both settings, with a particular emphasis on silting theory and stratified tensor-triangulated categories.
△ Less
Submitted 30 November, 2022; v1 submitted 16 February, 2022;
originally announced February 2022.
-
Gravitational Wave Data Analysis: Computing Challenges in the 3G Era
Authors:
Peter Couvares,
Ian Bird,
Ed Porter,
Stefano Bagnasco,
Michele Punturo,
David Reitze,
Stavros Katsanevas,
Takaaki Kajita,
Vicky Kalogera,
Harald Lueck,
David McClelland,
Sheila Rowan,
Gary Sanders,
B. S. Sathyaprakash,
David Shoemaker,
Jo van den Brand
Abstract:
Cyber infrastructure will be a critical consideration in the development of next generation gravitational-wave detectors. The demand for data analysis computing in the 3G era will be driven by the high number of detections as well as the expanded search parameter space for compact astrophysical objects and the subsequent parameter estimation follow-up required to extract the nature of the sources.…
▽ More
Cyber infrastructure will be a critical consideration in the development of next generation gravitational-wave detectors. The demand for data analysis computing in the 3G era will be driven by the high number of detections as well as the expanded search parameter space for compact astrophysical objects and the subsequent parameter estimation follow-up required to extract the nature of the sources. Additionally, there will be an increased need to develop appropriate and scalable computing cyberinfrastructure, including data access and transfer protocols, and storage and management of software tools, that have sustainable development, support, and management processes. This report identifies the major challenges and opportunities facing 3G gravitational-wave observatories and presents recommendations for addressing them.
This report is the fourth in a six part series of reports by the GWIC 3G Subcommittee: i) Expanding the Reach of Gravitational Wave Observatories to the Edge of the Universe, ii) The Next Generation Global Gravitational Wave Observatory: The Science Book, iii) 3G R&D: R&D for the Next Generation of Ground-based Gravitational Wave Detectors, iv) Gravitational Wave Data Analysis: Computing Challenges in the 3G Era (this report), v) Future Ground-based Gravitational-wave Observatories: Synergies with Other Scientific Communities, and vi) An Exploration of Possible Governance Models for the Future Global Gravitational-Wave Observatory Network.
△ Less
Submitted 12 November, 2021;
originally announced November 2021.
-
Purity and ascent for Gorenstein Flat Cotorsion modules
Authors:
Isaac Bird
Abstract:
The extension of scalars functor along a finite ring homomorphism is a classic example of a functor which preserves purity and pure injectivity. We consider how this functor behaves when restricted to the class of Gorenstein flat modules over a right coherent rings, and give particular attention to the Frobenius category of Gorenstein flat and cotorsion modules by showing there is an induced trian…
▽ More
The extension of scalars functor along a finite ring homomorphism is a classic example of a functor which preserves purity and pure injectivity. We consider how this functor behaves when restricted to the class of Gorenstein flat modules over a right coherent rings, and give particular attention to the Frobenius category of Gorenstein flat and cotorsion modules by showing there is an induced triangulated functor on the stable categories. This enables a comparison between pure injectivity for Gorenstein flat modules and pure injectivity in the triangulated categories as well as an investigation in how purity for Gorenstein flat modules is transferred along the homomorphism. Throughout motivating examples from commutative algebra are considered, including over hypersurfaces where a pure injective analogue of Knoerrer periodicity for Gorenstein flat modules is developed.
△ Less
Submitted 18 August, 2021;
originally announced August 2021.
-
ESCAPE -- addressing Open Science challenges
Authors:
Mark G. Allen,
Giovanni Lamanna,
Xavier Espinal,
Kay Graf,
Michiel van Haarlem,
Stephen Serjeant,
Ian Bird,
Elena Cuoco,
Jayesh Wagh
Abstract:
ESCAPE (European Science Cluster of Astronomy & Particle physics ESFRI research infrastructures) is an EU H2020 project that addresses the Open Science challenges shared by the astrophysics and and accelerator-based physics and nuclear physics ESFRI projects and landmarks. This project is embedded in the context of the European Open Science Cloud (EOSC) and involves activities to develop a prototy…
▽ More
ESCAPE (European Science Cluster of Astronomy & Particle physics ESFRI research infrastructures) is an EU H2020 project that addresses the Open Science challenges shared by the astrophysics and and accelerator-based physics and nuclear physics ESFRI projects and landmarks. This project is embedded in the context of the European Open Science Cloud (EOSC) and involves activities to develop a prototype Data Lake and Science Platform, as well as support of an Open Source Software Repository, connection of the Virtual Observatory framework to EOSC, and engaging the public in citizen science. In this poster paper we provide a brief overview of the project and the results presented at ADASS.
△ Less
Submitted 22 December, 2020; v1 submitted 21 December, 2020;
originally announced December 2020.
-
Cotilting with balanced big Cohen-Macaulay modules
Authors:
Isaac Bird
Abstract:
Over $d$-dimensional Cohen-Macaulay rings with a canonical module, $d$-cotilting classes containing the maximal and balanced big Cohen-Macaulay modules are classified. Particular emphasis is paid to the direct limit closure of the balanced big Cohen-Macaulay modules, and the class of modules of depth $d$, which are shown to respectively be the smallest and largest such cotilting classes. Considera…
▽ More
Over $d$-dimensional Cohen-Macaulay rings with a canonical module, $d$-cotilting classes containing the maximal and balanced big Cohen-Macaulay modules are classified. Particular emphasis is paid to the direct limit closure of the balanced big Cohen-Macaulay modules, and the class of modules of depth $d$, which are shown to respectively be the smallest and largest such cotilting classes. Considerations are then given to the interplay between local cohomology, canonical duality and cotilting modules for the class of Gorenstein flat modules over Gorenstein local rings.
△ Less
Submitted 30 January, 2024; v1 submitted 12 July, 2019;
originally announced July 2019.
-
Two definable subcategories of maximal Cohen-Macaulay modules
Authors:
Isaac Bird
Abstract:
Over a Cohen-Macaulay ring we consider two extensions of the maximal Cohen-Macaulay modules from the viewpoint of definable subcategories, which are closed under direct limits, direct products and pure submodules. After describing these categories, we compare them and consider which properties they inherit from the maximal Cohen-Macaulay modules. We then consider some further properties of these c…
▽ More
Over a Cohen-Macaulay ring we consider two extensions of the maximal Cohen-Macaulay modules from the viewpoint of definable subcategories, which are closed under direct limits, direct products and pure submodules. After describing these categories, we compare them and consider which properties they inherit from the maximal Cohen-Macaulay modules. We then consider some further properties of these classes and how they interact with the entire module category.
△ Less
Submitted 12 November, 2019; v1 submitted 18 April, 2019;
originally announced April 2019.
-
HEP Software Foundation Community White Paper Working Group -- Data Organization, Management and Access (DOMA)
Authors:
Dario Berzano,
Riccardo Maria Bianchi,
Ian Bird,
Brian Bockelman,
Simone Campana,
Kaushik De,
Dirk Duellmann,
Peter Elmer,
Robert Gardner,
Vincent Garonne,
Claudio Grandi,
Oliver Gutsche,
Andrew Hanushevsky,
Burt Holzman,
Bodhitha Jayatilaka,
Ivo Jimenez,
Michel Jouvin,
Oliver Keeble,
Alexei Klimentov,
Valentin Kuznetsov,
Eric Lancon,
Mario Lassnig,
Miron Livny,
Carlos Maltzahn,
Shawn McKee
, et al. (13 additional authors not shown)
Abstract:
Without significant changes to data organization, management, and access (DOMA), HEP experiments will find scientific output limited by how fast data can be accessed and digested by computational resources. In this white paper we discuss challenges in DOMA that HEP experiments, such as the HL-LHC, will face as well as potential ways to address them. A research and development timeline to assess th…
▽ More
Without significant changes to data organization, management, and access (DOMA), HEP experiments will find scientific output limited by how fast data can be accessed and digested by computational resources. In this white paper we discuss challenges in DOMA that HEP experiments, such as the HL-LHC, will face as well as potential ways to address them. A research and development timeline to assess these changes is also proposed.
△ Less
Submitted 30 November, 2018;
originally announced December 2018.
-
A Roadmap for HEP Software and Computing R&D for the 2020s
Authors:
Johannes Albrecht,
Antonio Augusto Alves Jr,
Guilherme Amadio,
Giuseppe Andronico,
Nguyen Anh-Ky,
Laurent Aphecetche,
John Apostolakis,
Makoto Asai,
Luca Atzori,
Marian Babik,
Giuseppe Bagliesi,
Marilena Bandieramonte,
Sunanda Banerjee,
Martin Barisits,
Lothar A. T. Bauerdick,
Stefano Belforte,
Douglas Benjamin,
Catrin Bernius,
Wahid Bhimji,
Riccardo Maria Bianchi,
Ian Bird,
Catherine Biscarat,
Jakob Blomer,
Kenneth Bloom,
Tommaso Boccali
, et al. (285 additional authors not shown)
Abstract:
Particle physics has an ambitious and broad experimental programme for the coming decades. This programme requires large investments in detector hardware, either to build new facilities and experiments, or to upgrade existing ones. Similarly, it requires commensurate investment in the R&D of software to acquire, manage, process, and analyse the shear amounts of data to be recorded. In planning for…
▽ More
Particle physics has an ambitious and broad experimental programme for the coming decades. This programme requires large investments in detector hardware, either to build new facilities and experiments, or to upgrade existing ones. Similarly, it requires commensurate investment in the R&D of software to acquire, manage, process, and analyse the shear amounts of data to be recorded. In planning for the HL-LHC in particular, it is critical that all of the collaborating stakeholders agree on the software goals and priorities, and that the efforts complement each other. In this spirit, this white paper describes the R&D activities required to prepare for this software upgrade.
△ Less
Submitted 19 December, 2018; v1 submitted 18 December, 2017;
originally announced December 2017.
-
Delivering SKA Science
Authors:
Peter Quinn,
Tim Axelrod,
Ian Bird,
Richard Dodson,
Alex Szalay,
Andreas Wicenec
Abstract:
The SKA will be capable of producing a stream of science data products that are Exa-scale in terms of their storage and processing requirements. This Google-scale enterprise is attracting considerable international interest and excitement from within the industrial and academic communities. In this chapter we examine the data flow, storage and processing requirements of a number of key SKA survey…
▽ More
The SKA will be capable of producing a stream of science data products that are Exa-scale in terms of their storage and processing requirements. This Google-scale enterprise is attracting considerable international interest and excitement from within the industrial and academic communities. In this chapter we examine the data flow, storage and processing requirements of a number of key SKA survey science projects to be executed on the baseline SKA1 configuration. Based on a set of conservative assumptions about trends for HPC and storage costs, and the data flow process within the SKA Observatory, it is apparent that survey projects of the scale proposed will potentially drive construction and operations costs beyond the current anticipated SKA1 budget. This implies a sharing of the resources and costs to deliver SKA science between the community and what is contained within the SKA Observatory. A similar situation was apparent to the designers of the LHC more than 10 years ago. We propose that it is time for the SKA project and community to consider the effort and process needed to design and implement a distributed SKA science data system that leans on the lessons of other projects and looks to recent developments in Cloud technologies to ensure an affordable, effective and global achievement of SKA science goals.
△ Less
Submitted 21 January, 2015;
originally announced January 2015.
-
The Structure Function Ratios F2(Li)/F2(D) and F2(C)/F2(D) at small x
Authors:
THE NEW MUON COLLABORATION,
M. Arneodo,
A. Arvidson,
B. Badelek,
M. Ballintijn,
G. Baum,
J. Beaufays,
I. G. Bird,
P. Bjorkholm,
M. Botje,
C. Broggini,
W. Bruckner,
A. Brull,
W. J. Burger,
J. Ciborowski,
R. van~Dantzig,
A. Dyring,
H. Engelien,
M. I. Ferrero,
L. Fluri,
U. Gaul,
T. Granier,
M. Grosse-Perdekamp,
D. von~Harrach,
M. van~der~Heijden
, et al. (49 additional authors not shown)
Abstract:
We present the structure function ratios F2(Li)/F2(D) and F2(C)/F2(D) measured in deep inelastic muon-nucleus scattering at a nominal incident muon energy of 200 GeV. The kinematic range 0.0001 < x < 0.7 and 0.01< Q^2 < 70 GeV^2 is covered. For values of $x$ less than $0.002$ both ratios indicate saturation of shadowing at values compatible with photoabsorption results.
We present the structure function ratios F2(Li)/F2(D) and F2(C)/F2(D) measured in deep inelastic muon-nucleus scattering at a nominal incident muon energy of 200 GeV. The kinematic range 0.0001 < x < 0.7 and 0.01< Q^2 < 70 GeV^2 is covered. For values of $x$ less than $0.002$ both ratios indicate saturation of shadowing at values compatible with photoabsorption results.
△ Less
Submitted 3 April, 1995;
originally announced April 1995.