{"title":"ERRATUM TO: CONNECTIVITY AND PURITY FOR LOGARITHMIC MOTIVES","authors":"F. Binda, Alberto Merici","doi":"10.1017/s1474748022000123","DOIUrl":null,"url":null,"abstract":"The proof of [1, Lemma 7.2] contains a gap: the equality \n \n \n \n$\\omega _{\\sharp } h_{0}(\\Lambda _{\\mathrm {ltr}}(\\eta ,\\mathrm {triv})) = \\omega _{\\sharp } h_{0}(\\omega ^{*}\\Lambda _{\\mathrm {tr}}(\\eta ))$\n\n \n is false. Indeed one can check that for \n \n \n \n$X\\in \\mathbf {Sm}(k)$\n\n \n proper, \n \n \n \n$$ \\begin{align*} \\operatorname{Hom}( \\omega_{\\sharp} h_{0}(\\Lambda_{\\mathrm{ltr}} (\\eta_{X}, \\mathrm{triv})), \\mathbf{G}_{a}) \\neq \\operatorname{Hom}( \\omega_{\\sharp} h_{0} (\\omega^{*} \\Lambda_{{\\mathrm{tr}}}( \\eta_{X})) , \\mathbf{G}_{a}), \\end{align*} $$\n\n \n as the left-hand side is \n \n \n \n$\\mathbf {G}_{a}(\\eta _{X})$\n\n \n , whereas the right-hand side is \n \n \n \n$\\mathbf {G}_{a}(X)$\n\n \n . For now, we can give a proof only of a weaker version of [1, Proposition 7.3]:","PeriodicalId":50002,"journal":{"name":"Journal of the Institute of Mathematics of Jussieu","volume":"22 1","pages":"1001 - 1002"},"PeriodicalIF":1.1000,"publicationDate":"2022-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the Institute of Mathematics of Jussieu","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/s1474748022000123","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 3
Abstract
The proof of [1, Lemma 7.2] contains a gap: the equality
$\omega _{\sharp } h_{0}(\Lambda _{\mathrm {ltr}}(\eta ,\mathrm {triv})) = \omega _{\sharp } h_{0}(\omega ^{*}\Lambda _{\mathrm {tr}}(\eta ))$
is false. Indeed one can check that for
$X\in \mathbf {Sm}(k)$
proper,
$$ \begin{align*} \operatorname{Hom}( \omega_{\sharp} h_{0}(\Lambda_{\mathrm{ltr}} (\eta_{X}, \mathrm{triv})), \mathbf{G}_{a}) \neq \operatorname{Hom}( \omega_{\sharp} h_{0} (\omega^{*} \Lambda_{{\mathrm{tr}}}( \eta_{X})) , \mathbf{G}_{a}), \end{align*} $$
as the left-hand side is
$\mathbf {G}_{a}(\eta _{X})$
, whereas the right-hand side is
$\mathbf {G}_{a}(X)$
. For now, we can give a proof only of a weaker version of [1, Proposition 7.3]:
期刊介绍:
The Journal of the Institute of Mathematics of Jussieu publishes original research papers in any branch of pure mathematics; papers in logic and applied mathematics will also be considered, particularly when they have direct connections with pure mathematics. Its policy is to feature a wide variety of research areas and it welcomes the submission of papers from all parts of the world. Selection for publication is on the basis of reports from specialist referees commissioned by the Editors.