{"id":"https://openalex.org/W7221111477","doi":"https://doi.org/10.48550/arxiv.2610.11800","title":"Sharp commutator bounds on complex simple Lie algebras: the B\u00f6ttcher--Wenzel inequality and the comass of the Cartan $3$-form","display_name":"Sharp commutator bounds on complex simple Lie algebras: the B\u00f6ttcher--Wenzel inequality and the comass of the Cartan $3$-form","publication_year":2026,"publication_date":"2026-10-08","ids":{"openalex":"https://openalex.org/W7221111477","doi":"https://doi.org/10.48550/arxiv.2610.11800"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.11800","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.11800","pdf_url":"https://arxiv.org/pdf/2610.11800","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.11800","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012352674","display_name":"Daniel J. F. Fox","orcid":"https://orcid.org/0000-0002-8568-6931","observed_orcids":["https://orcid.org/0000-0002-8568-6931"]},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Fox, Daniel J. F.","raw_affiliation_strings":["Departamento de Matem\u00e1tica Aplicada , Escuela T\u00e9cnica Superior de Arquitectura , Universidad Polit\u00e9cnica de Madrid , Av. Juan de Herrera 4 , 28040 Madrid Espa\u00f1a"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica Aplicada , Escuela T\u00e9cnica Superior de Arquitectura , Universidad Polit\u00e9cnica de Madrid , Av. Juan de Herrera 4 , 28040 Madrid Espa\u00f1a","institution_ids":["https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5012352674"],"corresponding_institution_ids":["https://openalex.org/I88060688"],"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/T11673","display_name":"Advanced Topics in Algebra","score":0.26809999346733093,"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"}},"topics":[{"id":"https://openalex.org/T11673","display_name":"Advanced Topics in Algebra","score":0.26809999346733093,"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/T11564","display_name":"Mathematical Inequalities and Applications","score":0.24490000307559967,"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/T10792","display_name":"Matrix Theory and Algorithms","score":0.1687999963760376,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/commutator-bounds","display_name":"commutator bounds","score":0.9179999828338623},{"id":"https://openalex.org/keywords/complex-simple-lie-algebras","display_name":"complex simple Lie algebras","score":0.921999990940094},{"id":"https://openalex.org/keywords/dual-coxeter-number","display_name":"dual Coxeter number","score":0.8510000109672546},{"id":"https://openalex.org/keywords/dynkin-index","display_name":"Dynkin index","score":0.7670000195503235},{"id":"https://openalex.org/keywords/exceptional-lie-algebras","display_name":"exceptional Lie algebras","score":0.8489999771118164},{"id":"https://openalex.org/keywords/hermitian-forms","display_name":"Hermitian forms","score":0.5730000138282776},{"id":"https://openalex.org/keywords/spectral-norm","display_name":"spectral norm","score":0.5249999761581421},{"id":"https://openalex.org/keywords/morse-index","display_name":"Morse index","score":0.4449999928474426}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9034000039100647},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5881999731063843},{"id":"https://openalex.org/C51568863","wikidata":"https://www.wikidata.org/wiki/Q664495","display_name":"Lie algebra","level":2,"score":0.5103999972343445},{"id":"https://openalex.org/C94940","wikidata":"https://www.wikidata.org/wiki/Q652941","display_name":"Hermitian matrix","level":2,"score":0.4787999987602234},{"id":"https://openalex.org/C145620117","wikidata":"https://www.wikidata.org/wiki/Q2989763","display_name":"Commutator","level":4,"score":0.47850000858306885},{"id":"https://openalex.org/C2778052762","wikidata":"https://www.wikidata.org/wiki/Q2366896","display_name":"Semisimple Lie algebra","level":5,"score":0.43959999084472656},{"id":"https://openalex.org/C187915474","wikidata":"https://www.wikidata.org/wiki/Q622679","display_name":"Lie group","level":2,"score":0.42669999599456787},{"id":"https://openalex.org/C6628132","wikidata":"https://www.wikidata.org/wiki/Q3042798","display_name":"Cartan decomposition","level":5,"score":0.4072999954223633},{"id":"https://openalex.org/C145807718","wikidata":"https://www.wikidata.org/wiki/Q2004951","display_name":"Cartan matrix","level":5,"score":0.38749998807907104},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.37619999051094055},{"id":"https://openalex.org/C5106717","wikidata":"https://www.wikidata.org/wiki/Q3427416","display_name":"Fundamental representation","level":4,"score":0.35850000381469727},{"id":"https://openalex.org/C22365015","wikidata":"https://www.wikidata.org/wiki/Q1003162","display_name":"Simple Lie group","level":3,"score":0.35280001163482666},{"id":"https://openalex.org/C143669375","wikidata":"https://www.wikidata.org/wiki/Q7874246","display_name":"Coxeter group","level":2,"score":0.34790000319480896},{"id":"https://openalex.org/C87945829","wikidata":"https://www.wikidata.org/wiki/Q1353233","display_name":"Conjugacy class","level":2,"score":0.34610000252723694},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.3248000144958496},{"id":"https://openalex.org/C114411622","wikidata":"https://www.wikidata.org/wiki/Q5319218","display_name":"Dynkin diagram","level":3,"score":0.3240000009536743},{"id":"https://openalex.org/C163353815","wikidata":"https://www.wikidata.org/wiki/Q1931224","display_name":"Sesquilinear form","level":3,"score":0.31859999895095825},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.3138999938964844},{"id":"https://openalex.org/C135658033","wikidata":"https://www.wikidata.org/wiki/Q2903821","display_name":"Bimodule","level":3,"score":0.2964000105857849},{"id":"https://openalex.org/C58910974","wikidata":"https://www.wikidata.org/wiki/Q1017106","display_name":"Adjoint representation","level":3,"score":0.29170000553131104},{"id":"https://openalex.org/C203616005","wikidata":"https://www.wikidata.org/wiki/Q620495","display_name":"Hessian matrix","level":2,"score":0.28700000047683716},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2842000126838684},{"id":"https://openalex.org/C174696410","wikidata":"https://www.wikidata.org/wiki/Q7301156","display_name":"Real form","level":5,"score":0.27799999713897705},{"id":"https://openalex.org/C197273675","wikidata":"https://www.wikidata.org/wiki/Q13220368","display_name":"Representation theory","level":2,"score":0.2709999978542328},{"id":"https://openalex.org/C196298200","wikidata":"https://www.wikidata.org/wiki/Q577705","display_name":"Critical point (mathematics)","level":2,"score":0.2703999876976013},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C129782007","wikidata":"https://www.wikidata.org/wiki/Q162886","display_name":"Euclidean geometry","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C195065555","wikidata":"https://www.wikidata.org/wiki/Q214881","display_name":"Curvature","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.2522999942302704},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.11800","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.11800","pdf_url":"https://arxiv.org/pdf/2610.11800","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.11800","doi":"https://doi.org/10.48550/arxiv.2610.11800","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.11800","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","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.11800","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.11800","pdf_url":"https://arxiv.org/pdf/2610.11800","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":[{"id":"https://openalex.org/G6480939772","display_name":null,"funder_award_id":"PID2024-156578NB-I00","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":"https://ror.org/003x0zc53"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7221111477.pdf","grobid_xml":"https://content.openalex.org/works/W7221111477.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W3018692624","https://openalex.org/W3023113686","https://openalex.org/W4391555755"],"related_works":["https://openalex.org/W4412105299","https://openalex.org/W7214954361","https://openalex.org/W7170153489","https://openalex.org/W7140769891","https://openalex.org/W7170036829","https://openalex.org/W824597637","https://openalex.org/W2061517153","https://openalex.org/W2949149596","https://openalex.org/W1675491781","https://openalex.org/W2010935928"],"abstract_inverted_index":{"For":[0,81],"a":[1,89,176,179,211,222],"complex":[2,111,218],"simple":[3,224],"Lie":[4,121,225],"algebra":[5,135],"$\\mathfrak{g}$":[6,137],"with":[7,36,57,138,165,195],"compact":[8,66,223],"conjugation":[9,140],"$\u03c4$,":[10],"Killing":[11],"form":[12,16],"$B$,":[13],"and":[14,104,114,128,154,204],"Hermitian":[15],"$H(x,":[17],"y)":[18],"=":[19],"-B(x,":[20],"\u03c4y)$,":[21],"it":[22],"is":[23,31,98,157,210],"shown":[24],"that":[25],"$H([x,y],[x,y])":[26],"\\leq":[27],"(h^{\\vee})^{-1}H(x,x)H(y,y)$,":[28],"where":[29],"$h^{\\vee}$":[30],"the":[32,51,54,65,69,73,82,86,95,102,108,119,133,139,147,170,205,216],"dual":[33],"Coxeter":[34],"number,":[35],"equality":[37],"exactly":[38],"for":[39,118],"$H$-orthogonal":[40],"pairs":[41],"in":[42],"$\u03c4$-stable":[43],"long-root":[44],"subalgebras":[45],"isomorphic":[46,184],"to":[47,59,110,151,185],"$\\mathfrak{sl}(2,":[48,186],"\\mathbb{C})$.":[49],"Equivalently,":[50],"comass":[52,63],"of":[53,72,88,91,123,136,146,188,207,221],"Cartan":[55,74],"$3$-form":[56,75],"respect":[58],"$H$":[60],"equals":[61,227],"its":[62,155,228],"on":[64,85],"real":[67],"form:":[68],"spectral":[70,181],"norm":[71,84],"does":[76],"not":[77],"increase":[78],"under":[79],"complexification.":[80],"Frobenius":[83],"image":[87],"representation":[90],"Dynkin":[92,189],"index":[93,190],"$\\ell$":[94],"optimal":[96],"constant":[97],"$2/\\ell$;":[99],"this":[100],"contains":[101],"B\u00f6ttcher--Wenzel":[103],"Bloch--Iserles":[105],"inequalities,":[106],"extends":[107],"latter":[109],"skew-symmetric":[112],"matrices,":[113],"improves":[115],"them":[116],"substantially":[117],"exceptional":[120],"algebras":[122],"types":[124],"$F_{4}$,":[125],"$E_{6}$,":[126],"$E_{7}$,":[127],"$E_{8}$.":[129],"The":[130],"proof":[131],"uses":[132],"Nahm":[134],"induced":[141],"by":[142,159,167],"$\u03c4$:":[143],"critical":[144,193,196,213],"points":[145,194,209],"relevant":[148],"function":[149],"correspond":[150],"$\u03c4$-twisted":[152,160],"idempotents,":[153],"Hessian":[156],"governed":[158],"multiplication":[161,166],"operators,":[162],"whose":[163,199],"anticommutation":[164],"$i$":[168],"turns":[169],"one-sided":[171],"second":[172],"order":[173],"condition":[174],"at":[175],"maximum":[177,208],"into":[178],"two-sided":[180],"bound.":[182],"Subalgebras":[183],"\\mathbb{C})$":[187],"$j$":[191],"give":[192],"value":[197],"$1/(jh^{\\vee})$,":[198],"Morse":[200],"indices":[201],"are":[202],"computed,":[203],"set":[206],"nondegenerate":[212],"manifold.":[214],"Geometrically,":[215],"maximal":[217,229],"sectional":[219,230],"curvature":[220],"group":[226],"curvature.":[231]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-10T00:00:00"}