Localizing motives of Azumaya algebras

Maxime Ramzi

REVIEW 2 major objections 3 minor 21 references

Localizing motives of Azumaya algebras

T0 review · 2 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A derived Azumaya algebra over a qcqs scheme is Morita equivalent to the structure sheaf exactly when its category of perfect modules has the unit localizing motive.

desk verdict A real new result, with a proof that leans on an unverified transfer of a heavy theorem; worth a careful referee. read the letter →

arxiv 2509.01507 v1 pith:VMQJHRYE submitted 2025-09-01 math.AG math.ATmath.KT

Maxime Ramzi This is my paper · ORCID

classification math.AGmath.ATmath.KT MSC 14F2218N60

keywords derivedBrauergroupAzumayaalgebraslocalizingmotivesqcqsschemestwisteddeterminantétalecohomologyMoritaequivalencenoncommutative

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that the derived Brauer group of any quasi-compact quasi-separated scheme embeds into the Picard group of X-linear localizing motives: a derived Azumaya algebra is Morita equivalent to the structure sheaf as soon as its category of perfect modules carries the unit localizing motive. This matters because localizing motives are the common target of all localizing invariants, so no localizing invariant can confuse two Morita-distinct derived Azumaya algebras. The proof combines a new twisted determinant sheaf, which recovers the H^2_ét(X,G_m) part of a Brauer class from the motive, with a transfer of the known affine noetherian trivial-motive theorem to arbitrary qcqs schemes for the remaining H^1_ét(X,Z) part.

What carries the argument

The central object is the twisted determinant sheaf Pic_A: the étale sheafification of U ↦ τ_[0,1] K(Perf(A) ⊗_{Perf(X)} Perf(U)), i.e. the 1-truncated K-theory of the A-twisted perfect complexes, equipped with its natural module structure over the Picard sheaf Pic. Étale-locally Pic_A ≃ Pic, so it is a twisted form; its π0 is locally Z and its higher part is a twisted form of BG_m. The paper shows this sheaf is a functor of the localizing motive U^X_loc(A), and that its class in H^1_ét(X,Z/2), together with the G_m-fiber under the equivalence B^ét 2Pic ≃ B^ét 2Z × B^2_ét G_m, determines the original Brauer class. This is the mechanism that splits the comparison map on the H^2_ét(X,G_m) side

What would settle it

Compute U^X_loc(Perf(A)) for the standard quaternion algebra over Spec R, a nontrivial class in H^2_ét(Spec R,G_m); the theorem entails that this motive is not the unit motive. An explicit K-theory calculation, using the semiorthogonal decomposition of the associated twisted projective space, showing U^X_loc(Perf(A)) ≃ U^X_loc(Perf(X)) would refute the main theorem.

Watch

Extended reading notes

Core claim

The paper's main theorem is injectivity of Br^der(X) → Pic(Mot_X) for every qcqs scheme X: if a derived Azumaya algebra A satisfies U^X_loc(Perf(A)) ≃ U^X_loc(Perf(X)), then A is Morita equivalent to X. The proof splits a Brauer class into an H^2_ét(X,G_m) part and an H^1_ét(X,Z) part. For the H^2 part it builds, from the motive of A, an étale sheaf Pic_A that is locally a twisted form of the Picard sheaf; the cohomological invariants of that twisted form recover the original H^2 class. For the H^1 part it transfers a known affine theorem: a trivial rational motive forces A to be Morita equivalent to an Azumaya algebra of nowhere vanishing rank, hence torsion, and H^1_ét(X,Z) is torsion-free

Load-bearing premise

The argument assumes that the known affine noetherian theorem — a derived Azumaya algebra with trivial rational motive is Morita equivalent to a classical one — transfers to arbitrary qcqs schemes once Lemmas 2.19 and 2.20 are added; the paper does not re-prove the untransferred middle steps of that theorem, and if they fail outside the affine noetherian setting the H^1_ét(X,Z) part of the main theorem has no support.

Editorial extensions

If this is right

For every qcqs scheme, the localizing motive is a complete invariant of the Morita class of a derived Azumaya algebra.
The subgroup H^2_ét(X,G_m) of the derived Brauer group embeds into Pic(Mot_X), so nonzero cohomological Brauer classes always change the motive.
The affine version holds for arbitrary commutative rings, with no noetherian hypothesis.
A classical non-2-torsion Azumaya algebra is never motive-equivalent to its opposite algebra.
A derived Azumaya algebra whose rational motive is trivial is Morita equivalent to a classical Azumaya algebra of nowhere vanishing rank, and is torsion in the Brauer group.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because the determinant step is étale-local and functorial in the motive, the same construction should yield explicit cohomological invariants of Pic_A for concrete Azumaya algebras, for instance via semiorthogonal decompositions of twisted projective spaces; the paper does not carry out such computations.
The proof leaves open whether suspensions of the unit motive generate Pic(Mot_X). If they do, the injection would upgrade to a description of the derived Brauer group as the torsion part of the motive Picard group, giving a fresh handle on the surjectivity question.
A natural stress test is to replace qcqs schemes by derived schemes or stacks, where the étale-local description of the Brauer group is less automatic; whether the injection survives there is not addressed in this paper.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Let me cut to it: the main theorem is new and, as far as I can see, correct. The injectivity of Br^der(X) -> Pic(Mot_X) for every qcqs scheme removes the affine/noetherian/regular hypotheses from earlier work, and the proof route is original: the twisted determinant Pic_A is a good idea, and Cor 2.17 is a clean way to get the H^2_et part. The local analysis in Section 2 is the strongest part of the paper. The author also deserves credit for being explicit about what is imported and for supplying Lemmas 2.19 and 2.20 to handle the non-noetherian and non-affine steps.

That said, there are real soft spots. The proof of Theorem 2.21 rests on the assertion that the proof of [TVdB16, Thm B.15] works over qcqs schemes with no modification except for the two steps addressed. That is load-bearing, and the manuscript does not reproduce the part of the argument showing that a derived Azumaya algebra with trivial rational motive is Morita equivalent to an algebra with nowhere vanishing rank. I cannot check that step from this paper alone. It may be true, but a referee needs to verify it. The internal slips do not inspire full confidence: in the proof of Cor 2.18 there is a leftover parenthetical 'this is where we use that R is noetherian' that contradicts the non-noetherian statement of Lemma 2.19, and Lemma 2.19 cites Theorem B.5 while the text and Cor 2.18 refer to Theorem B.15. These are minor and fixable, but they suggest the transfer was not fully rechecked line by line.

On the substance, I found no circularity and no invented entities. The reliance on TVdB16 is external dependence, not circularity. The determinant construction is independent of the conclusion. The result is a natural generalization, and the paper reads as an honest, well-organized contribution. The reader's ACCEPT verdict is about right, with moderate confidence. I would not desk-reject this; I would send it to a referee who knows the TVdB16 proof and the higher-categorical machinery, and ask them to write out the transfer in detail or confirm it. If the transfer checks out, this is a solid paper worth publishing. The audience is people working in noncommutative motives and Brauer groups; they will want to read it.

Referee Report

2 major / 3 minor

Summary. The paper proves that for every qcqs scheme X the natural map Br^der(X) -> Pic(Mot_X) is injective, extending results of Tabuada and Tabuada–Van den Bergh. The proof introduces, for a derived Azumaya algebra A, an étale sheaf of spectra Pic_A obtained by étale sheafification of the 1-truncated K-theory of Perf(A). The author shows that Pic_A is a twisted form of Pic and that, on the H^2_ét(X,G_m) subgroup of the derived Brauer group, the map to Pic(Mot_X) is injective (Corollary 2.17). Full injectivity is then obtained by combining this subgroup result with a claimed generalization of [TVdB16, Theorem B.15] to arbitrary qcqs schemes, effected in Lemmas 2.19 and 2.20, which reduces a derived Azumaya algebra with trivial localizing motive to a torsion class in H^2_ét(X,G_m).

Significance. If correct, the main theorem settles the injectivity side of a natural question of Tabuada in full generality, showing that the localizing motive U^X_loc(Perf(A)) determines a derived Azumaya algebra up to Morita equivalence. The determinant/Pic_A construction is elegant, new, and yields a genuinely softer proof of restricted injectivity for H^2_ét. The paper is clearly written and properly credits prior work. Its main weakness is that the final step of the proof of Theorem 2.21 rests on an asserted verbatim transfer of a substantial external theorem from the affine noetherian setting to arbitrary qcqs schemes, without the reader being able to verify the absent steps; internal inconsistencies in the references and a leftover noetherian remark reinforce this concern.

major comments (2)

[Proof of Theorem 2.21] The proof of Theorem 2.21 rests on the assertion that the proof of [TVdB16, Theorem B.15] 'works with no modification' on arbitrary qcqs schemes until one concludes that A is Morita equivalent to an Azumaya algebra with nowhere vanishing rank. This is a load-bearing transfer of an external result, but it is not demonstrated in the manuscript. The relevant parts of [TVdB16, Appendix B] are not reproduced, and the reader cannot check whether affineness or noetherianness enters in the untransferred steps. In particular, the step producing the algebra B with nowhere vanishing rank is exactly what allows the use of [TVdB16, Theorem B.11] and the reduction to H^2_ét(X,G_m). Please either give a self-contained proof of this reduction, or state a precise qcqs version of [TVdB16, Theorem B.15] with a proof (or with a citation to an existing statement that covers qcqs schemes) and identify each pl
[Lemma 2.19 and Corollary 2.18] The non-noetherian generalization in Lemma 2.19 is stated as the conclusion of '[TVdB16, Theorem B.5]', but its proof and Corollary 2.18 refer to '[TVdB16, Theorem B.15]'. Moreover, the proof of Corollary 2.18 contains the leftover parenthetical '(this is where we use that R is noetherian)' immediately after invoking the non-noetherian Lemma 2.19. These internal inconsistencies suggest that the adaptation of [TVdB16] was not fully rechecked. Since Lemma 2.19 is load-bearing for affine injectivity (Corollary 2.18), the correct reference and a careful proof of the transferred statement are needed; the current proof only sketches the replacement of [TVdB16, Lemma B.16] and does not address the rest of the translated argument.

minor comments (3)

[Lemma 2.7] The sentence 'the vertical maps are isomorphisms upon sheafification' is terse; it would help to spell out the identification Z^× ≅ Z/2 and the sign convention giving det(O) = ΣO with K-theory class -1.
[Remark 2.12] 'essentially a priori' appears to be a typo; probably 'essentially, a priori,' or simply 'a priori'.
[Introduction] The displayed quotation of [TVdB15, Theorem 2.1] and [TVdB16, Theorem B.15] could be confusing because the second bullet is later attributed only to [TVdB16, Theorem B.15]. It would help to state precisely which part is used where.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the injectivity result is not assumed; the proof uses independent constructions and an external theorem, not self-referential reasoning.

full rationale

Theorem 2.21 proves injectivity of Br^der(X) -> Pic(Mot_X) by assuming U^X_loc(A) ≃ U^X_loc(O_X) and deriving that A is Morita trivial. The key new ingredient, Pic_A, is constructed from the K-theory of Perf(A) and its étale sheafification, and its properties are established independently in Lemmas 2.5–2.11 and Corollary 2.17. No parameter is fitted, no prediction is built from the target data, and no premise is defined in terms of the conclusion. The main dependence is the external theorem [TVdB16, Theorem B.15], whose proof is transferred with two identified gaps filled by Lemmas 2.19 and 2.20; this is reliance on prior literature, not circularity, and it is not a self-citation chain of the present author. The internal slips—the leftover parenthetical '(this is where we use that R is noetherian)' in the proof of Corollary 2.18 and the B.5/B.15 citation mismatch in Lemma 2.19—are correctness and reproducibility concerns, but they do not make the conclusion equal to an input by construction. The companion paper [Ram] is mentioned only in an auxiliary remark, not as a load-bearing premise for Theorem 2.21.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No fitted constants occur; the proof is a chain of established theorems and new constructions. The main external input is [TVdB16], treated as a black box with an added non-noetherian lemma. New definitions such as Pic_A and 2Pic are proved to have the required properties rather than being postulated entities, so no invented entity ledger entries are needed.

assumptions (5)

standard math Derived Brauer group is an etale sheaf and Azumaya algebras are etale locally trivial (Toen, [Toe12], around Prop 1.14).
Used in Lemma 2.5 and the local analysis of Section 2 to identify Pic_A etale-locally with Pic and to describe Br via B^et Pic.
standard math The structure theorem for noncommutative motives of Azumaya/separable algebras ([TVdB16, Theorems B.11 and B.15]) and its transfer to qcqs schemes.
Core of the reduction in Theorem 2.21 from trivial motive to a classical or torsion Brauer class.
standard math Thomason's classification of thick subcategories ([Tho97, Theorem 3.14]) applies to QCoh(X) on qcqs schemes.
Used in Lemma 2.20 to conclude that a perfect sheaf with nowhere vanishing rank generates the localizing category.
standard math K-theory of X-linear categories is represented by mapping spaces in Mot_X ([HSS17, Theorem 5.15]).
Ensures that the sheaves K_M and Pic_C depend functorially on the motive, which is the bridge between Azumaya algebras and Pic(Mot_X).
domain assumption Lurie's higher-categorical foundations and the construction of X-linear stable categories as Perf(X)-modules in Cat^perf.
Sets the ambient framework; the theorem is stated within this framework and the author notes injectivity can fail for other monoidal base categories, see Question 2.23.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Localizing motives of Azumaya algebras." pith.science (2026). https://pith.science/paper/VMQJHRYE

@misc{pith2026250901507,
  author       = {Pith},
  title        = {Pith review of: Localizing motives of Azumaya algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VMQJHRYE}},
  note         = {Machine review of arXiv:2509.01507}
}

abstract

We prove that the natural map from the derived Brauer group of a qcqs scheme $X$ to the Picard group of $X$-linear motives is injective, extending results of Tabuada and Tabuada-Van den Bergh.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 20 canonical work pages

[1]

Brauer groups and \'e tale cohomology in derived algebraic geometry

Benjamin Antieau and David Gepner. Brauer groups and \'e tale cohomology in derived algebraic geometry. Geometry & Topology , 18(2):1149--1244, 2014

work page 2014
[2]

A semiorthogonal decomposition for Brauer--S everi schemes

Marcello Bernardara. A semiorthogonal decomposition for Brauer--S everi schemes. Mathematische Nachrichten , 282(10):1406--1413, 2009

work page 2009
[3]

A universal characterization of higher algebraic K -theory

Andrew J Blumberg, David Gepner, and Gon c alo Tabuada. A universal characterization of higher algebraic K -theory. Geometry & Topology , 17(2):733--838, 2013

work page 2013
[4]

Modules over algebraic cobordism

Elden Elmanto, Marc Hoyois, Adeel A Khan, Vladimir Sosnilo, and Maria Yakerson. Modules over algebraic cobordism. In Forum of Mathematics, Pi , volume 8, page e14. Cambridge University Press, 2020

work page 2020
[5]

Le groupe de B rauer: I

Alexander Grothendieck. Le groupe de B rauer: I . A lg \`e bres d’ A zumaya et interpr \'e tations diverses. Dix expos \'e s sur la cohomologie des sch \'e mas , 3(46-66):15, 1968

work page 1968
[6]

Higher traces, noncommutative motives, and the categorified C hern character

Marc Hoyois, Sarah Scherotzke, and Nicolo Sibilla. Higher traces, noncommutative motives, and the categorified C hern character. Advances in Mathematics , 309:97--154, 2017

work page 2017
[7]

Motives of A zumaya algebras

Bruno Kahn and Marc Levine. Motives of A zumaya algebras. Journal of the Institute of Mathematics of Jussieu , 9(3):481--599, 2010

work page 2010
[8]

det" AND

Finn Knudsen and David Mumford. THE PROJECTIVITY OF THE MODULI SPACE OF STABLE CURVES I: PRELIMINARIES ON " det" AND" Div" . Mathematica Scandinavica , 39(1):19--55, 1976

work page 1976

Show all 21 references

[9]

Higher topos theory

Jacob Lurie. Higher topos theory . Princeton University Press, 2009

2009
[10]

Higher algebra, 2012

Jacob Lurie. Higher algebra, 2012

2012
[11]

Higher algebraic K-theory: I

Daniel Quillen. Higher algebraic K-theory: I . In Higher K-Theories: Proceedings of the Conference held at the Seattle Research Center of the Battelle Memorial Institute, from August 28 to September 8, 1972 , pages 85--147. Springer, 2006

1972
[12]

K -theory of A zumaya algebras

Maxime Ramzi. K -theory of A zumaya algebras. In preparation
[13]

Every motive is the motive of a stable -category

Maxime Ramzi, Vladimir Sosnilo, and Christoph Winges. Every motive is the motive of a stable -category. arXiv preprint arXiv:2503.11338 , 2025

2025 arXiv
[14]

Additive invariants of toric and twisted projective homogeneous varieties via noncommutative motives

Gon c alo Tabuada. Additive invariants of toric and twisted projective homogeneous varieties via noncommutative motives. Journal of Algebra , 417:15--38, 2014

2014
[15]

A note on secondary K -theory

Gon c alo Tabuada. A note on secondary K -theory. Algebra & Number Theory , 10(4):887--906, 2016

2016
[16]

A note on secondary K-theory II

Goncalo Tabuada. A note on secondary K-theory II . arXiv preprint arXiv:1607.03094 , 2016

2016 arXiv
[17]

The classification of triangulated subcategories

Robert W Thomason. The classification of triangulated subcategories. Compositio Mathematica , 105(1):1--27, 1997

1997
[18]

Derived A zumaya algebras and generators for twisted derived categories

Bertrand To \"e n. Derived A zumaya algebras and generators for twisted derived categories. Inventiones mathematicae , 189(3):581--652, 2012

2012
[19]

Noncommutative motives of A zumaya algebras

Gon c alo Tabuada and Michel Van den Bergh. Noncommutative motives of A zumaya algebras. Journal of the Institute of Mathematics of Jussieu , 14(2):379--403, 2015

2015
[20]

Noncommutative motives of separable algebras

Goncalo Tabuada and Michel Van den Bergh. Noncommutative motives of separable algebras. Advances in Mathematics , 303:1122--1161, 2016

2016
[21]

The K -book: An Introduction to Algebraic K -theory , volume 145

Charles A Weibel. The K -book: An Introduction to Algebraic K -theory , volume 145. American Mathematical Soc., 2013

2013

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [1]

Brauer groups and \'e tale cohomology in derived algebraic geometry

Benjamin Antieau and David Gepner. Brauer groups and \'e tale cohomology in derived algebraic geometry. Geometry & Topology , 18(2):1149--1244, 2014

work page 2014

[2] [2]

A semiorthogonal decomposition for Brauer--S everi schemes

Marcello Bernardara. A semiorthogonal decomposition for Brauer--S everi schemes. Mathematische Nachrichten , 282(10):1406--1413, 2009

work page 2009

[3] [3]

A universal characterization of higher algebraic K -theory

Andrew J Blumberg, David Gepner, and Gon c alo Tabuada. A universal characterization of higher algebraic K -theory. Geometry & Topology , 17(2):733--838, 2013

work page 2013

[4] [4]

Modules over algebraic cobordism

Elden Elmanto, Marc Hoyois, Adeel A Khan, Vladimir Sosnilo, and Maria Yakerson. Modules over algebraic cobordism. In Forum of Mathematics, Pi , volume 8, page e14. Cambridge University Press, 2020

work page 2020

[5] [5]

Le groupe de B rauer: I

Alexander Grothendieck. Le groupe de B rauer: I . A lg \`e bres d’ A zumaya et interpr \'e tations diverses. Dix expos \'e s sur la cohomologie des sch \'e mas , 3(46-66):15, 1968

work page 1968

[6] [6]

Higher traces, noncommutative motives, and the categorified C hern character

Marc Hoyois, Sarah Scherotzke, and Nicolo Sibilla. Higher traces, noncommutative motives, and the categorified C hern character. Advances in Mathematics , 309:97--154, 2017

work page 2017

[7] [7]

Motives of A zumaya algebras

Bruno Kahn and Marc Levine. Motives of A zumaya algebras. Journal of the Institute of Mathematics of Jussieu , 9(3):481--599, 2010

work page 2010

[8] [8]

det" AND

Finn Knudsen and David Mumford. THE PROJECTIVITY OF THE MODULI SPACE OF STABLE CURVES I: PRELIMINARIES ON " det" AND" Div" . Mathematica Scandinavica , 39(1):19--55, 1976

work page 1976