{"id":"https://openalex.org/W7220358779","doi":"https://doi.org/10.48550/arxiv.2610.03409","title":"A single induction proof of Simons' Riemannian holonomy theorem","display_name":"A single induction proof of Simons' Riemannian holonomy theorem","publication_year":2026,"publication_date":"2026-10-02","ids":{"openalex":"https://openalex.org/W7220358779","doi":"https://doi.org/10.48550/arxiv.2610.03409"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.03409","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03409","pdf_url":"https://arxiv.org/pdf/2610.03409","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/2610.03409","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110620124","display_name":"Lei Ni","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I135237710","display_name":"Zhejiang Normal University","ror":"https://ror.org/01vevwk45","country_code":"CN","type":"education","lineage":["https://openalex.org/I135237710"]},{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["CN","US"],"is_corresponding":true,"raw_author_name":"Ni, Lei","raw_affiliation_strings":["University of California , San Diego , La Jolla , CA 92093 , USA","Zhejiang Normal University , Jinhua , Zhejiang , China, 321004 ; Department of Mathematics ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California , San Diego , La Jolla , CA 92093 , USA","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"Zhejiang Normal University , Jinhua , Zhejiang , China, 321004 ; Department of Mathematics ,","institution_ids":["https://openalex.org/I135237710"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5110620124"],"corresponding_institution_ids":["https://openalex.org/I135237710","https://openalex.org/I36258959"],"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/T13080","display_name":"Advanced Differential Geometry Research","score":0.9883000254631042,"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/T13080","display_name":"Advanced Differential Geometry Research","score":0.9883000254631042,"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/T10229","display_name":"Geometric Analysis and Curvature Flows","score":0.006399999838322401,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T12351","display_name":"Geometry and complex manifolds","score":0.002899999963119626,"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/curvature-operator","display_name":"curvature operator","score":0.640999972820282},{"id":"https://openalex.org/keywords/local-symmetry","display_name":"local symmetry","score":0.5799999833106995},{"id":"https://openalex.org/keywords/irreducibility","display_name":"irreducibility","score":0.4909999966621399},{"id":"https://openalex.org/keywords/riemannian-manifolds","display_name":"Riemannian manifolds","score":0.7070000171661377}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8220999836921692},{"id":"https://openalex.org/C32518243","wikidata":"https://www.wikidata.org/wiki/Q907926","display_name":"Holonomy","level":2,"score":0.61080002784729},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5519000291824341},{"id":"https://openalex.org/C42448751","wikidata":"https://www.wikidata.org/wiki/Q855622","display_name":"Sectional curvature","level":4,"score":0.40709999203681946},{"id":"https://openalex.org/C195065555","wikidata":"https://www.wikidata.org/wiki/Q214881","display_name":"Curvature","level":2,"score":0.4049000144004822},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.38830000162124634},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.38109999895095825},{"id":"https://openalex.org/C12089564","wikidata":"https://www.wikidata.org/wiki/Q1195879","display_name":"Ricci curvature","level":3,"score":0.3702000081539154},{"id":"https://openalex.org/C2779593128","wikidata":"https://www.wikidata.org/wiki/Q632814","display_name":"Riemannian manifold","level":2,"score":0.365200012922287},{"id":"https://openalex.org/C12362212","wikidata":"https://www.wikidata.org/wiki/Q728435","display_name":"Linear subspace","level":2,"score":0.33250001072883606},{"id":"https://openalex.org/C183517385","wikidata":"https://www.wikidata.org/wiki/Q855112","display_name":"Riemann curvature tensor","level":3,"score":0.33070001006126404},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.31709998846054077},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.31360000371932983},{"id":"https://openalex.org/C161505775","wikidata":"https://www.wikidata.org/wiki/Q3240280","display_name":"Direct proof","level":2,"score":0.30489999055862427},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2957000136375427},{"id":"https://openalex.org/C37253","wikidata":"https://www.wikidata.org/wiki/Q5156502","display_name":"Complete intersection","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C68363185","wikidata":"https://www.wikidata.org/wiki/Q180969","display_name":"Algebraic geometry","level":2,"score":0.28619998693466187},{"id":"https://openalex.org/C12520029","wikidata":"https://www.wikidata.org/wiki/Q1147161","display_name":"Scalar curvature","level":3,"score":0.28189998865127563},{"id":"https://openalex.org/C74349738","wikidata":"https://www.wikidata.org/wiki/Q1517914","display_name":"Closed manifold","level":3,"score":0.2754000127315521},{"id":"https://openalex.org/C151300846","wikidata":"https://www.wikidata.org/wiki/Q125539","display_name":"Submanifold","level":2,"score":0.2718999981880188},{"id":"https://openalex.org/C77462122","wikidata":"https://www.wikidata.org/wiki/Q15176852","display_name":"Intersection theory","level":5,"score":0.26930001378059387},{"id":"https://openalex.org/C165700671","wikidata":"https://www.wikidata.org/wiki/Q203484","display_name":"Laplace operator","level":2,"score":0.26840001344680786},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.26589998602867126},{"id":"https://openalex.org/C121208196","wikidata":"https://www.wikidata.org/wiki/Q17103928","display_name":"Minimal volume","level":5,"score":0.2639999985694885},{"id":"https://openalex.org/C121705324","wikidata":"https://www.wikidata.org/wiki/Q1510587","display_name":"Pseudo-Riemannian manifold","level":4,"score":0.26260000467300415},{"id":"https://openalex.org/C183212220","wikidata":"https://www.wikidata.org/wiki/Q3345669","display_name":"Heat kernel","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.2524000108242035},{"id":"https://openalex.org/C202854965","wikidata":"https://www.wikidata.org/wiki/Q3044470","display_name":"Constructive proof","level":2,"score":0.25189998745918274},{"id":"https://openalex.org/C165818556","wikidata":"https://www.wikidata.org/wiki/Q213488","display_name":"Geodesic","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.03409","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03409","pdf_url":"https://arxiv.org/pdf/2610.03409","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.2610.03409","doi":"https://doi.org/10.48550/arxiv.2610.03409","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.03409","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":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.03409","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03409","pdf_url":"https://arxiv.org/pdf/2610.03409","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/W7220358779.pdf","grobid_xml":"https://content.openalex.org/works/W7220358779.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4233245216","https://openalex.org/W1518736943","https://openalex.org/W2156120870","https://openalex.org/W7221493661","https://openalex.org/W7123958067","https://openalex.org/W2948487689","https://openalex.org/W4211085565","https://openalex.org/W4232971669","https://openalex.org/W1606935066","https://openalex.org/W4251386832"],"abstract_inverted_index":{"We":[0],"give":[1],"a":[2,14,58,78,83],"detailed":[3,42,128],"and":[4,36,116],"complete":[5],"algebraic":[6,55,141],"proof":[7,30],"of":[8,21,25,34,44,53,130,134],"Simons'":[9],"Riemannian":[10,137],"holonomy":[11,94],"theorem":[12],"by":[13,57,92],"single":[15],"strong":[16],"induction":[17],"on":[18],"the":[19,22,26,32,41,45,49,73,93,98,103,107,113,119,122,127,131,135,140],"dimension":[20],"linear":[23],"span":[24,106],"curvature":[27,65,74],"orbit.":[28],"The":[29,61],"uses":[31],"construction":[33],"flats":[35],"root":[37,104],"centralizers,":[38],"but":[39],"replaces":[40],"analysis":[43],"common":[46,79],"zero-weight":[47],"space,":[48],"most":[50],"technical":[51],"core":[52],"previous":[54],"proofs,":[56],"trace-vanishing":[59],"lemma.":[60],"lemma":[62,100],"applies":[63],"to":[64,77],"operators":[66],"contained":[67],"in":[68],"an":[69],"ideal":[70],"that":[71,102],"annihilates":[72],"module.":[75],"Restriction":[76],"geodesic":[80],"subspace":[81],"produces":[82],"proper":[84],"invariant":[85],"kernel.":[86],"Induction":[87],"makes":[88],"this":[89],"kernel":[90],"fixed":[91],"action,":[95],"after":[96],"which":[97],"trace":[99],"shows":[101],"centralizers":[105],"ambient":[108],"space.":[109],"Their":[110],"intersection":[111],"recovers":[112],"maximal":[114],"flat,":[115],"irreducibility":[117],"completes":[118],"proof.":[120],"For":[121],"completeness":[123],"we":[124],"also":[125],"include":[126],"derivation":[129],"local":[132],"symmetry":[133],"underlying":[136],"manifold":[138],"from":[139],"theorem.":[142]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-10-06T00:00:00"}