Pub Date : 2021-12-13DOI: 10.1017/s1474748022000603
A. Bohmann, Markus Szymik
Loday’s assembly maps approximate the K-theory of group rings by the K-theory of the coefficient ring and the corresponding homology of the group. We present a generalisation that places both ingredients on the same footing. Building on Elmendorf–Mandell’s multiplicativity results and our earlier work, we show that the K-theory of Lawvere theories is lax monoidal. This result makes it possible to present our theory in a user-friendly way without using higher-categorical language. It also allows us to extend the idea to new contexts and set up a nonabelian interpolation scheme, raising novel questions. Numerous examples illustrate the scope of our extension.
{"title":"GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES","authors":"A. Bohmann, Markus Szymik","doi":"10.1017/s1474748022000603","DOIUrl":"https://doi.org/10.1017/s1474748022000603","url":null,"abstract":"\u0000 Loday’s assembly maps approximate the K-theory of group rings by the K-theory of the coefficient ring and the corresponding homology of the group. We present a generalisation that places both ingredients on the same footing. Building on Elmendorf–Mandell’s multiplicativity results and our earlier work, we show that the K-theory of Lawvere theories is lax monoidal. This result makes it possible to present our theory in a user-friendly way without using higher-categorical language. It also allows us to extend the idea to new contexts and set up a nonabelian interpolation scheme, raising novel questions. Numerous examples illustrate the scope of our extension.","PeriodicalId":50002,"journal":{"name":"Journal of the Institute of Mathematics of Jussieu","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2021-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43863399","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-12-09DOI: 10.1017/s1474748023000075
M. Goldman, B. Merlet, Marc Pegon, S. Serfaty
Motivated by some models of pattern formation involving an unoriented director field in the plane, we study a family of unoriented counterparts to the Aviles–Giga functional. We introduce a nonlinear $operatorname {mathrm {curl}}$ operator for such unoriented vector fields as well as a family of even entropies which we call ‘trigonometric entropies’. Using these tools, we show two main theorems which parallel some results in the literature on the classical Aviles–Giga energy. The first is a compactness result for sequences of configurations with uniformly bounded energies. The second is a complete characterization of zero-states, that is, the limit configurations when the energies go to 0. These are Lipschitz continuous away from a locally finite set of points, near which they form either a vortex pattern or a disclination with degree 1/2. The proof is based on a combination of regularity theory together with techniques coming from the study of the Ginzburg–Landau energy. Our methods provide alternative proofs in the classical Aviles–Giga context.
{"title":"COMPACTNESS AND STRUCTURE OF ZERO-STATES FOR UNORIENTED AVILES–GIGA FUNCTIONALS","authors":"M. Goldman, B. Merlet, Marc Pegon, S. Serfaty","doi":"10.1017/s1474748023000075","DOIUrl":"https://doi.org/10.1017/s1474748023000075","url":null,"abstract":"\u0000 Motivated by some models of pattern formation involving an unoriented director field in the plane, we study a family of unoriented counterparts to the Aviles–Giga functional. We introduce a nonlinear \u0000 \u0000 \u0000 \u0000$operatorname {mathrm {curl}}$\u0000\u0000 \u0000 operator for such unoriented vector fields as well as a family of even entropies which we call ‘trigonometric entropies’. Using these tools, we show two main theorems which parallel some results in the literature on the classical Aviles–Giga energy. The first is a compactness result for sequences of configurations with uniformly bounded energies. The second is a complete characterization of zero-states, that is, the limit configurations when the energies go to 0. These are Lipschitz continuous away from a locally finite set of points, near which they form either a vortex pattern or a disclination with degree 1/2. The proof is based on a combination of regularity theory together with techniques coming from the study of the Ginzburg–Landau energy. Our methods provide alternative proofs in the classical Aviles–Giga context.","PeriodicalId":50002,"journal":{"name":"Journal of the Institute of Mathematics of Jussieu","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2021-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45375219","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-12-06DOI: 10.1017/s1474748023000117
Nicolas Dupr'e, Jan Kohlhaase
Let G denote a possibly discrete topological group admitting an open subgroup I which is pro-p. If H denotes the corresponding Hecke algebra over a field k of characteristic p, then we study the adjunction between H-modules and k-linear smooth G-representations in terms of various model structures. If H is a Gorenstein ring, we single out a full subcategory of smooth G-representations which is equivalent to the category of all Gorenstein projective H-modules via the functor of I-invariants. This applies to groups of rational points of split connected reductive groups over finite and over non-Archimedean local fields, thus generalizing a theorem of Cabanes. Moreover, we show that the Gorenstein projective model structure on the category of H-modules admits a right transfer. On the homotopy level, the right derived functor of I-invariants then admits a right inverse and becomes an equivalence when restricted to a suitable subcategory.
{"title":"MODEL CATEGORIES AND PRO-p IWAHORI–HECKE MODULES","authors":"Nicolas Dupr'e, Jan Kohlhaase","doi":"10.1017/s1474748023000117","DOIUrl":"https://doi.org/10.1017/s1474748023000117","url":null,"abstract":"\u0000 Let G denote a possibly discrete topological group admitting an open subgroup I which is pro-p. If H denotes the corresponding Hecke algebra over a field k of characteristic p, then we study the adjunction between H-modules and k-linear smooth G-representations in terms of various model structures. If H is a Gorenstein ring, we single out a full subcategory of smooth G-representations which is equivalent to the category of all Gorenstein projective H-modules via the functor of I-invariants. This applies to groups of rational points of split connected reductive groups over finite and over non-Archimedean local fields, thus generalizing a theorem of Cabanes. Moreover, we show that the Gorenstein projective model structure on the category of H-modules admits a right transfer. On the homotopy level, the right derived functor of I-invariants then admits a right inverse and becomes an equivalence when restricted to a suitable subcategory.","PeriodicalId":50002,"journal":{"name":"Journal of the Institute of Mathematics of Jussieu","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2021-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49631949","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-11-11DOI: 10.1017/s1474748023000233
T. Barthel, Piotr Pstrągowski
We prove the convergence of the Adams spectral sequence based on Morava K-theory and relate it to the filtration by powers of the maximal ideal in the Lubin–Tate ring through a Miller square. We use the filtration by powers to construct a spectral sequence relating the homology of the K-local sphere to derived functors of completion and express the latter as cohomology of the Morava stabiliser group. As an application, we compute the zeroth limit at all primes and heights.
{"title":"MORAVA K-THEORY AND FILTRATIONS BY POWERS","authors":"T. Barthel, Piotr Pstrągowski","doi":"10.1017/s1474748023000233","DOIUrl":"https://doi.org/10.1017/s1474748023000233","url":null,"abstract":"\u0000 We prove the convergence of the Adams spectral sequence based on Morava K-theory and relate it to the filtration by powers of the maximal ideal in the Lubin–Tate ring through a Miller square. We use the filtration by powers to construct a spectral sequence relating the homology of the K-local sphere to derived functors of completion and express the latter as cohomology of the Morava stabiliser group. As an application, we compute the zeroth limit at all primes and heights.","PeriodicalId":50002,"journal":{"name":"Journal of the Institute of Mathematics of Jussieu","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44862985","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-10-29DOI: 10.1017/s1474748020000481
{"title":"JMJ volume 20 Issue 6 Cover and Back matter","authors":"","doi":"10.1017/s1474748020000481","DOIUrl":"https://doi.org/10.1017/s1474748020000481","url":null,"abstract":"","PeriodicalId":50002,"journal":{"name":"Journal of the Institute of Mathematics of Jussieu","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2021-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41548712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-10-29DOI: 10.1017/s1474748020000493
{"title":"JMJ volume 20 Issue 6 Cover and Front matter","authors":"","doi":"10.1017/s1474748020000493","DOIUrl":"https://doi.org/10.1017/s1474748020000493","url":null,"abstract":"","PeriodicalId":50002,"journal":{"name":"Journal of the Institute of Mathematics of Jussieu","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2021-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45966606","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-10-18DOI: 10.1017/S1474748022000056
Erwan Brugall'e
Abstract We give a motivic proof of the fact that for nonsingular real tropical complete intersections, the Euler characteristic of the real part is equal to the signature of the complex part. This was originally proved by Itenberg in the case of surfaces in $mathbb {C}P^{3}$ , and has been successively generalized by Bertrand and by Bihan and Bertrand. Our proof, different from previous approaches, is an application of the motivic nearby fiber of semistable degenerations. In particular, it extends the original result by Itenberg, Bertrand, and Bihan to real analytic families admitting a $mathbb {Q}$ -nonsingular tropical limit.
{"title":"EULER CHARACTERISTIC AND SIGNATURE OF REAL SEMI-STABLE DEGENERATIONS","authors":"Erwan Brugall'e","doi":"10.1017/S1474748022000056","DOIUrl":"https://doi.org/10.1017/S1474748022000056","url":null,"abstract":"Abstract We give a motivic proof of the fact that for nonsingular real tropical complete intersections, the Euler characteristic of the real part is equal to the signature of the complex part. This was originally proved by Itenberg in the case of surfaces in \u0000$mathbb {C}P^{3}$\u0000 , and has been successively generalized by Bertrand and by Bihan and Bertrand. Our proof, different from previous approaches, is an application of the motivic nearby fiber of semistable degenerations. In particular, it extends the original result by Itenberg, Bertrand, and Bihan to real analytic families admitting a \u0000$mathbb {Q}$\u0000 -nonsingular tropical limit.","PeriodicalId":50002,"journal":{"name":"Journal of the Institute of Mathematics of Jussieu","volume":null,"pages":null},"PeriodicalIF":0.9,"publicationDate":"2021-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41416533","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}