{"id":"https://openalex.org/W7214072853","doi":"https://doi.org/10.48550/arxiv.2609.25159","title":"Monoidal Gr\u00f6bner systems and categories of affine Brauer type","display_name":"Monoidal Gr\u00f6bner systems and categories of affine Brauer type","publication_year":2026,"publication_date":"2026-09-21","ids":{"openalex":"https://openalex.org/W7214072853","doi":"https://doi.org/10.48550/arxiv.2609.25159"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.25159","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.25159","pdf_url":"https://arxiv.org/pdf/2609.25159","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.25159","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055886598","display_name":"Sigiswald Barbier","orcid":"https://orcid.org/0000-0002-5310-882X","observed_orcids":["https://orcid.org/0000-0002-5310-882X"]},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Barbier, Sigiswald","raw_affiliation_strings":["Ghent University , Ghent , Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ghent University , Ghent , Belgium","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5093356452","display_name":"L\u00e9o Schelstraete","orcid":"https://orcid.org/0000-0001-7167-3964","observed_orcids":["https://orcid.org/0000-0001-7167-3964"]},"institutions":[{"id":"https://openalex.org/I4210119712","display_name":"Max Planck Institute for Mathematics","ror":"https://ror.org/02dh8ja68","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210119712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Schelstraete, L\u00e9o","raw_affiliation_strings":["Max Planck Institute for Mathematics , Bonn , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Mathematics , Bonn , Germany","institution_ids":["https://openalex.org/I4210119712"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.0010000000474974513,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/basis-theorem","display_name":"basis theorem","score":0.9509999752044678},{"id":"https://openalex.org/keywords/form","display_name":"form","score":0.3490000069141388}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8780999779701233},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.6832000017166138},{"id":"https://openalex.org/C2779904274","wikidata":"https://www.wikidata.org/wiki/Q1945014","display_name":"Monoidal category","level":2,"score":0.6079999804496765},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5485000014305115},{"id":"https://openalex.org/C62623296","wikidata":"https://www.wikidata.org/wiki/Q686291","display_name":"Affine group","level":3,"score":0.4779999852180481},{"id":"https://openalex.org/C112128483","wikidata":"https://www.wikidata.org/wiki/Q382504","display_name":"Affine hull","level":4,"score":0.462799996137619},{"id":"https://openalex.org/C95565831","wikidata":"https://www.wikidata.org/wiki/Q382698","display_name":"Affine coordinate system","level":4,"score":0.44769999384880066},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.4334000051021576},{"id":"https://openalex.org/C207221997","wikidata":"https://www.wikidata.org/wiki/Q938614","display_name":"Affine combination","level":3,"score":0.42640000581741333},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.41659998893737793},{"id":"https://openalex.org/C51255310","wikidata":"https://www.wikidata.org/wiki/Q1163016","display_name":"Tensor product","level":2,"score":0.4117000102996826},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4115999937057495},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.39160001277923584},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3862000107765198},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.3718000054359436},{"id":"https://openalex.org/C6128414","wikidata":"https://www.wikidata.org/wiki/Q3892887","display_name":"Affine representation","level":5,"score":0.329800009727478},{"id":"https://openalex.org/C23281594","wikidata":"https://www.wikidata.org/wiki/Q4958218","display_name":"Brauer's theorem on induced characters","level":3,"score":0.3156000077724457},{"id":"https://openalex.org/C187999345","wikidata":"https://www.wikidata.org/wiki/Q7269007","display_name":"Quantum affine algebra","level":5,"score":0.3095000088214874},{"id":"https://openalex.org/C62196294","wikidata":"https://www.wikidata.org/wiki/Q900456","display_name":"Brauer group","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C23684344","wikidata":"https://www.wikidata.org/wiki/Q382520","display_name":"Affine geometry","level":4,"score":0.3005000054836273},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.2978000044822693},{"id":"https://openalex.org/C172331165","wikidata":"https://www.wikidata.org/wiki/Q524607","display_name":"General linear group","level":3,"score":0.27730000019073486},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2757999897003174},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.26739999651908875},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.2583000063896179},{"id":"https://openalex.org/C76069219","wikidata":"https://www.wikidata.org/wiki/Q5758318","display_name":"Higher category theory","level":4,"score":0.25060001015663147}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.25159","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.25159","pdf_url":"https://arxiv.org/pdf/2609.25159","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.25159","doi":"https://doi.org/10.48550/arxiv.2609.25159","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.25159","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.25159","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.25159","pdf_url":"https://arxiv.org/pdf/2609.25159","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214072853.pdf","grobid_xml":"https://content.openalex.org/works/W7214072853.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1672238818","https://openalex.org/W2303848218","https://openalex.org/W2994914480","https://openalex.org/W3143314841","https://openalex.org/W3180746611","https://openalex.org/W4376166997","https://openalex.org/W4389072814","https://openalex.org/W4400104897","https://openalex.org/W4403574005","https://openalex.org/W4413991540","https://openalex.org/W4416606195","https://openalex.org/W7126119184","https://openalex.org/W7126350773"],"related_works":["https://openalex.org/W2308931823","https://openalex.org/W4400104897","https://openalex.org/W2733882902","https://openalex.org/W2296461251","https://openalex.org/W4414044654","https://openalex.org/W4285499728","https://openalex.org/W7214073881","https://openalex.org/W7100238089","https://openalex.org/W4384644340","https://openalex.org/W2903417681"],"abstract_inverted_index":{"We":[0,48],"introduce":[1],"an":[2,98],"analogue":[3],"of":[4,35,55,90,101,119,151,156,190],"Gr\u00f6bner":[5,38],"bases,":[6],"or":[7],"equivalently,":[8],"Bergman's":[9],"diamond":[10],"lemma,":[11],"for":[12,85,123],"linear":[13,45,59],"(super)monoidal":[14,60],"categories.":[15],"It":[16],"gives":[17,115],"a":[18,36,83,86,148,180,195],"systematic":[19],"way":[20],"to":[21,26,53,88,97,178],"study":[22],"monoidal":[23,37],"ideals":[24],"and":[25,40,76,131,136,159,174],"prove":[27],"basis":[28,121],"theorems.":[29],"The":[30],"central":[31],"notion":[32],"is":[33,41,82,168],"that":[34,62],"system":[39,112],"based":[42],"on":[43],"higher":[44,181],"rewriting":[46],"theory.":[47],"then":[49],"apply":[50],"the":[51,64,68,95,109,120,124,128,132,144,152,160,169,188],"theory":[52],"categories":[54,61,189],"affine":[56,69,91,125,133,162,191],"Brauer":[57,70,92,126,172,192],"type:":[58],"have":[63],"same":[65],"hom-basis":[66],"as":[67],"category,":[71,127,147],"but":[72],"possibly":[73],"distinct":[74],"composition":[75],"tensor":[77],"product.":[78],"Our":[79],"main":[80],"result":[81],"criterion":[84],"category":[87,130,173],"be":[89],"type,":[93],"reducing":[94],"question":[96],"explicit":[99],"list":[100],"local":[102],"computations,":[103],"which":[104,175],"we":[105,142,176,186],"partially":[106],"implement":[107],"in":[108],"computer":[110],"algebra":[111],"FORM.":[113],"This":[114],"new":[116,138],"combinatorial":[117],"proofs":[118],"theorems":[122],"nil-Brauer":[129,146],"VW":[134,163],"supercategory,":[135,164],"yields":[137],"examples.":[139],"In":[140],"particular,":[141],"construct":[143],"odd":[145],"conjectural":[149],"supercategorification":[150],"split":[153],"$\\imath$quantum":[154],"group":[155],"rank":[157],"one,":[158],"quantized":[161,170],"whose":[165],"non-affine":[166],"part":[167],"periplectic":[171],"expect":[177],"satisfy":[179],"quantum":[182],"Schur--Weyl":[183],"duality.":[184],"Finally,":[185],"classify":[187],"type":[193],"admitting":[194],"sufficiently":[196],"simple":[197],"presentation.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-24T00:00:00"}