{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T05:47:59Z","timestamp":1776836879983,"version":"3.51.2"},"reference-count":24,"publisher":"American Mathematical Society (AMS)","issue":"342","license":[{"start":{"date-parts":[[2024,2,28]],"date-time":"2024-02-28T00:00:00Z","timestamp":1709078400000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"funder":[{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","award":["860843"],"award-info":[{"award-number":["860843"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    A tri-linear rational map in dimension three is a rational map\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"phi colon left-parenthesis double-struck upper P Subscript double-struck upper C Superscript 1 Baseline right-parenthesis cubed right dasheD arrow double-struck upper P Subscript double-struck upper C Superscript 3\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>\n                              \u03d5\n                              \n                            <\/mml:mi>\n                            <mml:mo>:<\/mml:mo>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:msubsup>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi mathvariant=\"double-struck\">P<\/mml:mi>\n                              <\/mml:mrow>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi mathvariant=\"double-struck\">C<\/mml:mi>\n                              <\/mml:mrow>\n                              <mml:mn>1<\/mml:mn>\n                            <\/mml:msubsup>\n                            <mml:msup>\n                              <mml:mo stretchy=\"false\">)<\/mml:mo>\n                              <mml:mn>3<\/mml:mn>\n                            <\/mml:msup>\n                            <mml:mo stretchy=\"false\">\n                              \u21e2\n                              \n                            <\/mml:mo>\n                            <mml:msubsup>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi mathvariant=\"double-struck\">P<\/mml:mi>\n                              <\/mml:mrow>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi mathvariant=\"double-struck\">C<\/mml:mi>\n                              <\/mml:mrow>\n                              <mml:mn>3<\/mml:mn>\n                            <\/mml:msubsup>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\phi : (\\mathbb {P}_\\mathbb {C}^1)^3 \\dashrightarrow \\mathbb {P}_\\mathbb {C}^3<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    defined by four tri-linear polynomials without a common factor. If\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"phi\">\n                        <mml:semantics>\n                          <mml:mi>\n                            \u03d5\n                            \n                          <\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\phi<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    admits an inverse rational map\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"phi Superscript negative 1\">\n                        <mml:semantics>\n                          <mml:msup>\n                            <mml:mi>\n                              \u03d5\n                              \n                            <\/mml:mi>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mo>\n                                \u2212\n                                \n                              <\/mml:mo>\n                              <mml:mn>1<\/mml:mn>\n                            <\/mml:mrow>\n                          <\/mml:msup>\n                          <mml:annotation encoding=\"application\/x-tex\">\\phi ^{-1}<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    , it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization of birationality based on the first syzygies of the entries. More generally, we describe all the possible minimal graded free resolutions of the ideal generated by these entries. With respect to geometry, we show that the set\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"German upper B German i German r Subscript left-parenthesis 1 comma 1 comma 1 right-parenthesis\">\n                        <mml:semantics>\n                          <mml:msub>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi mathvariant=\"fraktur\">B<\/mml:mi>\n                              <mml:mi mathvariant=\"fraktur\">i<\/mml:mi>\n                              <mml:mi mathvariant=\"fraktur\">r<\/mml:mi>\n                            <\/mml:mrow>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mo stretchy=\"false\">(<\/mml:mo>\n                              <mml:mn>1<\/mml:mn>\n                              <mml:mo>,<\/mml:mo>\n                              <mml:mn>1<\/mml:mn>\n                              <mml:mo>,<\/mml:mo>\n                              <mml:mn>1<\/mml:mn>\n                              <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <\/mml:mrow>\n                          <\/mml:msub>\n                          <mml:annotation encoding=\"application\/x-tex\">\\mathfrak {Bir}_{(1,1,1)}<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    of tri-linear birational maps, up to composition with an automorphism of\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"double-struck upper P Subscript double-struck upper C Superscript 3\">\n                        <mml:semantics>\n                          <mml:msubsup>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi mathvariant=\"double-struck\">P<\/mml:mi>\n                            <\/mml:mrow>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi mathvariant=\"double-struck\">C<\/mml:mi>\n                            <\/mml:mrow>\n                            <mml:mn>3<\/mml:mn>\n                          <\/mml:msubsup>\n                          <mml:annotation encoding=\"application\/x-tex\">\\mathbb {P}_\\mathbb {C}^3<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    , is a locally closed algebraic subset of the Grassmannian of\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"4\">\n                        <mml:semantics>\n                          <mml:mn>4<\/mml:mn>\n                          <mml:annotation encoding=\"application\/x-tex\">4<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    -dimensional subspaces in the vector space of tri-linear polynomials, and has eight irreducible components. Additionally, the group action on\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"German upper B German i German r Subscript left-parenthesis 1 comma 1 comma 1 right-parenthesis\">\n                        <mml:semantics>\n                          <mml:msub>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi mathvariant=\"fraktur\">B<\/mml:mi>\n                              <mml:mi mathvariant=\"fraktur\">i<\/mml:mi>\n                              <mml:mi mathvariant=\"fraktur\">r<\/mml:mi>\n                            <\/mml:mrow>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mo stretchy=\"false\">(<\/mml:mo>\n                              <mml:mn>1<\/mml:mn>\n                              <mml:mo>,<\/mml:mo>\n                              <mml:mn>1<\/mml:mn>\n                              <mml:mo>,<\/mml:mo>\n                              <mml:mn>1<\/mml:mn>\n                              <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <\/mml:mrow>\n                          <\/mml:msub>\n                          <mml:annotation encoding=\"application\/x-tex\">\\mathfrak {Bir}_{(1,1,1)}<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    given by composition with automorphisms of\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"left-parenthesis double-struck upper P Subscript double-struck upper C Superscript 1 Baseline right-parenthesis cubed\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:msubsup>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi mathvariant=\"double-struck\">P<\/mml:mi>\n                              <\/mml:mrow>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi mathvariant=\"double-struck\">C<\/mml:mi>\n                              <\/mml:mrow>\n                              <mml:mn>1<\/mml:mn>\n                            <\/mml:msubsup>\n                            <mml:msup>\n                              <mml:mo stretchy=\"false\">)<\/mml:mo>\n                              <mml:mn>3<\/mml:mn>\n                            <\/mml:msup>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">(\\mathbb {P}_\\mathbb {C}^1)^3<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    defines 19 orbits, and each of these orbits determines an isomorphism class of the base loci of these transformations.\n                  <\/p>","DOI":"10.1090\/mcom\/3804","type":"journal-article","created":{"date-parts":[[2022,11,2]],"date-time":"2022-11-02T10:14:15Z","timestamp":1667384055000},"page":"1837-1866","source":"Crossref","is-referenced-by-count":1,"title":["Tri-linear birational maps in dimension three"],"prefix":"10.1090","volume":"92","author":[{"given":"Laurent","family":"Bus\u00e9","sequence":"first","affiliation":[]},{"given":"Pablo","family":"Gonz\u00e1lez-Maz\u00f3n","sequence":"additional","affiliation":[]},{"given":"Josef","family":"Schicho","sequence":"additional","affiliation":[]}],"member":"14","published-online":{"date-parts":[[2023,2,28]]},"reference":[{"key":"1","series-title":"Lecture Notes in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/b82933","volume-title":"Geometry of the plane Cremona maps","volume":"1769","author":"Alberich-Carrami\u00f1ana, Maria","year":"2002","ISBN":"https:\/\/id.crossref.org\/isbn\/354042816X"},{"issue":"1","key":"2","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1515\/forum-2019-0001","article-title":"Curves on Segre threefolds","volume":"32","author":"Ballico, Edoardo","year":"2020","journal-title":"Forum Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0933-7741","issn-type":"print"},{"issue":"2","key":"3","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1007\/s12220-013-9459-9","article-title":"On plane Cremona transformations of fixed degree","volume":"25","author":"Bisi, Cinzia","year":"2015","journal-title":"J. Geom. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/1050-6926","issn-type":"print"},{"issue":"3","key":"4","doi-asserted-by":"publisher","first-page":"1173","DOI":"10.4007\/annals.2013.178.3.8","article-title":"Topologies and structures of the Cremona groups","volume":"178","author":"Blanc, J\u00e9r\u00e9my","year":"2013","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"},{"key":"5","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.jsc.2016.12.001","article-title":"Effective criteria for bigraded birational maps","volume":"81","author":"Botbol, Nicol\u00e1s","year":"2017","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"4","key":"6","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1112\/plms.12336","article-title":"Degree and birationality of multi-graded rational maps","volume":"121","author":"Bus\u00e9, Laurent","year":"2020","journal-title":"Proc. Lond. Math. Soc. (3)","ISSN":"https:\/\/id.crossref.org\/issn\/0024-6115","issn-type":"print"},{"key":"7","series-title":"Cours Sp\\'{e}cialis\\'{e}s [Specialized Courses]","isbn-type":"print","volume-title":"Transformations birationnelles de petit degr\\'{e}","volume":"19","author":"Cerveau, Dominique","year":"2013","ISBN":"https:\/\/id.crossref.org\/isbn\/9782856297704"},{"key":"8","unstructured":"Yairon Cid-Ruiz, Oliver Clarke, and Fatemeh Mohammadi, A study of nonlinear multiview varieties, arXiv preprint  arXiv:2112.06216, (2021)."},{"issue":"2","key":"9","doi-asserted-by":"publisher","first-page":"217","DOI":"10.24033\/bsmf.2712","article-title":"On cubic birational maps of \u2119\u00b3_{}\u2102","volume":"144","author":"D\u00e9serti, Julie","year":"2016","journal-title":"Bull. Soc. Math. France","ISSN":"https:\/\/id.crossref.org\/issn\/0037-9484","issn-type":"print"},{"issue":"1","key":"10","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1016\/j.aim.2011.12.005","article-title":"A characteristic-free criterion of birationality","volume":"230","author":"Doria, A. V.","year":"2012","journal-title":"Adv. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-8708","issn-type":"print"},{"key":"11","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5350-1","volume-title":"Commutative algebra","volume":"150","author":"Eisenbud, David","year":"1995","ISBN":"https:\/\/id.crossref.org\/isbn\/0387942688"},{"key":"12","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139062046","volume-title":"3264 and all that---a second course in algebraic geometry","author":"Eisenbud, David","year":"2016","ISBN":"https:\/\/id.crossref.org\/isbn\/9781107602724"},{"key":"13","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.cagd.2015.01.002","article-title":"The inverse of a rational bilinear mapping","volume":"33","author":"Floater, Michael S.","year":"2015","journal-title":"Comput. Aided Geom. Design","ISSN":"https:\/\/id.crossref.org\/issn\/0167-8396","issn-type":"print"},{"key":"14","unstructured":"D. R. Grayson and M. E. Stillman, Macaulay2, a software system for research in algebraic geometry, \\url{https:\/\/math.uiuc.edu\/Macaulay2\/}."},{"key":"15","isbn-type":"print","volume-title":"A {\\bf Singular} introduction to commutative algebra","author":"Greuel, Gert-Martin","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9783540735410","edition":"2"},{"key":"16","series-title":"Graduate Texts in Mathematics, No. 52","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3849-0","volume-title":"Algebraic geometry","author":"Hartshorne, Robin","year":"1977","ISBN":"https:\/\/id.crossref.org\/isbn\/0387902449"},{"key":"17","unstructured":"H. P. Hudson, Cremona transformations in plane and space, vol. 1927, Cambridge, 1927."},{"issue":"5","key":"18","doi-asserted-by":"publisher","first-page":"1153","DOI":"10.5802\/aif.1850","article-title":"Transformations birationnelles quadratiques de l\u2019espace projectif complexe \u00e0 trois dimensions","volume":"51","author":"Pan, I.","year":"2001","journal-title":"Ann. Inst. Fourier (Grenoble)","ISSN":"https:\/\/id.crossref.org\/issn\/0373-0956","issn-type":"print"},{"issue":"3","key":"19","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1017572213947","article-title":"On birational maps and Jacobian matrices","volume":"126","author":"Russo, Francesco","year":"2001","journal-title":"Compositio Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-437X","issn-type":"print"},{"issue":"3","key":"20","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/BF02570843","article-title":"Cremona transformations and syzygies","volume":"209","author":"Hulek, Klaus","year":"1992","journal-title":"Math. Z.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5874","issn-type":"print"},{"key":"21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cagd.2016.02.020","article-title":"Birational 2D free-form deformation of degree 1\u00d7\ud835\udc5b","volume":"44","author":"Sederberg, Thomas W.","year":"2016","journal-title":"Comput. Aided Geom. Design","ISSN":"https:\/\/id.crossref.org\/issn\/0167-8396","issn-type":"print"},{"key":"22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cagd.2014.11.001","article-title":"Birational quadrilateral maps","volume":"32","author":"Sederberg, Thomas W.","year":"2015","journal-title":"Comput. Aided Geom. Design","ISSN":"https:\/\/id.crossref.org\/issn\/0167-8396","issn-type":"print"},{"issue":"1","key":"23","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.jalgebra.2004.03.025","article-title":"Cremona transformations and some related algebras","volume":"280","author":"Simis, Aron","year":"2004","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"key":"24","unstructured":"The Stacks Project Authors, Stacks Project, 2018 \\url{https:\/\/stacks.math.columbia.edu}."}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-342\/S0025-5718-2023-03804-2\/mcom3804_AM.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-342\/S0025-5718-2023-03804-2\/S0025-5718-2023-03804-2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T04:58:49Z","timestamp":1776833929000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-342\/S0025-5718-2023-03804-2\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,28]]},"references-count":24,"journal-issue":{"issue":"342","published-print":{"date-parts":[[2023,7]]}},"alternative-id":["S0025-5718-2023-03804-2"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/3804","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2023,2,28]]}}}