Showing 1–20 of 20 results for author: Gallauer, M

The spectrum of Artin motives

Authors: Paul Balmer, Martin Gallauer

Abstract: We analyze the tt-geometry of derived Artin motives, via modular representation theory of profinite groups. To illustrate our methods, we discuss Artin motives over a finite field, in which case we also prove stratification. We analyze the tt-geometry of derived Artin motives, via modular representation theory of profinite groups. To illustrate our methods, we discuss Artin motives over a finite field, in which case we also prove stratification. △ Less

Submitted 5 January, 2024; originally announced January 2024.

Comments: 20 pages

The tt-geometry of permutation modules. Part II: Twisted cohomology

Authors: Paul Balmer, Martin Gallauer

Abstract: We continue our analysis of the derived category of permutation modules over a finite group. In arXiv:2210.08311 we identified the spectrum of this tensor-triangulated category as a set. Here we describe its topology, by reducing the problem to elementary abelian groups and then using a twisted form of cohomology to realize the spectrum as a Dirac scheme. We continue our analysis of the derived category of permutation modules over a finite group. In arXiv:2210.08311 we identified the spectrum of this tensor-triangulated category as a set. Here we describe its topology, by reducing the problem to elementary abelian groups and then using a twisted form of cohomology to realize the spectrum as a Dirac scheme. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: 38 pages

Report number: HIM-Spectral-2022

Motivic monodromy and p-adic cohomology theories

Authors: Federico Binda, Martin Gallauer, Alberto Vezzani

Abstract: We build a unified framework for the study of monodromy operators and weight filtrations of cohomology theories for varieties over a local field. As an application, we give a streamlined definition of Hyodo-Kato cohomology without recourse to log-geometry, as predicted by Fontaine, and we produce an induced Clemens-Schmid chain complex. We build a unified framework for the study of monodromy operators and weight filtrations of cohomology theories for varieties over a local field. As an application, we give a streamlined definition of Hyodo-Kato cohomology without recourse to log-geometry, as predicted by Fontaine, and we produce an induced Clemens-Schmid chain complex. △ Less

Submitted 8 June, 2023; originally announced June 2023.

Comments: 47 pages

Report number: HIM-Spectral-2022

Exponentiation of coefficient systems and exponential motives

Authors: Martin Gallauer, Simon Pepin Lehalleur

Abstract: We construct new six-functor formalisms capturing cohomological invariants of varieties with potentials. Starting from any six-functor formalism $C$, encoded as a coefficient system, we associate a new six-functor formalism $C_{\text{exp}}$. This requires in particular constructing the convolution product symmetric monoidal structure at the $\infty$-categorical level. We study $C_{\text{exp}}$ and… ▽ More We construct new six-functor formalisms capturing cohomological invariants of varieties with potentials. Starting from any six-functor formalism $C$, encoded as a coefficient system, we associate a new six-functor formalism $C_{\text{exp}}$. This requires in particular constructing the convolution product symmetric monoidal structure at the $\infty$-categorical level. We study $C_{\text{exp}}$ and how it relates to $C$. We also define motives in $C_{\text{exp}}$ attached to varieties with potential and study their properties. △ Less

Submitted 30 November, 2022; originally announced November 2022.

Comments: 50 pages; preliminary version subject to change

Report number: MPIM-Bonn-2022

The tt-geometry of permutation modules. Part I: Stratification

Authors: Paul Balmer, Martin Gallauer

Abstract: We consider the derived category of permutation modules over a finite group, in positive characteristic. We stratify this tensor triangulated category using Brauer quotients. We describe the set underlying the tt-spectrum of compact objects, and discuss several examples. We consider the derived category of permutation modules over a finite group, in positive characteristic. We stratify this tensor triangulated category using Brauer quotients. We describe the set underlying the tt-spectrum of compact objects, and discuss several examples. △ Less

Submitted 15 October, 2022; originally announced October 2022.

Comments: 34 pages

Report number: HIM-Spectral-2022, MPIM-Bonn-2022 MSC Class: 18F99; 20C20; 20J06; 18G80

An introduction to six-functor formalisms

Authors: Martin Gallauer

Abstract: These are notes for a mini-course given at the summer school and conference "The Six-Functor Formalism and Motivic Homotopy Theory" in Milan 9/2021. They provide an introduction to the formalism of Grothendieck's six operations in algebraic geometry and end with an excursion to rigid-analytic motives. The notes do not correspond precisely to the lectures delivered but provide a more self-contained… ▽ More These are notes for a mini-course given at the summer school and conference "The Six-Functor Formalism and Motivic Homotopy Theory" in Milan 9/2021. They provide an introduction to the formalism of Grothendieck's six operations in algebraic geometry and end with an excursion to rigid-analytic motives. The notes do not correspond precisely to the lectures delivered but provide a more self-contained account for the benefit of the audience and others. No originality is claimed. △ Less

Submitted 20 December, 2021; originally announced December 2021.

Comments: 42 pages

Report number: MPIM-Bonn-2021

Permutation modules, Mackey functors, and Artin motives

Authors: Paul Balmer, Martin Gallauer

Abstract: We explain in detail the connections between the three concepts in the title, and we discuss how the `big' derived category of permutation modules introduced in arXiv:2009.14093 fits into the picture. We explain in detail the connections between the three concepts in the title, and we discuss how the `big' derived category of permutation modules introduced in arXiv:2009.14093 fits into the picture. △ Less

Submitted 25 July, 2021; originally announced July 2021.

Comments: 30 pages

Supports for constructible systems

Authors: Martin Gallauer

Abstract: We develop a `universal' support theory for derived categories of constructible (analytic or étale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated structure and discuss the question of monoidal topological reconstruction of algebraic varieties. We develop a `universal' support theory for derived categories of constructible (analytic or étale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated structure and discuss the question of monoidal topological reconstruction of algebraic varieties. △ Less

Submitted 15 October, 2022; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 31 pages; v2: many small improvements following referee report; published version

The six-functor formalism for rigid analytic motives

Authors: Joseph Ayoub, Martin Gallauer, Alberto Vezzani

Abstract: We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the case of algebraic motives. In fact, more generally, we develop a powerful technique for reducing questions about rigid analytic motives to questions about algeb… ▽ More We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the case of algebraic motives. In fact, more generally, we develop a powerful technique for reducing questions about rigid analytic motives to questions about algebraic motives, which is likely to be useful in other contexts as well. We pay special attention to establishing our results without noetherianity assumptions on rigid analytic spaces. This is indeed possible using Raynaud's approach to rigid analytic geometry. △ Less

Submitted 8 August, 2022; v1 submitted 28 October, 2020; originally announced October 2020.

Comments: 190 pages. Minor changes

Journal ref: Forum of Mathematics, Sigma, 10, E61 (2022)

Permutation modules and cohomological singularity

Authors: Paul Balmer, Martin Gallauer

Abstract: We define a new invariant of finitely generated representations of a finite group, with coefficients in a commutative noetherian ring. This invariant uses group cohomology and takes values in the singularity category of the coefficient ring. It detects which representations are controlled by permutation modules. We define a new invariant of finitely generated representations of a finite group, with coefficients in a commutative noetherian ring. This invariant uses group cohomology and takes values in the singularity category of the coefficient ring. It detects which representations are controlled by permutation modules. △ Less

Submitted 31 March, 2022; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 14 pages; v2: new introduction, shorter discussion of `big' triangulated categories; v3: minor changes before publication

Finite permutation resolutions

Authors: Paul Balmer, Martin Gallauer

Abstract: We prove that every finite dimensional representation of a finite group over a field of characteristic p admits a finite resolution by p-permutation modules. The proof involves a reformulation in terms of derived categories. We prove that every finite dimensional representation of a finite group over a field of characteristic p admits a finite resolution by p-permutation modules. The proof involves a reformulation in terms of derived categories. △ Less

Submitted 31 January, 2022; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 24 pages; v2: minor changes before publication

The universal six-functor formalism

Authors: Brad Drew, Martin Gallauer

Abstract: We prove that Morel-Voevodsky's stable $\mathbb{A}^1$-homotopy theory affords the universal coefficient system, giving rise to Grothendieck's six operations. We prove that Morel-Voevodsky's stable $\mathbb{A}^1$-homotopy theory affords the universal coefficient system, giving rise to Grothendieck's six operations. △ Less

Submitted 7 August, 2023; v1 submitted 28 September, 2020; originally announced September 2020.

Comments: 50 pages; v2: new introduction, other minor changes; v3: accepted version; v4: corrects a small mistake in published version

Journal ref: Ann. K-Th. 7 (2022) 599-649

Statistical mechanics of kinks on a gliding screw dislocation

Authors: M. Boleininger, M. Gallauer, S. L. Dudarev, T. D. Swinburne, D. R. Mason, D. Perez

Abstract: The ability of a body-centered cubic metal to deform plastically is limited by the thermally activated glide motion of screw dislocations, which are line defects with a mobility exhibiting complex dependence on temperature, stress, and dislocation segment length. We derive an analytical expression for the velocity of dislocation glide, based on a statistical mechanics argument, and identify an app… ▽ More The ability of a body-centered cubic metal to deform plastically is limited by the thermally activated glide motion of screw dislocations, which are line defects with a mobility exhibiting complex dependence on temperature, stress, and dislocation segment length. We derive an analytical expression for the velocity of dislocation glide, based on a statistical mechanics argument, and identify an apparent phase transition marked by a critical temperature above which the activation energy for glide effectively halves, changing from the formation energy of a double kink to that of a single kink. The analysis is in quantitative agreement with direct kinetic Monte Carlo simulations. △ Less

Submitted 27 May, 2020; v1 submitted 27 May, 2020; originally announced May 2020.

Comments: 9 pages, 5 figures. Submitted to Physical Review Research Updated: article meta-data

Journal ref: Phys. Rev. Research 2, 043254 (2020)

A note on Tannakian categories and mixed motives

Authors: Martin Gallauer

Abstract: We explain why every non-trivial exact tensor functor on the triangulated category of mixed motives over a field F has zero kernel, if one assumes "all" motivic conjectures. In other words, every non-zero motive generates the whole category up to the tensor triangulated structure. Under the same assumptions, we also give a complete classification of triangulated étale motives over F with integral… ▽ More We explain why every non-trivial exact tensor functor on the triangulated category of mixed motives over a field F has zero kernel, if one assumes "all" motivic conjectures. In other words, every non-zero motive generates the whole category up to the tensor triangulated structure. Under the same assumptions, we also give a complete classification of triangulated étale motives over F with integral coefficients, up to the tensor triangulated structure, in terms of the characteristic and the orderings of F. △ Less

Submitted 12 November, 2020; v1 submitted 28 December, 2019; originally announced December 2019.

Comments: 13 pages; v2: published version

MSC Class: 14F42 18D10 18E30 18G99 19E15 14L17

Journal ref: Bull. London Math. Soc. 53 (2021) 119-129

Three real Artin-Tate motives

Authors: Paul Balmer, Martin Gallauer

Abstract: We analyze the spectrum of the tensor-triangulated category of Artin-Tate motives over the base field R of real numbers, with integral coefficients. Away from 2, we obtain the same spectrum as for complex Tate motives, previously studied by the second-named author. So the novelty is concentrated at the prime 2, where modular representation theory enters the picture via work of Positselski, based o… ▽ More We analyze the spectrum of the tensor-triangulated category of Artin-Tate motives over the base field R of real numbers, with integral coefficients. Away from 2, we obtain the same spectrum as for complex Tate motives, previously studied by the second-named author. So the novelty is concentrated at the prime 2, where modular representation theory enters the picture via work of Positselski, based on Voevodsky's resolution of the Milnor Conjecture. With coefficients in k=Z/2, our spectrum becomes homeomorphic to the spectrum of the derived category of filtered kC_2-modules with a peculiar exact structure, for the cyclic group C_2=Gal(C/R). This spectrum consists of six points organized in an interesting way. As an application, we find exactly fourteen classes of mod-2 real Artin-Tate motives, up to the tensor-triangular structure. Among those, three special motives stand out, from which we can construct all others. We also discuss the spectrum of Artin motives and of Tate motives. △ Less

Submitted 18 June, 2022; v1 submitted 7 June, 2019; originally announced June 2019.

Comments: 55 pages; v2: minor changes before publication

MSC Class: 14F42 (Primary); 18D10; 18E30; 18G99; 19E15; 20C20 (Secondary)

tt-geometry of Tate motives over algebraically closed fields

Authors: Martin Gallauer

Abstract: We study Tate motives with integral coefficients through the lens of tensor triangular geometry. For some base fields, including the field of algebraic numbers and the algebraic closure of a finite field, we arrive at a complete description of the tensor triangular spectrum and a classification of thick tensor ideals. We study Tate motives with integral coefficients through the lens of tensor triangular geometry. For some base fields, including the field of algebraic numbers and the algebraic closure of a finite field, we arrive at a complete description of the tensor triangular spectrum and a classification of thick tensor ideals. △ Less

Submitted 17 September, 2019; v1 submitted 2 August, 2017; originally announced August 2017.

Comments: 38 pages; v3: completes description of structure sheaf on tt-spectrum; v4: final accepted version

MSC Class: 14C15; 14F42; 19E15; 18E30; 18D10; 18G99

Journal ref: Compositio Math. 155 (2019) 1888-1923

tt-geometry of filtered modules

Authors: Martin Gallauer

Abstract: We compute the tensor triangular spectrum of perfect complexes of filtered modules over a commutative ring, and deduce a classification of the thick tensor ideals. We give two proofs: one by reducing to perfect complexes of graded modules which have already been studied in the literature, and one more direct for which we develop some useful tools. We compute the tensor triangular spectrum of perfect complexes of filtered modules over a commutative ring, and deduce a classification of the thick tensor ideals. We give two proofs: one by reducing to perfect complexes of graded modules which have already been studied in the literature, and one more direct for which we develop some useful tools. △ Less

Submitted 10 September, 2019; v1 submitted 2 August, 2017; originally announced August 2017.

Comments: 27 pages; v2: references updated; v3: final accepted version

MSC Class: 18E30; 18D10; 18G99

Journal ref: Alg. Number Th. 12 (2018) 1975-2003

Homotopy theory of dg sheaves

Authors: Utsav Choudhury, Martin Gallauer

Abstract: In this note we study the local projective model structure on presheaves of complexes on a site, i.e. we describe its classes of cofibrations, fibrations and weak equivalences. In particular, we prove that the fibrant objects are those satisfying descent with respect to all hypercovers. We also describe cofibrant and fibrant replacement functors with pleasant properties. In this note we study the local projective model structure on presheaves of complexes on a site, i.e. we describe its classes of cofibrations, fibrations and weak equivalences. In particular, we prove that the fibrant objects are those satisfying descent with respect to all hypercovers. We also describe cofibrant and fibrant replacement functors with pleasant properties. △ Less

Submitted 9 November, 2015; originally announced November 2015.

Comments: 29 pages

MSC Class: 14F05; 18F20; 18G55; 18D20; 18F10; 18G35

Journal ref: Comm. Alg. 47 (2019), pp. 3202-28

An isomorphism of motivic Galois groups

Authors: Utsav Choudhury, Martin Gallauer

Abstract: In characteristic 0 there are essentially two approaches to the conjectural theory of mixed motives, one due to Nori and the other one due to, independently, Hanamura, Levine, and Voevodsky. Although these approaches are apriori quite different it is expected that ultimately they can be reduced to one another. In this article we provide some evidence for this belief by proving that their associate… ▽ More In characteristic 0 there are essentially two approaches to the conjectural theory of mixed motives, one due to Nori and the other one due to, independently, Hanamura, Levine, and Voevodsky. Although these approaches are apriori quite different it is expected that ultimately they can be reduced to one another. In this article we provide some evidence for this belief by proving that their associated motivic Galois groups are canonically isomorphic. △ Less

Submitted 18 May, 2017; v1 submitted 22 October, 2014; originally announced October 2014.

Comments: 56 pages, published version

MSC Class: 14F42; 14F25; 18G55; 14C15; 19E15

Journal ref: Advances in Mathematics, vol. 313, pp. 470-536, 2017

Traces in monoidal derivators, and homotopy colimits

Authors: Martin Gallauer

Abstract: A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an explicit formula for the trace of the homotopy colimit of endomorphisms over finite EI-categories is deduced. This result can be seen as a generalization of the ad… ▽ More A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an explicit formula for the trace of the homotopy colimit of endomorphisms over finite EI-categories is deduced. This result can be seen as a generalization of the additivity of traces in monoidal categories with a compatible triangulation. △ Less

Submitted 16 July, 2014; v1 submitted 1 March, 2013; originally announced March 2013.

Comments: 50 pages; v2: introduction rewritten, definition of derivator added, minor changes; v3: final version (corresponds to published article);

MSC Class: 18D10; 18E30; 18D15; 55P42

Journal ref: Adv. Math., 261 (2014), pp. 26-84