Ela Celikbas, Emilie Dufresne, Louiza Fouli, Elisa Gorla, Kuei-Nuan Lin, Claudia Polini, Irena Swanson
{"title":"Rees algebras of sparse determinantal ideals","authors":"Ela Celikbas, Emilie Dufresne, Louiza Fouli, Elisa Gorla, Kuei-Nuan Lin, Claudia Polini, Irena Swanson","doi":"10.1090/tran/9101","DOIUrl":"https://doi.org/10.1090/tran/9101","url":null,"abstract":"<p>We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2 times n\"> <mml:semantics> <mml:mrow> <mml:mn>2</mml:mn> <mml:mo>×<!-- × --></mml:mo> <mml:mi>n</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">2times n</mml:annotation> </mml:semantics> </mml:math> </inline-formula> sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F-rational in positive characteristic.</p>","PeriodicalId":23209,"journal":{"name":"Transactions of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":1.3,"publicationDate":"2024-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140934893","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}
{"title":"On generalized main conjectures and 𝑝-adic Stark conjectures for Artin motives","authors":"Alexandre Maksoud","doi":"10.1090/tran/9131","DOIUrl":"https://doi.org/10.1090/tran/9131","url":null,"abstract":"<p>Given an odd prime number <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and a <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-stabilized Artin representation <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"rho\"> <mml:semantics> <mml:mi>ρ<!-- ρ --></mml:mi> <mml:annotation encoding=\"application/x-tex\">rho</mml:annotation> </mml:semantics> </mml:math> </inline-formula> over <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q\"> <mml:semantics> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">mathbb {Q}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, we introduce a family of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-adic Stark regulators and we formulate an Iwasawa-Greenberg main conjecture and a <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-adic Stark conjecture which can be seen as an explicit strengthening of conjectures by Perrin-Riou and Benois in the context of Artin motives. We show that these conjectures imply the <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-part of the Tamagawa number conjecture for Artin motives at <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"s equals 0\"> <mml:semantics> <mml:mrow> <mml:mi>s</mml:mi> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">s=0</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and we obtain unconditional results on the torsionness of Selmer groups. We also relate our new conjectures with various main conjectures and variants of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"a","PeriodicalId":23209,"journal":{"name":"Transactions of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":1.3,"publicationDate":"2024-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140935214","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}
{"title":"A rigidity theorem for asymptotically flat static manifolds and its applications","authors":"Brian Harvie, Ye-Kai Wang","doi":"10.1090/tran/9134","DOIUrl":"https://doi.org/10.1090/tran/9134","url":null,"abstract":"<p>In this paper, we study the Minkowski-type inequality for asymptotically flat static manifolds <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis upper M Superscript n Baseline comma g right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msup> <mml:mi>M</mml:mi> <mml:mrow> <mml:mi>n</mml:mi> </mml:mrow> </mml:msup> <mml:mo>,</mml:mo> <mml:mi>g</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">(M^{n},g)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with boundary and with dimension <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n greater-than 8\"> <mml:semantics> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>></mml:mo> <mml:mn>8</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">n>8</mml:annotation> </mml:semantics> </mml:math> </inline-formula> that was established by McCormick [Proc. Amer. Math. Soc. 146 (2018), pp. 4039–4046]. First, we show that any asymptotically flat static <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis upper M Superscript n Baseline comma g right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msup> <mml:mi>M</mml:mi> <mml:mrow> <mml:mi>n</mml:mi> </mml:mrow> </mml:msup> <mml:mo>,</mml:mo> <mml:mi>g</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">(M^{n},g)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> which achieves the equality and has CMC or equipotential boundary is isometric to a rotationally symmetric region of the Schwarzschild manifold. Then, we apply conformal techniques to derive a new Minkowski-type inequality for the level sets of bounded static potentials. Taken together, these provide a robust approach to detecting rotational symmetry of asymptotically flat static systems.</p> <p>As an application, we prove global uniqueness of static metric extensions for the Bartnik data induced by both Schwarzschild coordinate spheres and Euclidean coordinate spheres in dimension <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n greater-than 8\"> <mml:semantics> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>></mml:mo> <mml:mn>8</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">n > 8</mml:annotation> </mml:semantics> </mml:math> </inline-formula> under the natural condition of <italic>Schwarzschild stability</italic>. This generalizes an earlier result of Miao [Classical Quantum Gravity 22 (2005), pp. L53–L59]. We also establish uniqueness for equipotential photon surfaces with small Einstein-Hilbert energy. This is interesting to compare with other recent uniqueness results for static photon surfaces and black holes","PeriodicalId":23209,"journal":{"name":"Transactions of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":1.3,"publicationDate":"2024-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140935139","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}
{"title":"A higher Gross–Zagier formula and the structure of Selmer groups","authors":"Chan-Ho Kim","doi":"10.1090/tran/9125","DOIUrl":"https://doi.org/10.1090/tran/9125","url":null,"abstract":"<p>We describe a Kolyvagin system-theoretic refinement of Gross–Zagier formula by comparing Heegner point Kolyvagin systems with Kurihara numbers when the root number of a rational elliptic curve <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper E\"> <mml:semantics> <mml:mi>E</mml:mi> <mml:annotation encoding=\"application/x-tex\">E</mml:annotation> </mml:semantics> </mml:math> </inline-formula> over an imaginary quadratic field <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K\"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding=\"application/x-tex\">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"negative 1\"> <mml:semantics> <mml:mrow> <mml:mo>−<!-- − --></mml:mo> <mml:mn>1</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">-1</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. When the root number of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper E\"> <mml:semantics> <mml:mi>E</mml:mi> <mml:annotation encoding=\"application/x-tex\">E</mml:annotation> </mml:semantics> </mml:math> </inline-formula> over <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K\"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding=\"application/x-tex\">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is 1, we first establish the structure theorem of the <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p Superscript normal infinity\"> <mml:semantics> <mml:msup> <mml:mi>p</mml:mi> <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi> </mml:msup> <mml:annotation encoding=\"application/x-tex\">p^infty</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-Selmer group of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper E\"> <mml:semantics> <mml:mi>E</mml:mi> <mml:annotation encoding=\"application/x-tex\">E</mml:annotation> </mml:semantics> </mml:math> </inline-formula> over <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K\"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding=\"application/x-tex\">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. The description is given by the values of certain families of quaternionic automorphic forms, which is a part of bipartite Euler systems. By comparing bipartite Euler systems with Kurihara numbers, we also obtain an analogous refinement of Waldspurger formula. No low analytic rank assumption is imposed in both refinements.</p> <p>We also prove the equivalence between the no","PeriodicalId":23209,"journal":{"name":"Transactions of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":1.3,"publicationDate":"2024-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140935216","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}
{"title":"Weighted CLR type bounds in two dimensions","authors":"Rupert Frank, Ari Laptev, Larry Read","doi":"10.1090/tran/9124","DOIUrl":"https://doi.org/10.1090/tran/9124","url":null,"abstract":"<p>We derive weighted versions of the Cwikel–Lieb–Rozenblum inequality for the Schrödinger operator in two dimensions with a nontrivial Aharonov–Bohm magnetic field. Our bounds capture the optimal dependence on the flux and we identify a class of long-range potentials that saturate our bounds in the strong coupling limit. We also extend our analysis to the two-dimensional Schrödinger operator acting on antisymmetric functions and obtain similar results.</p>","PeriodicalId":23209,"journal":{"name":"Transactions of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":1.3,"publicationDate":"2024-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140934894","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}
{"title":"A bound for the torsion on subvarieties of abelian varieties","authors":"Aurélien Galateau, César Martínez","doi":"10.1090/tran/8933","DOIUrl":"https://doi.org/10.1090/tran/8933","url":null,"abstract":"<p>We give a uniform bound on the degree of the maximal torsion cosets for subvarieties of an abelian variety. The proof combines algebraic interpolation and a theorem of Serre on homotheties in the Galois representation associated to the torsion subgroup of an abelian variety.</p>","PeriodicalId":23209,"journal":{"name":"Transactions of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":1.3,"publicationDate":"2024-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140934895","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}
{"title":"CMC-1 surfaces via osculating Möbius transformations between circle patterns","authors":"Wai Yeung Lam","doi":"10.1090/tran/9121","DOIUrl":"https://doi.org/10.1090/tran/9121","url":null,"abstract":"<p>Given two circle patterns of the same combinatorics in the plane, the Möbius transformations mapping circumdisks of one to the other induce a <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper P upper S upper L left-parenthesis 2 comma double-struck upper C right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>P</mml:mi> <mml:mi>S</mml:mi> <mml:mi>L</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>2</mml:mn> <mml:mo>,</mml:mo> <mml:mrow> <mml:mi mathvariant=\"double-struck\">C</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">PSL(2,mathbb {C})</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-valued function on the dual graph. Such a function plays the role of an osculating Möbius transformation and induces a realization of the dual graph in hyperbolic space. We characterize the realizations and obtain a one-to-one correspondence in the cases that the two circle patterns share the same discrete conformal structure. These correspondences are analogous to the Weierstrass representation for surfaces with constant mean curvature <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H identical-to 1\"> <mml:semantics> <mml:mrow> <mml:mi>H</mml:mi> <mml:mo>≡<!-- ≡ --></mml:mo> <mml:mn>1</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">Hequiv 1</mml:annotation> </mml:semantics> </mml:math> </inline-formula> in hyperbolic space. We further establish convergence on triangular lattices.</p>","PeriodicalId":23209,"journal":{"name":"Transactions of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":1.3,"publicationDate":"2024-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140934874","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}