{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:20:56Z","timestamp":1740140456327,"version":"3.37.3"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T00:00:00Z","timestamp":1722297600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T00:00:00Z","timestamp":1722297600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003500","name":"Universit\u00e0 degli Studi di Padova","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003500","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Milan J. Math."],"published-print":{"date-parts":[[2024,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show that the formalism of the six Grothendieck operations holds in the sub-category of definably locally closed definable subsets equipped with the o-minimal site in o-minimal expansions of ordered groups.<\/jats:p>","DOI":"10.1007\/s00032-024-00404-w","type":"journal-article","created":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T18:32:12Z","timestamp":1722364332000},"page":"501-517","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Proper Direct Image in o-Minimal Expansions of Groups"],"prefix":"10.1007","volume":"92","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3350-9271","authenticated-orcid":false,"given":"M\u00e1rio J.","family":"Edmundo","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8632-3390","authenticated-orcid":false,"given":"Luca","family":"Prelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,30]]},"reference":[{"key":"404_CR1","doi-asserted-by":"crossref","unstructured":"Bochnak, J., Coste, M., Roy, M-F.: Real Algebraic Geometry. Ergebnisse der Math. (3) 36. Springer, Berlin (1998)","DOI":"10.1007\/978-3-662-03718-8"},{"key":"404_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s00222-022-01166-1","volume":"232","author":"B Bakker","year":"2023","unstructured":"Bakker, B., Brunebarbe, Y., Tsimerman, J.: O-minimal GAGA and a conjecture of Griffiths. Invent. Math. 232, 163\u2013228 (2023)","journal-title":"Invent. Math."},{"issue":"4","key":"404_CR3","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1090\/jams\/952","volume":"33","author":"B Bakker","year":"2020","unstructured":"Bakker, B., Klingler, B., Tsimerman, J.: Tame topology of arithmetic quotients and algebraicity of Hodge loci. J. Am. Math. Soc. 33(4), 917\u2013939 (2020)","journal-title":"J. Am. Math. Soc."},{"issue":"1","key":"404_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00222-019-00863-8","volume":"217","author":"B Bakker","year":"2019","unstructured":"Bakker, B., Tsimerman, J.: The Ax\u2013Schanuel conjecture for variations of Hodge structures. Invent. Math. 217(1), 77\u201394 (2019)","journal-title":"Invent. Math."},{"issue":"1","key":"404_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00222-020-00965-8","volume":"222","author":"O Benoist","year":"2020","unstructured":"Benoist, O., Wittenberg, O.: On the integral Hodge conjecture for real varieties, I. Invent. Math. 222(1), 1\u201377 (2020)","journal-title":"Invent. Math."},{"key":"404_CR6","doi-asserted-by":"publisher","first-page":"373","DOI":"10.5802\/jep.120","volume":"7","author":"O Benoist","year":"2020","unstructured":"Benoist, O., Wittenberg, O.: On the integral Hodge conjecture for real varieties, II. J. \u00c9c. Polytech. Math. 7, 373\u2013429 (2020)","journal-title":"J. \u00c9c. Polytech. Math."},{"key":"404_CR7","unstructured":"Coste, M.: An Introduction to O-minimal Geometry. Dip. Mat. Univ. Pisa, Dottorato di Ricerca in Matematica, Istituti Editoriali e Poligrafici Internazionali, Pisa (2000)"},{"issue":"e94","key":"404_CR8","first-page":"1","volume":"10","author":"P Cubides Kovacsics","year":"2022","unstructured":"Cubides Kovacsics, P., Edmundo, M., Ye, J.: Cohomology of algebraic varieties over non-Archimedean fields. Forum Math. Sigma 10(e94), 1\u201372 (2022)","journal-title":"Forum Math. Sigma"},{"key":"404_CR9","doi-asserted-by":"crossref","unstructured":"Delfs, H.: Homology of Locally Semialgebraic Spaces. Lecture Notes in Mathematics, 1484. Springer, Berlin (1991)","DOI":"10.1007\/BFb0093939"},{"key":"404_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.2307\/1971463","volume":"128","author":"J Denef","year":"1988","unstructured":"Denef, J., van den Dries, L.: $$p$$-adic and real subanalytic sets. Ann. Math. 128, 79\u2013138 (1988)","journal-title":"Ann. Math."},{"issue":"2","key":"404_CR11","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1142\/S0219061306000566","volume":"6","author":"M Edmundo","year":"2006","unstructured":"Edmundo, M., Jones, G., Peatfield, N.: Sheaf cohomology in o-minimal structures. J. Math. Logic 6(2), 163\u2013179 (2006)","journal-title":"J. Math. Logic"},{"issue":"1","key":"404_CR12","first-page":"1","volume":"233","author":"M Edmundo","year":"2016","unstructured":"Edmundo, M., Mamino, M., Prelli, L.: On definably proper maps. Fund. Math. 233(1), 1\u201336 (2016)","journal-title":"Fund. Math."},{"key":"404_CR13","doi-asserted-by":"publisher","first-page":"940","DOI":"10.1016\/j.aim.2017.02.015","volume":"310","author":"M Edmundo","year":"2017","unstructured":"Edmundo, M., Mamino, M., Prelli, L., Ramakrishnan, J., Terzo, G.: On Pillay\u2019s conjecture in the general case. Adv. Math. 310, 940\u2013992 (2017)","journal-title":"Adv. Math."},{"issue":"4","key":"404_CR14","doi-asserted-by":"publisher","first-page":"1259","DOI":"10.5802\/aif.2554","volume":"60","author":"M Edmundo","year":"2010","unstructured":"Edmundo, M., Prelli, L.: Poincar\u00e9 - Verdier duality in o-minimal structures. Ann. Inst. Fourier Grenoble 60(4), 1259\u20131288 (2010)","journal-title":"Ann. Inst. Fourier Grenoble"},{"issue":"1","key":"404_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.5802\/cml.17","volume":"7","author":"M Edmundo","year":"2015","unstructured":"Edmundo, M., Prelli, L.: Invariance of o-minimal cohomology with definably compact supports. Confluentes Math. 7(1), 35\u201353 (2015)","journal-title":"Confluentes Math."},{"key":"404_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s00209-019-02274-0","volume":"294","author":"M Edmundo","year":"2020","unstructured":"Edmundo, M., Prelli, L.: The six Grothendieck operations on o-minimal sheaves. Math. Z. 294, 109\u2013160 (2020)","journal-title":"Math. Z."},{"key":"404_CR17","series-title":"Annals of Mathematical Studies, 192","doi-asserted-by":"publisher","DOI":"10.1515\/9781400881222","volume-title":"Non-Archimedean Tame Topology and Stably Dominated Types","author":"E Hrushovski","year":"2016","unstructured":"Hrushovski, E., Loeser, F.: Non-Archimedean Tame Topology and Stably Dominated Types. Annals of Mathematical Studies, 192, Princeton University Press, Princeton (2016)"},{"issue":"2","key":"404_CR18","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1090\/S0894-0347-07-00558-9","volume":"21","author":"E Hrushovski","year":"2008","unstructured":"Hrushovski, E., Peterzil, Y., Pillay, A.: Groups, measures and the NIP. J. Am. Math. Soc. 21(2), 563\u2013596 (2008)","journal-title":"J. Am. Math. Soc."},{"key":"404_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82783-9","volume-title":"Cohomology of Sheaves. Universitext","author":"B Iversen","year":"1986","unstructured":"Iversen, B.: Cohomology of Sheaves. Universitext. Springer, Berlin (1986)"},{"key":"404_CR20","first-page":"521","volume":"308","author":"T Kayal","year":"1989","unstructured":"Kayal, T., Raby, G.: Ensemble sous-analytiques: quelques propri\u00e9t\u00e9s globales. C. R. Acad. Sci. Paris Ser. I Math. 308, 521\u2013523 (1989)","journal-title":"C. R. Acad. Sci. Paris Ser. I Math."},{"key":"404_CR21","doi-asserted-by":"crossref","unstructured":"Kashiwara, M., Schapira, P.: Sheaves on Manifolds. Grundlehren der Math, 292. Springer, Berlin (1990)","DOI":"10.1007\/978-3-662-02661-8"},{"key":"404_CR22","unstructured":"Kashiwara, M., Schapira, P.: Ind-sheaves. Ast\u00e9risque, 271 (2001)"},{"key":"404_CR23","doi-asserted-by":"crossref","unstructured":"Kashiwara, M., Schapira, P.: Categories and Sheaves. Grundlehren der Math, 332. Springer, Berlin (2006)","DOI":"10.1007\/3-540-27950-4"},{"issue":"2","key":"404_CR24","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1112\/S0024610799007528","volume":"59","author":"Y Peterzil","year":"1999","unstructured":"Peterzil, Y., Steinhorn, C.: Definable compactness and definable subgroups of o-minimal groups. J. Lond. Math. Soc. 59(2), 769\u2013786 (1999)","journal-title":"J. Lond. Math. Soc."},{"issue":"3","key":"404_CR25","doi-asserted-by":"publisher","first-page":"1779","DOI":"10.4007\/annals.2011.173.3.11","volume":"173","author":"J Pila","year":"2011","unstructured":"Pila, J.: O-minimality and the Andr\u00e9-Oort conjecture for $${\\mathbb{C} }^n$$. Ann. Math. 173(3), 1779\u20131840 (2011)","journal-title":"Ann. Math."},{"issue":"2","key":"404_CR26","doi-asserted-by":"publisher","first-page":"149","DOI":"10.4171\/rlm\/514","volume":"19","author":"J Pila","year":"2008","unstructured":"Pila, J., Zannier, U.: Rational points in periodic analytic sets and the Manin\u2013Mumford conjecture. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei Mat. Appl. 19(2), 149\u2013162 (2008)","journal-title":"Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei Mat. Appl."},{"issue":"3","key":"404_CR27","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1215\/S0012-7094-06-13336-7","volume":"133","author":"J Pila","year":"2006","unstructured":"Pila, J., Wilkie, A.J.: The rational points of a definable set. Duke Math. J. 133(3), 591\u2013616 (2006)","journal-title":"Duke Math. J."},{"issue":"4","key":"404_CR28","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.2307\/2274610","volume":"53","author":"A Pillay","year":"1988","unstructured":"Pillay, A.: Sheaves of continuous definable functions. J. Symb. Logic 53(4), 1165\u20131169 (1988)","journal-title":"J. Symb. Logic"},{"issue":"2","key":"404_CR29","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1142\/S0219061304000346","volume":"4","author":"A Pillay","year":"2004","unstructured":"Pillay, A.: Type-definability, compact Lie groups and o-minimality. J. Math. Logic 4(2), 147\u2013162 (2004)","journal-title":"J. Math. Logic"},{"key":"404_CR30","doi-asserted-by":"publisher","first-page":"167","DOI":"10.4171\/rsmup\/120-11","volume":"120","author":"L Prelli","year":"2008","unstructured":"Prelli, L.: Sheaves on subanalytic sites. Rend. Sem. Mat. Univ. di Padova 120, 167\u2013216 (2008)","journal-title":"Rend. Sem. Mat. Univ. di Padova"},{"key":"404_CR31","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1090\/S0273-0979-1986-15468-6","volume":"15","author":"L van den Dries","year":"1986","unstructured":"van den Dries, L.: A generalization of Tarski\u2013Seidenberg theorem and some nondefinability results. Bull. Am. Math. Soc. (N.S) 15, 189\u2013193 (1986)","journal-title":"Bull. Am. Math. Soc. (N.S)"},{"key":"404_CR32","unstructured":"van den Dries, L.: Tame Topology and O-minimal Structures. London Mathematical Society. Lecture Note Series, 248. Cambridge University Press, Cambridge (1998)"},{"key":"404_CR33","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1215\/S0012-7094-96-08416-1","volume":"84","author":"L van den Dries","year":"1996","unstructured":"van den Dries, L., Miller, C.: Geometric categories and o-minimal structures. Duke Math. J. 84, 497\u2013540 (1996)","journal-title":"Duke Math. J."},{"key":"404_CR34","doi-asserted-by":"crossref","unstructured":"Verdier, J.L.: Dualit\u00e9 dans la cohomologie des espaces localment compact. Seminaire Bourbaki 300 (1965)","DOI":"10.1007\/978-3-662-21576-0_4"}],"container-title":["Milan Journal of Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00032-024-00404-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00032-024-00404-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00032-024-00404-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T13:04:02Z","timestamp":1733403842000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00032-024-00404-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,30]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["404"],"URL":"https:\/\/doi.org\/10.1007\/s00032-024-00404-w","relation":{},"ISSN":["1424-9286","1424-9294"],"issn-type":[{"type":"print","value":"1424-9286"},{"type":"electronic","value":"1424-9294"}],"subject":[],"published":{"date-parts":[[2024,7,30]]},"assertion":[{"value":"3 October 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 July 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}