{"id":"https://openalex.org/W7225559339","doi":"https://doi.org/10.5281/zenodo.24054021","title":"Face-Normal Morley Geometry with n-Sectors: Orthocentric, Midsphere and Rigid Regimes","display_name":"Face-Normal Morley Geometry with n-Sectors: Orthocentric, Midsphere and Rigid Regimes","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225559339","doi":"https://doi.org/10.5281/zenodo.24054021"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24054021","doi":"https://doi.org/10.5281/zenodo.24054021","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054021","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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24054021","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160141419","display_name":"F\u00e1bio Dayan Soares de Melo","orcid":"https://orcid.org/0009-0006-6475-0187","observed_orcids":["https://orcid.org/0009-0006-6475-0187"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"de Melo, F\u00e1bio Dayan Soares","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0006-6475-0187","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5160141419"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T12504","display_name":"Mathematics and Applications","score":0.9932000041007996,"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/T12504","display_name":"Mathematics and Applications","score":0.9932000041007996,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.002099999925121665,"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"}},{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/tetrahedron","display_name":"tetrahedron","score":0.6650000214576721},{"id":"https://openalex.org/keywords/regular-tetrahedron","display_name":"regular tetrahedron","score":0.8479999899864197},{"id":"https://openalex.org/keywords/tangent-cones","display_name":"tangent cones","score":0.8859999775886536},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.8460000157356262}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8140000104904175},{"id":"https://openalex.org/C138187205","wikidata":"https://www.wikidata.org/wiki/Q131251","display_name":"Tangent","level":2,"score":0.5924999713897705},{"id":"https://openalex.org/C122041747","wikidata":"https://www.wikidata.org/wiki/Q838611","display_name":"Ball (mathematics)","level":2,"score":0.5336999893188477},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5317000150680542},{"id":"https://openalex.org/C84597430","wikidata":"https://www.wikidata.org/wiki/Q106227","display_name":"Locus (genetics)","level":3,"score":0.503000020980835},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.48350000381469727},{"id":"https://openalex.org/C16171025","wikidata":"https://www.wikidata.org/wiki/Q863349","display_name":"Singularity","level":2,"score":0.4593999981880188},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.446399986743927},{"id":"https://openalex.org/C129782007","wikidata":"https://www.wikidata.org/wiki/Q162886","display_name":"Euclidean geometry","level":2,"score":0.39910000562667847},{"id":"https://openalex.org/C105239961","wikidata":"https://www.wikidata.org/wiki/Q160003","display_name":"Tetrahedron","level":2,"score":0.38580000400543213},{"id":"https://openalex.org/C47890412","wikidata":"https://www.wikidata.org/wiki/Q1179296","display_name":"Tangent vector","level":3,"score":0.383899986743927},{"id":"https://openalex.org/C108598597","wikidata":"https://www.wikidata.org/wiki/Q124255","display_name":"Conic section","level":2,"score":0.37380000948905945},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36880001425743103},{"id":"https://openalex.org/C66384103","wikidata":"https://www.wikidata.org/wiki/Q2370925","display_name":"Normal bundle","level":3,"score":0.3560999929904938},{"id":"https://openalex.org/C195065555","wikidata":"https://www.wikidata.org/wiki/Q214881","display_name":"Curvature","level":2,"score":0.3522999882698059},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.3296999931335449},{"id":"https://openalex.org/C28903235","wikidata":"https://www.wikidata.org/wiki/Q746550","display_name":"Tangent bundle","level":3,"score":0.31949999928474426},{"id":"https://openalex.org/C192939610","wikidata":"https://www.wikidata.org/wiki/Q188444","display_name":"Differential geometry","level":2,"score":0.3138999938964844},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.3100000023841858},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.2872999906539917},{"id":"https://openalex.org/C72319582","wikidata":"https://www.wikidata.org/wiki/Q584304","display_name":"Degenerate energy levels","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C149944404","wikidata":"https://www.wikidata.org/wiki/Q2392464","display_name":"Tangent cone","level":3,"score":0.2743000090122223},{"id":"https://openalex.org/C70943382","wikidata":"https://www.wikidata.org/wiki/Q505356","display_name":"Antipodal point","level":2,"score":0.27300000190734863},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.2590999901294708},{"id":"https://openalex.org/C137134375","wikidata":"https://www.wikidata.org/wiki/Q1509762","display_name":"Line bundle","level":2,"score":0.2574999928474426},{"id":"https://openalex.org/C157157409","wikidata":"https://www.wikidata.org/wiki/Q909601","display_name":"Tangent space","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C53622353","wikidata":"https://www.wikidata.org/wiki/Q1518913","display_name":"Family of curves","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C148189969","wikidata":"https://www.wikidata.org/wiki/Q146657","display_name":"Great circle","level":2,"score":0.25440001487731934},{"id":"https://openalex.org/C2776441312","wikidata":"https://www.wikidata.org/wiki/Q575710","display_name":"Gauss map","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C59831887","wikidata":"https://www.wikidata.org/wiki/Q7887158","display_name":"Unit tangent bundle","level":4,"score":0.2522999942302704},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.25060001015663147}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24054021","doi":"https://doi.org/10.5281/zenodo.24054021","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054021","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.24054022","doi":"https://doi.org/10.5281/zenodo.24054022","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054022","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":"doi:10.5281/zenodo.24054021","doi":"https://doi.org/10.5281/zenodo.24054021","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054021","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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225573158","https://openalex.org/W7212038856","https://openalex.org/W7223755061","https://openalex.org/W7225598130","https://openalex.org/W3037701337","https://openalex.org/W7225596919","https://openalex.org/W1981195870","https://openalex.org/W1552076091","https://openalex.org/W1520729964","https://openalex.org/W2378442898"],"abstract_inverted_index":{"On":[0],"each":[1],"face":[2,242],"of":[3,14,130,138,222,237,240,271],"a":[4,20,61,94,134,141,168,176,208,216,219,238,305,341],"Euclidean":[5],"tetrahedron,":[6,133],"take":[7],"the":[8,11,15,28,32,39,53,78,83,98,119,126,131,149,154,192,223,263,269,287,300,310,316,319,322,325,330,335],"point":[9],"where":[10,191],"first":[12],"n-sectors":[13],"two":[16,40,241],"angles":[17],"adjacent":[18],"to":[19,31,43,97,247],"given":[21],"edge":[22,45],"meet,":[23],"and":[24,72,90,105,117,140,153,260,283,309,321,329],"draw":[25],"through":[26],"it":[27,229],"line":[29],"normal":[30],"face.":[33],"The":[34,163,297],"tetrahedron":[35],"is":[36,52,60,165,196,199,230],"admissible":[37,58,79,127],"if":[38],"lines":[41],"attached":[42],"every":[44,181,278,292],"meet.":[46],"For":[47,110,225],"n":[48,69,73,87,102,111,123,139,160,187,202,226,280,294],"=":[49,70,74,88,103,124,161,188,203,227],"3":[50],"this":[51,252],"face-normal":[54],"Morley":[55,345],"construction,":[56],"whose":[57,244],"locus":[59,128],"curve":[62],"with":[63,93,262,334],"seven":[64],"branches.":[65],"We":[66],"show":[67],"that":[68,214,286],"1":[71],"2":[75],"behave":[76],"differently:":[77],"tetrahedra":[80],"are":[81,108],"exactly":[82,91],"orthocentric":[84],"ones":[85],"for":[86,101,118,159,172,180,186,201,277,291,315],"1,":[89,189,282],"those":[92],"sphere":[95],"tangent":[96,156],"six":[99],"edges":[100],"2,":[104,190],"both":[106],"loci":[107],"three-dimensional.":[109],"\u2208":[112],"{3,":[113],"4,":[114],"5,":[115],"6}":[116],"limiting":[120],"angle-ratio":[121],"rule":[122],"\u221e,":[125],"consists":[129],"regular":[132],"3+1":[135],"family":[136,143],"independent":[137],"2+2":[142],"depending":[144],"on":[145,343],"n.":[146,182],"It":[147,183,198],"has":[148,268],"same":[150,155],"seven-branch":[151],"singularity":[152],"cone":[157],"as":[158],"3.":[162],"dichotomy":[164],"governed":[166],"by":[167,207],"mixed":[169],"curvature":[170],"L_xz,":[171],"which":[173],"we":[174,284],"give":[175],"closed":[177,317],"formula":[178],"valid":[179],"vanishes":[184],"identically":[185],"relevant":[193],"edge-ratio":[194],"function":[195,239],"separable.":[197],"positive":[200],"3,":[204],"\u2026,":[205],"6,":[206],"Bernstein":[209],"certificate":[210,326],"in":[211,257,340],"ball":[212],"arithmetic":[213],"needs":[215],"blow-up":[217],"at":[218],"degenerate":[220],"corner":[221],"square.":[224],"\u221e":[228],"an":[231],"explicit":[232],"difference":[233],"\u03c8(A\u2082)":[234],"\u2212":[235,273,275],"\u03c8(A\u2081)":[236],"angles,":[243],"sign":[245,270],"reduces":[246],"sin":[248],"\u03c6":[249],"<":[250],"\u03c6;":[251],"last":[253],"lemma":[254],"was":[255],"formalized":[256],"Lean":[258,331],"4":[259,332,339],"checked":[261],"AXLE":[264,336],"verifier.":[265],"Numerically,":[266],"L_xz":[267],"(n":[272],"1)(n":[274],"2)":[276],"real":[279,293],">":[281,295],"conjecture":[285],"rigid":[288],"regime":[289],"persists":[290],"2.":[296],"record":[298],"contains":[299],"English":[301],"version":[302],"(main":[303],"file),":[304],"faithful":[306],"Portuguese":[307],"version,":[308],"supplementary":[311],"archive":[312],"(Python":[313],"scripts":[314],"formula,":[318],"certificates":[320],"numerical":[323],"search,":[324],"log,":[327],"figures,":[328],"files":[333],"reports).":[337],"Paper":[338],"series":[342],"three-dimensional":[344],"constructions.":[346]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}