{"id":"https://openalex.org/W7207743499","doi":"https://doi.org/10.48550/arxiv.2609.01996","title":"Baumslag-Solitar Subgroups Obstruct Model Companions for Fields with Group Actions","display_name":"Baumslag-Solitar Subgroups Obstruct Model Companions for Fields with Group Actions","publication_year":2026,"publication_date":"2026-09-02","ids":{"openalex":"https://openalex.org/W7207743499","doi":"https://doi.org/10.48550/arxiv.2609.01996"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.01996","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.01996","pdf_url":"https://arxiv.org/pdf/2609.01996","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.01996","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084306176","display_name":"Makoto Yanagawa","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yanagawa, Makoto","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5084306176"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9829000234603882,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9829000234603882,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.006500000134110451,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.0007999999797903001,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/baumslag-solitar-groups","display_name":"Baumslag-Solitar groups","score":0.9700000286102295},{"id":"https://openalex.org/keywords/model-companion","display_name":"model companion","score":0.9210000038146973},{"id":"https://openalex.org/keywords/thompson-s-groups","display_name":"Thompson's groups","score":0.6959999799728394},{"id":"https://openalex.org/keywords/z2-actions","display_name":"Z2 actions","score":0.550000011920929},{"id":"https://openalex.org/keywords/model-theory-of-fields","display_name":"model theory of fields","score":0.5619999766349792}],"concepts":[{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.694100022315979},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6693000197410583},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6628999710083008},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.6424999833106995},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.6320000290870667},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.6176000237464905},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5130000114440918},{"id":"https://openalex.org/C131715654","wikidata":"https://www.wikidata.org/wiki/Q288465","display_name":"Group action","level":3,"score":0.46389999985694885},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.4587000012397766},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3621000051498413},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3449000120162964},{"id":"https://openalex.org/C81651864","wikidata":"https://www.wikidata.org/wiki/Q874429","display_name":"Group theory","level":2,"score":0.29420000314712524},{"id":"https://openalex.org/C2777404646","wikidata":"https://www.wikidata.org/wiki/Q1057968","display_name":"Finite group","level":3,"score":0.29120001196861267},{"id":"https://openalex.org/C206343339","wikidata":"https://www.wikidata.org/wiki/Q756747","display_name":"Root of unity","level":3,"score":0.27630001306533813},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27379998564720154}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.01996","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.01996","pdf_url":"https://arxiv.org/pdf/2609.01996","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.01996","doi":"https://doi.org/10.48550/arxiv.2609.01996","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.01996","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.01996","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.01996","pdf_url":"https://arxiv.org/pdf/2609.01996","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7207743499.pdf","grobid_xml":"https://content.openalex.org/works/W7207743499.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W4300686828"],"related_works":["https://openalex.org/W2051304539","https://openalex.org/W2081805189","https://openalex.org/W2614564178","https://openalex.org/W2393752708","https://openalex.org/W3009405346","https://openalex.org/W7039679751","https://openalex.org/W6929509281","https://openalex.org/W2076265537","https://openalex.org/W2952277819","https://openalex.org/W7214274637"],"abstract_inverted_index":{"We":[0],"prove":[1],"that":[2],"if":[3],"a":[4,8,20,41,87,91,104],"group":[5,10,29],"$G$":[6],"contains":[7],"Baumslag-Solitar":[9],"$\\mathrm{BS}(m,n)$,":[11],"with":[12,19],"$mn\\neq0$,":[13],"then":[14],"the":[15,77,83],"theory":[16],"of":[17,43,56,93],"fields":[18],"$G$-action":[21],"has":[22,32],"no":[23,33,50],"model":[24,34,51],"companion.":[25],"In":[26],"particular,":[27],"every":[28],"containing":[30],"$\\mathbb{Z}^2\\cong\\mathrm{BS}(1,1)$":[31],"companion":[35],"for":[36,53,69],"its":[37],"field":[38,54],"actions,":[39],"resolving":[40],"conjecture":[42],"Beyarslan":[44],"and":[45,95],"Kowalski.":[46],"Consequently,":[47],"there":[48],"are":[49],"companions":[52],"actions":[55],"$\\mathbb{Q}^2$,":[57],"Thompson's":[58],"groups":[59],"$F,T,V$,":[60],"or":[61],"Higman's":[62],"group.":[63,109],"Our":[64],"argument":[65],"adapts":[66],"Hrushovski's":[67,98],"method":[68,99],"two":[70],"commuting":[71],"automorphisms.":[72],"The":[73],"key":[74],"modification":[75],"is":[76],"cyclotomic":[78],"condition":[79],"$\u03b8_q$,":[80],"which":[81],"removes":[82],"need":[84],"to":[85,106],"prescribe":[86],"non-trivial":[88],"action":[89],"on":[90],"root":[92],"unity":[94],"thereby":[96],"makes":[97],"applicable":[100],"after":[101],"passing":[102],"from":[103],"subgroup":[105],"an":[107],"ambient":[108]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-04T00:00:00"}