{"id":"https://openalex.org/W7164501792","doi":"https://doi.org/10.48550/arxiv.2609.07750","title":"Classification of Conformally Covariant 2-Tensors from the Kulkarni--Nomizu Product in Dimension 4","display_name":"Classification of Conformally Covariant 2-Tensors from the Kulkarni--Nomizu Product in Dimension 4","publication_year":2026,"publication_date":"2026-06-12","ids":{"openalex":"https://openalex.org/W7164501792","doi":"https://doi.org/10.48550/arxiv.2609.07750"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.07750","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.07750","pdf_url":"https://arxiv.org/pdf/2609.07750","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.07750","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134475099","display_name":"Yuri N. Berdinsky","orcid":"https://orcid.org/0009-0003-1858-004X","observed_orcids":["https://orcid.org/0009-0003-1858-004X"]},"institutions":[{"id":"https://openalex.org/I172901346","display_name":"St Petersburg University","ror":"https://ror.org/023znxa73","country_code":"RU","type":"education","lineage":["https://openalex.org/I172901346"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Berdinsky, Yury N.","raw_affiliation_strings":["Saint Petersburg State University Faculty of Physics , Department of High Energy Physics and Elementary Particles"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Saint Petersburg State University Faculty of Physics , Department of High Energy Physics and Elementary Particles","institution_ids":["https://openalex.org/I172901346"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5134475099"],"corresponding_institution_ids":["https://openalex.org/I172901346"],"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.9854000210762024,"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.9854000210762024,"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/T11960","display_name":"Relativity and Gravitational Theory","score":0.007300000172108412,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"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.0038999998942017555,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/schouten-tensor","display_name":"Schouten tensor","score":0.8090000152587891},{"id":"https://openalex.org/keywords/bach-tensor","display_name":"Bach tensor","score":0.9929999709129333},{"id":"https://openalex.org/keywords/conformal-geometry","display_name":"conformal geometry","score":0.6380000114440918},{"id":"https://openalex.org/keywords/four-dimensional-riemannian-geometry","display_name":"four-dimensional Riemannian geometry","score":0.7490000128746033},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.7900000214576721},{"id":"https://openalex.org/keywords/constraint-matrix","display_name":"constraint matrix","score":0.48899999260902405},{"id":"https://openalex.org/keywords/divergence-free-condition","display_name":"divergence-free condition","score":0.902999997138977}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7663999795913696},{"id":"https://openalex.org/C9136319","wikidata":"https://www.wikidata.org/wiki/Q362640","display_name":"Covariant transformation","level":2,"score":0.7595999836921692},{"id":"https://openalex.org/C51255310","wikidata":"https://www.wikidata.org/wiki/Q1163016","display_name":"Tensor product","level":2,"score":0.6798999905586243},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.6032000184059143},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5544999837875366},{"id":"https://openalex.org/C98214594","wikidata":"https://www.wikidata.org/wiki/Q850275","display_name":"Conformal map","level":2,"score":0.5450999736785889},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.49000000953674316},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.48559999465942383},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.43880000710487366},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.42910000681877136},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42669999599456787},{"id":"https://openalex.org/C70915906","wikidata":"https://www.wikidata.org/wiki/Q1058681","display_name":"Differential operator","level":2,"score":0.3750999867916107},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.36739999055862427},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.36550000309944153},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.3441999852657318},{"id":"https://openalex.org/C192939610","wikidata":"https://www.wikidata.org/wiki/Q188444","display_name":"Differential geometry","level":2,"score":0.3361999988555908},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.32749998569488525},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.31189998984336853},{"id":"https://openalex.org/C101783463","wikidata":"https://www.wikidata.org/wiki/Q3406761","display_name":"Tensor product of modules","level":5,"score":0.30489999055862427},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.26899999380111694},{"id":"https://openalex.org/C77246614","wikidata":"https://www.wikidata.org/wiki/Q1409400","display_name":"Gramian matrix","level":3,"score":0.2556999921798706}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:2609.07750","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.07750","pdf_url":"https://arxiv.org/pdf/2609.07750","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.07750","doi":"https://doi.org/10.48550/arxiv.2609.07750","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.07750","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"},{"id":"doi:10.5281/zenodo.20665400","doi":"https://doi.org/10.5281/zenodo.20665400","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20665400","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.20665401","doi":"https://doi.org/10.5281/zenodo.20665401","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.20665401","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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:2609.07750","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.07750","pdf_url":"https://arxiv.org/pdf/2609.07750","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/W7164501792.pdf","grobid_xml":"https://content.openalex.org/works/W7164501792.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2059909010","https://openalex.org/W1989573305","https://openalex.org/W2194635084","https://openalex.org/W2058866529","https://openalex.org/W4413385658","https://openalex.org/W7099382881","https://openalex.org/W1642079269","https://openalex.org/W3098076639","https://openalex.org/W2547534832","https://openalex.org/W3145742887"],"abstract_inverted_index":{"We":[0,33],"classify":[1],"all":[2],"natural,":[3],"conformally":[4],"covariant,":[5],"symmetric":[6],"(0,2)-tensors":[7],"of":[8,38,61,128,139],"conformal":[9,72],"weight":[10],"-2":[11],"and":[12,29,51,74,135,145],"differential":[13],"order":[14],"\u2264":[15],"4":[16,92],"in":[17,132],"dimension":[18,133],"4,":[19],"built":[20],"from":[21,71],"the":[22,24,30,36,46,52,75,79,90,96,114,118,121,125,136,140],"metric,":[23],"Schouten":[25],"tensor,":[26],"covariant":[27],"derivatives,":[28],"Kulkarni\u2013Nomizu":[31,129],"product.":[32],"prove":[34],"that":[35],"space":[37],"such":[39],"tensors":[40],"is":[41,86,102],"exactly":[42],"2-dimensional,":[43],"spanned":[44],"by":[45],"Bach":[47],"tensor":[48,54],"(order":[49,55],"2)":[50],"Eastwood\u2013Singer":[53,119],"4).":[56],"The":[57,83,99,111],"classification":[58],"uses:":[59],"enumeration":[60],"11":[62],"linearly":[63],"independent":[64,68],"candidate":[65],"tensors;":[66],"8":[67],"algebraic":[69,84],"constraints":[70],"covariance;":[73],"divergence-free":[76],"condition":[77],"as":[78],"9th":[80],"(differential)":[81],"constraint.":[82],"core":[85],"formally":[87],"verified":[88,103],"using":[89],"Lean":[91],"proof":[93],"assistant":[94],"with":[95],"Mathlib":[97],"library.":[98],"constraint":[100,123],"matrix":[101],"via":[104],"exact":[105],"Gaussian":[106],"elimination":[107],"over":[108],"\u211a":[109],"(Python/sympy).":[110],"paper":[112],"includes:":[113],"explicit":[115],"formula":[116],"for":[117],"tensor;":[120],"8\u00d711":[122],"matrix;":[124],"complete":[126],"set":[127],"product":[130],"identities":[131],"4;":[134],"self-dual":[137],"splitting":[138],"Weyl":[141],"tensor.":[142],"Both":[143],"English":[144],"Russian":[146],"versions":[147],"are":[148],"provided.":[149]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-06-13T00:00:00"}