Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Artin shapes

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read Artin shapes determine complete motivic decompositions for unitary involution varieties and their Weil transfers.

desk verdict Useful bookkeeping and two plausible new decompositions, but Theorem 3.3 has an unproved projective-bundle claim and a descent step that is too quick as written. read the letter →

arxiv 2411.11800 v1 pith:W6ZDMGEN submitted 2024-11-18 math.AG

Nikita Karpenko , Guangzhao Zhu This is my paper · ORCID
classification math.AG MSC 20G1514C25
keywords ArtinshapemotivicdecompositionChowmotivesprojectivehomogeneousvarietiesuppermotiveunitaryinvolutionvarietyWeiltransferp'-innergroups
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

This paper introduces the Artin shape of a motive—the list of shifts of indecomposable Artin motives obtained after scalar extension to the function field of the variety of Borel subgroups—and uses it to find complete motivic decompositions of projective homogeneous varieties. For a unitary involution variety $Y$ attached to a degree $p^n$ central division algebra over a quadratic extension, the paper proves $M(Y) \simeq \bigoplus_{i=0}^{p^n-2} U(Y)\{i\}$, while for the Weil transfer $R(X)$ of the corresponding Severi-Brauer variety it proves $M(R(X)) \simeq \bigoplus_{i=0}^{p^n-1} U(R(X))\{i\}$. These decompositions are obtained by first determining the shape of the upper motive $U(Y)$ as an alternating pattern $F A F A \cdots F$, then using the classification theorem of [5] to rule out any summand of the form $U(Y)\otimes A$. The results show that complete motivic decompositions can be read off from a small shape datum and that, contrary to earlier expectations, some decompositions contain only shifts of the upper motive.

What carries the argument

The Artin shape of a motive $M$ is the list of shifts $F\{i\}$ and $A\{i\}$ that appear when $M$ is pulled back to the function field of the variety of Borel subgroups; it is unique by the Krull-Schmidt-type result quoted from [3] and [11]. The upper motive $U(X)$ is the unique indecomposable summand whose shape contains the unshifted Tate motive $F$. The machinery consists of three moves: using the classification theorem [5] to know that every summand is a shift of $U(Y)$ or $U(Y)\otimes A$; determining the shape of $U(Y)$ by counting Tate versus Artin summands through the ratio $(p^n+1)/(p^n-1)$; and descending the resulting decomposition from the quadratic extension $L$ back to the base field $F$.

What would settle it

One concrete test is to compute the Chow group of $Y$ with $\mathbb{Z}/p\mathbb{Z}$ coefficients over the function field of the variety of Borel subgroups and count the Tate shifts $F$: Theorem 3.3 requires the total count to be $(p^n+1)(p^n-1)$ and the shape of $U(Y)$ to alternate $F A F A \cdots F$, so a direct computation giving a different count or a non-alternating shape would disprove the decomposition.

Watch

Extended reading notes

Core claim

The central claim is that the Artin shape—together with the classification of motivic summands for $p'$-inner groups stated as Theorem 0.1 of [5]—determines the complete motivic decomposition in the examples studied. Theorem 3.3 states that for the unitary involution variety $Y$, the upper motive has shape $F A F A \cdots F$ and the complete decomposition is $M(Y) \simeq \bigoplus_{i=0}^{p^n-2} U(Y)\{i\}$. Theorem 3.5 states that the Weil transfer $R(X)$ of the Severi-Brauer variety of $D$ has upper motive with the same alternating shape and complete decomposition $M(R(X)) \simeq \bigoplus_{i=0}^{p^n-1} U(R(X))\{i\}$. Theorem 1.3 covers the other case, where $D$ descends to the base field, and gives a decomposition with alternating shifts of $U(R(X))$ and $U(R(X))\otimes A$. Together these theorems exhibit motivic decompositions that differ from prior expectations, in particular by omitting tensor products with the nontrivial Artin motive $A$.

Load-bearing premise

The load-bearing premise is the classification theorem quoted as Theorem 0.1 of [5], which asserts that every summand in the complete motivic decomposition of a projective homogeneous variety under a $p'$-inner group is a shift of a tensor product $U(Y)\otimes A$; if that unpublished theorem is false or fails to apply, and if the descent step from the quadratic extension $L$ to $F$ in the proof of Theorem 3.3 is not valid, the decompositions do not follow.

Editorial extensions

If this is right

  • If Theorem 3.3 is correct, the complete motivic decomposition of every unitary involution variety $Y$ in this setting is a string of consecutive shifts $U(Y)\{0\}, U(Y)\{1\}, \ldots, U(Y)\{p^n-2\}$, with no tensor product by $A$ appearing.
  • If Theorem 3.5 is correct, the Weil transfer $R(X)$ has similar consecutive shifts up to $p^n-1$, so $M(R(X)) \simeq M(Y) \oplus U(Y)\{p^n-1\}$.
  • In the first case of Section 1, where $D$ descends to $F$, the decomposition is instead alternating between $U(R(X))$ and $U(R(X))\otimes A$, showing that the presence of $A$-twisted summands depends on whether $D$ admits a unitary involution.
  • The ratio argument shows that if the number of Tate summands in the upper motive is not divisible by $p^n$, the $A$-twisted summands cannot occur at all, giving a conceptual reason for the two different decompositions.

Reading between the lines

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

  • One can test whether the same ratio-counting argument applies to higher-rank unitary involution varieties $Y_i$: Proposition 3.1 already supplies the counts $(b_i+a_i)/2$ and $(b_i-a_i)/2$, so a similar alternating decomposition, if it exists, would be a direct extension of Theorem 3.3.
  • The shape method suggests that for any $p'$-inner group whose upper motive has a known alternating shape, the complete decomposition is determined by divisibility of the number of Tate summands by $p^n$; this turns a classification theorem into a purely combinatorial counting problem.
  • Because the descent step from $L$ to $F$ is verified only in the specific examples, checking whether the same descent works for non-quadratic Galois extensions or for non-balanced algebras could extend the method beyond the cases treated here.
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.

Referee Report

3 major / 4 minor

Summary. The paper introduces a notion of 'Artin shape' for Chow motives with mod p coefficients, describing the direct-sum decomposition of a motive over the function field of the variety of Borel subgroups. It applies this notion, together with the classification theorem [5, Theorem 0.1], to obtain complete motivic decompositions for two families of projective homogeneous varieties. Theorem 1.3 gives the complete decomposition of the Weil transfer R(X) of a Severi-Brauer variety over a quadratic extension in the 'balanced' case. Lemma 2.1 and Theorem 3.5 treat the 'unitary involution' case, and Theorem 3.3 gives a complete decomposition of the unitary involution variety Y as a sum of shifts of its upper motive. The paper is concise and relies on the unpublished classification theorem from [5].

Significance. If the main results are correct, they provide new and somewhat surprising complete motivic decompositions, explicitly contradicting prior expectations for projective homogeneous varieties. The paper's combinatorial 'Artin shape' formalism is a convenient organizing tool, and the ratio argument in §2 is elegant. The authors are careful to state that their main structural input, Theorem 0.1, comes from an unpublished preprint, and they do not oversell the novelty. The small cases and the counting in Proposition 3.1 appear consistent, and the dependence on [5] is transparent rather than circular. However, the proof of the central Theorem 3.3 contains a load-bearing descent step that is not justified, so the main decomposition theorem is not yet established.

major comments (3)
  1. [Theorem 3.3, proof (last two sentences)] The assertion that the decomposition over L of M(Y) as in (3.4) implies the same decomposition over F is not justified. The base-change functor from Chow motives over F to Chow motives over L is not conservative: the Artin motive A and the Tate motive F become isomorphic over L. An isomorphism over L between M(Y)_L and the direct sum of shifts of U(Y)_L does not by itself yield an isomorphism over F. A Galois semilinear descent argument, or an explicit proof that the relevant idempotents are fixed by Gal(L/F), is required. This step is load-bearing for (3.4) and for Theorem 3.5.
  2. [Theorem 3.3, proof] The geometric statement that over L the variety Y becomes a rank p^n−2 projective bundle over the Severi-Brauer variety X is used to obtain the decomposition (3.4) over L, but it is not proved or referenced. The statement is plausible from the flag description in Proposition 3.1, where a flag V_1 ⊂ V_{p^n−1} maps to V_{p^n−1}; however, the proof should identify the relevant vector bundle and the base explicitly, since the decomposition over L depends on this structure.
  3. [Sections 0–3, Theorem 0.1 and all main theorems] All main results (Theorems 1.3, 3.3, and 3.5) are deduced from Theorem 0.1 of the unpublished preprint [5]. The authors state Theorem 0.1 but do not prove it and give no stable public reference. For the paper to be verifiable, either a proof of Theorem 0.1 should be included or a published/archived reference should replace the unpublished preprint, and the dependence should be explicitly flagged in the introduction.
minor comments (4)
  1. [Section 2, first paragraph] The sentence 'the shape of M(R(X)) is still given by (1.2)' appears to refer to (1.1), since (1.2) is the complete decomposition formula, not the shape.
  2. [Corollary 3.2] The counts in Corollary 3.2 are inconsistent with Proposition 3.1 by a factor of 2. For i=1, Proposition 3.1 gives (b_1+a_1)/2 = (p^n−1)(p^n+1)/2 Tate summands and (b_1−a_1)/2 = (p^n−1)^2/2 Artin summands, whereas Corollary 3.2 displays twice these numbers. The ratio is unchanged, and the divisibility argument in Theorem 3.3 still works, but the displayed counts should be corrected.
  3. [Lemma 2.1, proof] The induction in Lemma 2.1 is described in words only. It would help to state the induction invariant explicitly and to justify why the position of the first A in the shape of U forces the corresponding coefficient pattern in the complete decomposition of M(R(X)).
  4. [Theorem 3.3, proof] The phrase 'rank p^n−2 projective bundle' is ambiguous. Please write 'projective bundle with fiber P^{p^n−2}' or 'projective bundle associated with a vector bundle of rank p^n−1' for clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the new decompositions are derived from prior shape computations and an external classification theorem, not from the conclusions themselves.

full rationale

The paper's derivation chain is not circular in the sense of the target results being equivalent to their inputs by construction. The Artin shape is defined as the known decomposition over F(B) supplied by [2, Theorem 7.5], with uniqueness from [3] and [11]; it is an input, not an output. The complete decompositions are obtained by combining this shape data with Theorem 0.1 from [5], which classifies possible summands for p'-inner groups. No parameter is fitted, and no quantity is renamed as a prediction. The reliance on [5] is a self-citation (Karpenko is an author of both), but the theorem is parameter-free with stated assumptions (p'-inner G) that do not include the specific decompositions proved here, so it is independent support rather than a circular premise. The main vulnerability is the last step of the proof of Theorem 3.3: the assertion that a decomposition over L descends to F is not justified, and base change of Chow motives is not conservative. This is a genuine correctness gap, not a circular reduction. Similarly, the geometric claim that Y becomes a projective bundle over X over L is asserted without proof. These issues affect soundness, not circularity. The central claims therefore do not reduce to their inputs by definition or by fitted parameters.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The results rest on standard Chow motive theory and on recent classification results for summands of motives of projective homogeneous varieties. No free parameters or fitted quantities appear. The main external input is the unpublished classification theorem [5].

assumptions (4)
  • domain assumption Existence and uniqueness of complete motivic decompositions (Krull-Schmidt) for Chow motives with F_p coefficients.
    Cited from [3]; the notion of complete decomposition and the Artin shape depend on this.
  • domain assumption Theorem 0.1 (De Clercq-Karpenko-Qu�egainer-Mathieu): every summand in the complete decomposition for a p'-inner group G is a shift of U(Y)⊗A where A is an Artin motive from a subfield L.
    Used in all sections; taken from the unpublished preprint [5].
  • domain assumption The motive of the Weil transfer of a projective space has the graphical shape (1.1), determined by the Galois action on the Chow group of R(P)_L.
    Stated in Section 1 without proof or citation; used to derive decomposition (1.2).
  • domain assumption The unitary group Aut_L(D, τ) is p'-inner in the setting of Section 3.
    Assumed in Section 3; required for applying Theorem 0.1 to the unitary involution variety.
invented entities (1)
  • Artin shape
    purpose: Records the decomposition of a motive over the Borel function field into indecomposable Artin motives with shifts.
    A new definition introduced in Section 0. It is a notation for an existing decomposition rather than a new physical or mathematical object with independent predictive power.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Artin shapes." pith.science (2026). https://pith.science/paper/W6ZDMGEN

@misc{pith2026241111800,
  author       = {Pith},
  title        = {Pith review of: Artin shapes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/W6ZDMGEN}},
  note         = {Machine review of arXiv:2411.11800}
}
read the original abstract

We introduce and study on examples a notion of the Artin shape for a motive related to a projective homogenous variety. We apply it to the problem of finding the complete motivic decomposition of the variety. Our examples cover unitary involution varieties as well as some varieties given by a quadratic Weil transfer. Some of the decompositions obtained dispel prior expectations on how motivic decompositions of projective homogeneous varieties can look like.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Invertible Morava motives in quadrics

    math.AG 2025-04 conditional novelty 8.0 of 10

    Milnor K-theory modulo 2 embeds into the Picard group of invertible Morava K-theory motives, with quadrics providing the construction and with Chow motives recoverable from Morava motives in the low-dimensional case.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 1 Pith paper

  1. [5]

    A-upper motives of reductive groups

    De Clercq, C., Karpenko, N., and Qu ´ eguiner-Mathieu, A. A-upper motives of reductive groups. Preprint (1 Nov 2024, 23 pages). Available on the 2nd auth or’s webpage

    work page 2024

  2. [1]

    S., Kresch, A., and Tamvakis, H

    Buch, A. S., Kresch, A., and Tamvakis, H. Quantum Pieri rules for isotropic Grassmannians. Invent. Math. 178 , 2 (2009), 345–405

    work page 2009

  3. [2]

    Motivic decomposition of isotropic projective homogeneous varieties

    Chernousov, V., Gille, S., and Merkurjev, A. Motivic decomposition of isotropic projective homogeneous varieties. Duke Math. J. 126 , 1 (2005), 137–159

    work page 2005

  4. [3]

    Motivic decomposition of projective homogeneous varieties and the Krull-Schmidt theorem

    Chernousov, V., and Merkurjev, A. Motivic decomposition of projective homogeneous varieties and the Krull-Schmidt theorem. Transform. Groups 11 , 3 (2006), 371–386

    work page 2006

  5. [4]

    Tits p-indexes of semisimple algebraic groups

    De Clercq, C., and Garibaldi, S. Tits p-indexes of semisimple algebraic groups. J. Lond. Math. Soc., II. Ser. 95 , 2 (2017), 567–585

    work page 2017

  6. [6]

    The algebraic and geometric theory of quadratic forms, vol

    Elman, R., Karpenko, N., and Merkurjev, A. The algebraic and geometric theory of quadratic forms, vol. 56 of American Mathematical Society Colloquium Publications . American Mathematical Society, Providence, RI, 2008

    work page 2008

  7. [7]

    Karpenko, N. A. Grothendieck Chow motives of Severi-Brauer varieties. St. Petersburg Math. J. 7, 4 (1996), 649–661

    work page 1996

  8. [8]

    Karpenko, N. A. Upper motives of outer algebraic groups. In Quadratic forms, linear algebraic groups, and cohomology , vol. 18 of Dev. Math. Springer, New York, 2010, pp. 249–258

    work page 2010

Show all 13 references
  1. [9]

    Karpenko, N. A. Sufficiently generic orthogonal Grassmannians. J. Algebra 372 (2012), 365–375

    2012

  2. [10]

    Karpenko, N. A. Unitary Grassmannians. J. Pure Appl. Algebra 216 , 12 (2012), 2586–2600

    2012

  3. [11]

    Karpenko, N. A. Upper motives of algebraic groups and incompressibility of Severi-Br auer vari- eties. J. Reine Angew. Math. 677 (2013), 179–198

    2013

  4. [12]

    A., and Reichstein, Z

    Karpenko, N. A., and Reichstein, Z. A numerical invariant for linear representations of finite groups. Comment. Math. Helv. 90 , 3 (2015), 667–701. With an appendix by Julia Pevtsova and Reichstein

    2015

  5. [13]

    The book of involutions , vol

    Knus, M.-A., Merkurjev, A., Rost, M., and Tignol, J.-P. The book of involutions , vol. 44 of American Mathematical Society Colloquium Publications . American Mathematical Society, Prov- idence, RI, 1998. With a preface in French by J. Tits. ARTIN SHAPES 7 Mathematical & Statis...

    1998

Pith tools

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