{"id":"ca1e6b11-a03a-42cd-9768-221fc89c4cc8","arxiv_id":"2411.17381","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every Gabriel quiver of an algebra of generalized quaternion type reduces to a finite tame periodicity shadow, with all 2-cycles confined to a small list of local blocks.","lead":"This paper introduces a new combinatorial object, the periodicity shadow, a signed matrix that records the arrow imbalances of the Gabriel quiver of a tame symmetric algebra of period four. It proves that every generalized quaternion type algebra has a Gabriel quiver built from a finite shadow list by attaching 2-cycles only in a few permitted block shapes.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Reconstruction Theorem rests on unverified 'wild subcategory in covering' assertions, including explicit Ringel-list identifications; these need independent checking.","rationale":"The reader's weakest assumption identifies exactly the same load-bearing concern: the Reconstruction Theorem proof is not self-contained because the wild-subcategory-in-covering checks are asserted rather than verified, and the shadow enumeration is outsourced. My stress-test sharpens this by pointing to the Ringel-list identifications in Lemma 5.10 as the most checkable instance of the omitted arguments. The concern is genuine: if any displayed 'wild subcategory' is not wild, the corresponding exclusion of a 2-cycle configuration fails, and the Main Theorem's block classification is not established. However, I found no demonstrated internal contradiction in the main line: Theorem 2.2 follows from the periodic resolution, and the combinatorial framework is coherent. The paper explicitly acknowledges the omission, which supports the reader's CONDITIONAL rather than ACCEPT verdict. Since the reader already conditioned acceptance on supplying these arguments, my stress-test does not change the verdict; it confirms that the central claim is plausible but currently rests on unverified verifications. I therefore recommend UNCHANGED: the verdict should remain CONDITIONAL until the omitted covering checks and the associated identifications are independently supplied.","tokens_in":29598,"tokens_out":7532,"duration_ms":75067,"concrete_test":"For each displayed 'wild subcategory in covering' diagram appearing in Lemmas 5.1, 5.2, 5.6, 5.8, 5.9 and 5.10, write down explicitly: the bound quiver defining the subcategory, the quotient C of Λ/J^d, the Galois group G, and the full embedding into the covering. Then verify wildness, for example by using GAP/QPA to compute the representation type. A minimal decisive check is to verify the three Ri-labelled identifications in Lemma 5.10 against Ringel's list [30, 1.5 Theorem 2]; if any of the identifications fails, Lemma 5.10 and hence the second/third block forms in Theorem 5.11 do not follow.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Main Theorem's proof works by exclusion: Lemma 5.1 excludes vertices of degree at least 3 in E, Lemma 5.2 excludes components with at least 4 vertices, Theorem 5.6 excludes triangle and length-2 line components, and Lemmas 5.7–5.10 restrict the neighbourhood of each 2-cycle to the displayed blocks. Each exclusion is implemented through the abbreviation defined in Section 2: 'At any time when we use this abbreviation, appropriate arguments can be verified, but we do not elaborate on this, to avoid making long proofs even longer.' This is not a harmless stylistic shortcut: every displayed diagram is supposed to be a wild subcategory of a Galois covering of a quotient of Λ/J^d. If any displayed diagram is not actually wild, the corresponding 2-cycle configuration is not excluded and the block classification in Theorem 5.11 and the Main Theorem is incomplete. Lemma 5.10 is particularly delicate because it asserts that specific subcategories are isomorphic to the wild one-relation algebras RiII, RiIV and RiVIII from Ringel's list [30], but the bound quivers, relations and covering groups are not supplied, so these identifications cannot be checked from the text. The paper itself flags the omission, but the flag appears in the preliminaries and the subsequent proof leans on the omitted verification repeatedly. This is a real verification gap in the central claim, not a demonstrated contradiction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces 'periodicity shadows', skew-symmetric integer matrices derived from the signed adjacency matrices of Gabriel quivers of tame symmetric algebras of period four (GQT algebras). The author proves the identity Ad_Q·C = 0 for the Cartan matrix C of any GQT algebra, defines periodicity shadows (PS1–PS3) and tame periodicity shadows (T1–T3), reports computational counts for n ≤ 6 from companion papers, and proves a 'Reconstruction Theorem' asserting that every GQT Gabriel quiver is obtained from a reduced quiver whose shadow lies in a finite set S(n) by adding 2-cycles whose positions are constrained to a short list of blocks. The paper positions this as a first step toward a structural classification of GQT algebras and as supporting evidence for the generalized weighted surface algebra conjecture.","tokens_in":29846,"tokens_out":4565,"duration_ms":47579,"significance":"If correct, the Reconstruction Theorem is a strong and useful global restriction on Gabriel quivers of GQT algebras: it confines the reduced shadow to a finite list and sharply limits where 2-cycles can appear. The core identity in Theorem 2.2 is elegant and follows cleanly from the period-4 exact sequences for simple modules, and the zero-shadow Corollaries 5.3–5.4 generalize earlier results of Erdmann in a wider class. The matrix viewpoint is a promising combinatorial tool. However, the proof of the central reconstruction claim relies on a large number of assertions that wild subcategories occur in Galois coverings, and these assertions are explicitly not verified in the manuscript; several also depend on unpublished companion papers. The paper's own preliminary section acknowledges the omitted verifications, so the reader cannot currently certify the Main Theorem from the text alone.","major_comments":[{"comment":"The 'wild subcategory in covering' abbreviation is load-bearing. The text states in Section 2 that 'appropriate arguments can be verified, but we do not elaborate on this', yet Lemmas 5.1, 5.2, 5.8, 5.9 and 5.10 each exclude a 2-cycle configuration solely by displaying such a subcategory. Lemma 5.10 is the most delicate: it asserts isomorphisms to the wild one-relation algebras RiII, RiIV and RiVIII from Ringel's list [30] without supplying the bound quivers, the relations, or the covering groups. Since Theorem 5.11 and hence the Reconstruction Theorem depend on each of these exclusions, the proof is incomplete as written. I ask the author to provide the missing data, or to move these verifications to an appendix with enough detail for an independent check.","section":"Section 2 and Lemmas 5.1, 5.2, 5.8–5.10"},{"comment":"The Main Theorem requires that the shadow Ad_{Q^×} of every GQT algebra be a tame periodicity shadow in S(n). The paper proves the PS conditions and the bound T1 only informally from the absence of a wild Kronecker subquiver, but T2 and T3 are asserted rather than proved. Conditions T2 and T3 are not derived from tameness in the text; they are simply declared after the sentence 'if Λ is tame, then the associated adjacency matrix A = AdQ satisfy the following properties'. A rigorous proof or a precise reference for T1–T3 for every tame symmetric algebra with 4-periodic simples is needed before part (a) of the Main Theorem is established.","section":"Section 4, Definition 4.2 and Section 3"},{"comment":"The numerical enumeration of periodicity shadows (5, 12, 65, 516 for n = 3, 4, 5, 6, together with the numbers of shades and essential shadows) and the 'full algorithm' are deferred to unpublished companion papers [3] and [4]. The current manuscript does not describe the recursive generation method, the verification of PS3, or the exact definition of 'essential shadows' sufficiently for the counts to be reproduced. If the Reconstruction Theorem is meant to be self-contained, the existence of the finite set S(n) should not depend on unpublished computational data, or the data should be included as an appendix.","section":"Section 4, table of shadows and references [3], [4]"},{"comment":"In the proof excluding the line graph F2, the displayed subcategory H is first called 'tame (hereditary)' and is then extended to wild subcategories. This step is itself one of the unverified covering assertions flagged above: no proof is given that the displayed H actually occurs as a full convex subcategory of a Galois covering of a quotient of Λ/J^d. Additionally, when Q0 = G0 and the arrow σ : 1 → 3 is considered, the case 'α1β1 ≺ I' invokes a loop ρ at vertex 1 without showing the covering argument that produces it. These omissions are not merely stylistic because they are used to rule out a genuine component type in Theorem 5.6.","section":"Theorem 5.6, exclusion of the 3-vertex line F2"}],"minor_comments":[{"comment":"The text contains numerous typos and OCR artifacts, including 'coeeffcients', 'similary', 'Postion', 'Garbiel', 'desined', 'choosed', and repeated symbols such as 'greaterorequalslant' and '/d47/d47'. These should be corrected in revision.","section":"Throughout"},{"comment":"In the paragraph following the exact sequence (∗), the sentence 'We denote by p+_i (respectively, p+_i) the dimension vector' should presumably read 'p+_i (respectively, p−_i)'; as written the two objects are not distinguished, which is confusing for the later identities p^+_i = p^−_i.","section":"Section 2, exact sequence notation"},{"comment":"The displayed block diagrams in the Main Theorem and Theorem 5.11 are heavily garbled in the manuscript, making it impossible to read the precise arrow configurations. Since those diagrams are the entire content of the 2-cycle placement restrictions, they should be typeset cleanly or supplemented with a formal textual description.","section":"Main Theorem and Theorem 5.11"},{"comment":"The paragraph after Corollary 5.4 states that there are no GQT algebras with non-singular Cartan matrix and more than 4 simple modules, while the corollary itself gives the stronger bound 'at most 3 vertices'. This numerical discrepancy should be corrected or rephrased.","section":"Corollary 5.4 and following discussion"},{"comment":"References [3] and [4] are listed as 'soon on arXiv'; if they remain unavailable, the claims that depend on them should be explicitly marked as conditional on those papers.","section":"References [3], [4]"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's core matrix identity and the general strategy are sound, but the Reconstruction Theorem currently rests on two external pillars: hundreds of 'wild subcategory in covering' assertions that are not verified in the text, and computational lists that are not yet publicly available. For a journal publication, I would want at least the Ringel-list identifications in Lemma 5.10 and the main exclusions in Lemmas 5.1–5.2 and Theorem 5.6 to be documented in detail, and the computational part to be either included or clearly separated as conditional. This is fixable, but it is a substantial revision rather than a local edit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The periodicity shadow idea is genuinely new, and the matrix identity Ad_Q·C = 0 is a clean consequence of period-4 exact sequences. The paper uses it to get a global restriction on Gabriel quivers of GQT algebras: the reduced quiver lies in a finite set S(n), and 2-cycles are confined to a short list of blocks. If the main theorem holds, it is a real step toward the generalized weighted surface algebra conjecture.\n\nWhat is good: Theorem 2.2 is straightforward and convincing. The definition of tame periodicity shadow is natural, and the zero-shadow corollary (Ad_Q = 0 implies at most 3 vertices, with explicit quivers) extends Erdmann's old results in an elegant way. The author is honest about what is deferred. The connection to exchange matrices is noted, and the relevant literature is cited.\n\nWhere it is soft: the proof of the Reconstruction Theorem is an exclusion argument, and the exclusions are mostly handled by an abbreviation: \"the algebra admits the following wild subcategory in covering.\" Section 2 explicitly says appropriate arguments can be verified but are not elaborated. That is not a harmless shortcut. Lemmas 5.1, 5.2, 5.8, 5.9, and 5.10 each lean on displayed diagrams that are asserted to be wild, or wild one-relation algebras RiII, RiIV, RiVIII from Ringel's list, in a Galois covering of a quotient of Λ/J^d. The bound quivers, relations, and covering groups are not supplied for the Ringel identifications, so an independent referee cannot check Lemma 5.10 as written. If any displayed diagram is not wild, the corresponding 2-cycle block is not excluded, and the Main Theorem's block list is incomplete. The paper itself flags the omission once, then leans on it repeatedly. This is a genuine verification gap in the central claim, not a demonstrated contradiction. The shadow enumeration for n ≤ 6 is also outsourced to unpublished companions [3,4]; that is acceptable if the computation is reproducible, but the paper does not include the algorithm or the lists.\n\nMy take: the central strategy is sound and likely correct, but the proof of the Main Theorem is not self-contained. I would not cite the Main Theorem as a theorem until the covering checks appear in a version or a companion note. The paper deserves a serious referee—this is not a desk reject—and the referee should be explicitly asked to verify at least Lemma 5.10 and one of the wild-subcategory claims independently. For a journal, conditional acceptance, with an invitation to supply the omitted arguments or move the covering checks to an appendix, seems right.","headline":"New combinatorial invariant with a plausible but verification-heavy main theorem; the matrix identity is solid, but the covering checks need independent checking.","tokens_in":30367,"tokens_out":1942,"would_cite":false,"duration_ms":20258,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05E16","16D50","16E05","16E20","16G20","16G60","16Z05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that every generalized quaternion type algebra's Gabriel quiver is assembled from one of finitely many periodicity shadow matrices plus 2-cycles in four block shapes.","keywords":["periodicity shadow","generalized quaternion type","Gabriel quiver","signed adjacency matrix","tame symmetric algebra","period 4","Cartan matrix","2-cycles"],"falsifier":"Exhibit one GQT algebra $\\Lambda$ whose Gabriel quiver $Q$ contains a 2-cycle that is not contained in any of the four blocks listed in the Main Theorem, or whose reduced quiver $Q^\\times$ has signed adjacency matrix not conjugate by relabelling to any matrix in $S(n)$; for $n\\le 6$ the shadow lists announced in the paper make this directly checkable, and a single such example would refute the Reconstruction Theorem.","tokens_in":29349,"feed_emoji":"🧩","tokens_out":12900,"duration_ms":102269,"temperature":0.7,"pith_summary":"The paper introduces a combinatorial invariant called a periodicity shadow: a skew-symmetric integer matrix satisfying a short list of conditions distilled from the signed adjacency matrices of algebras whose simple modules are periodic of period 4, together with extra bounds coming from tameness. Its central theorem states that for every algebra of generalized quaternion type (GQT) with $n$ vertices, the Gabriel quiver is obtained from the reduced quiver of one of finitely many tame periodicity shadows by adding loops and 2-cycles, with every 2-cycle confined to one of four explicitly listed local blocks. This matters because it turns a question about infinite module categories into finite matrix combinatorics, and it supplies a concrete route toward the open conjecture that all GQT algebras are generalized weighted surface algebras. The engine behind the theorem is the identity $\\mathrm{Ad}_Q\\,C=0$, which links the signed adjacency matrix of the quiver to the algebra's Cartan matrix.","feed_headline":"Every GQT quiver is a finite shadow plus 2-cycles","feed_subtitle":"A matrix invariant reduces a wild classification problem to finite lists and four local blocks.","key_machinery":"The central object is the periodicity shadow: a skew-symmetric integer matrix $A$ that is singular, has no nonzero row whose nonzero entries all share one sign, and admits a symmetric matrix $C$ with natural entries and nonzero columns solving $AC=0$; a tame periodicity shadow additionally has entries bounded by $\\pm 2$ and satisfies two row restrictions (T2-T3) that exclude wild subquivers like triple arrows and stars. The load-bearing identity is $\\mathrm{Ad}_Q\\,C=0$, which holds because period-4 simple modules force equality of the dimension vectors of the projective cover of $\\Omega(S_i)$ and the injective envelope of $\\Omega^{-1}(S_i)$. The proof's mechanism is a chain of lemmas that combine this identity with triangle relation-propagation rules and with assertions that certain configurations become wild algebras in a Galois covering of a quotient of $\\Lambda$; together these exclude every 2-cycle position outside the four listed blocks.","core_discovery":"On the paper's own terms, the discovery is that the entire combinatorial shape of the Gabriel quiver of a GQT algebra is controlled by its shadow, the signed adjacency matrix $\\mathrm{Ad}_Q$. The Reconstruction Theorem (the Main Theorem) asserts that for each $n$ there is a finite set $S(n)$ of tame periodicity shadows such that every GQT algebra with $n$-vertex Gabriel quiver has reduced quiver $Q^\\times$ with $\\mathrm{Ad}_{Q^\\times}\\in S(n)$ up to relabelling, and such that $Q$ arises from $Q^\\times$ by attaching 2-cycles and possibly loops, each 2-cycle lying inside one of four displayed blocks. The proof shows that the shadow satisfies $\\mathrm{Ad}_Q\\,C=0$ for the Cartan matrix $C$, a consequence of the period-4 resolution of simple modules, and then uses this equation together with covering-theory wildness checks to rule out all 2-cycle placements except those in the block list.","pith_inferences":["If the theorem holds, the same shadow equation should classify Gabriel quivers for the wider class of tame symmetric algebras with period-4 simples, since the equation only uses periodicity of simples, not full GQT status.","The finite sets $S(n)$ offer a concrete verification path for the conjecture that all GQT algebras are generalized weighted surface algebras: enumerate all shadows and block gluings for small $n$, and compare each against the known surface-algebra quivers.","The omitted 'wild subcategory in covering' assertions are the natural place to apply machine-checkable proof formalization; a fully verified version of those checks would close the main gap in the written proof."],"forward_implications":["For each fixed $n$, the set of possible shadows is finite, so classifying Gabriel quivers of GQT algebras becomes a finite combinatorial search; the small cases give 5, 12, 65 and 516 basic shadows for $n=3,4,5,6$.","In the zero-shadow case, the Gabriel quiver has at most three vertices and is one of two explicit shapes; this covers all GQT algebras with non-singular Cartan matrix, including quaternion-type algebras.","Every 2-cycle in a GQT Gabriel quiver is contained in one of four displayed blocks, so the quiver is a glueing of those blocks at white outlet vertices.","The 2-cycle positions match the block structure of generalized weighted surface algebras, confirming the exhaustion conjecture at the level of 2-cycle combinatorics.","The reduced quiver's shadow lies in a finite set $S(n)$, so any proposed GQT quiver can be checked against a finite list rather than against the full module category."],"supporting_citations":[{"why":"Defines algebras of generalized quaternion type and supplies the period-4 simple module setup from which the shadow equation $\\mathrm{Ad}_Q\\,C=0$ is derived.","marker":"[19]"},{"why":"Provides the triangle and relation-propagation lemmas used throughout Section 5 to exclude 2-cycle configurations.","marker":"[15]"},{"why":"Supplies the Galois covering criterion used to conclude that a displayed subcategory in covering forces wildness.","marker":"[7]"},{"why":"Gives the covering-theory result linking wild subcategories in coverings to wildness of the original algebra.","marker":"[8]"},{"why":"Provides the list of wild one-relation algebras used in Lemma 5.10 to rule out the final 1-regular block cases.","marker":"[30]"}],"fun_headline_variants":["Shadows pin down quivers of periodic algebras","Matrix shadows decode periodic quivers","Periodicity shadows reduce GQT quiver classification","Shadows + 2-cycles describe GQT quivers","A matrix key to quiver shape of GQT algebras"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The most fragile premise is the repeated assertion, left unverified in the text, that a displayed configuration is a wild subcategory in a Galois covering of a quotient of the algebra; if any one of these covering checks is incorrect, the corresponding exclusion of a 2-cycle configuration and hence the block classification in the Main Theorem fails.","fun_headline_variants_meta":{"raw":{"variants":["Shadows pin down quivers of periodic algebras","Matrix shadows decode periodic quivers","Periodicity shadows reduce GQT quiver classification","Shadows + 2-cycles describe GQT quivers","A matrix key to quiver shape of GQT algebras"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001086,"raw_usage":{"total_tokens":4569,"prompt_tokens":1001,"completion_tokens":3568,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":617,"completion_tokens_details":{"reasoning_tokens":3495}},"tokens_in":617,"tokens_out":3568,"duration_ms":24628,"temperature":1.0,"reasoning_tokens":3495,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:11:20.048905+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit one GQT algebra $\\Lambda$ whose Gabriel quiver $Q$ contains a 2-cycle that is not contained in any of the four blocks listed in the Main Theorem, or whose reduced quiver $Q^\\times$ has signed adjacency matrix not conjugate by relabelling to any matrix in $S(n)$; for $n\\le 6$ the shadow lists announced in the paper make this directly checkable, and a single such example would refute the Reconstruction Theorem.","supporting_citations":[{"cited_title":"Erdmann, A","cited_arxiv_id":null,"evidence_quote":"Defines algebras of generalized quaternion type and supplies the period-4 simple module setup from which the shadow equation $\\mathrm{Ad}_Q\\,C=0$ is derived."},{"cited_title":"Erdmann, A","cited_arxiv_id":null,"evidence_quote":"Provides the triangle and relation-propagation lemmas used throughout Section 5 to exclude 2-cycle configurations."},{"cited_title":"Dowbor, A","cited_arxiv_id":null,"evidence_quote":"Supplies the Galois covering criterion used to conclude that a displayed subcategory in covering forces wildness."},{"cited_title":"Dowbor, A","cited_arxiv_id":null,"evidence_quote":"Gives the covering-theory result linking wild subcategories in coverings to wildness of the original algebra."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the list of wild one-relation algebras used in Lemma 5.10 to rule out the final 1-regular block cases."}],"review_version":1}