当前期刊: Inventiones mathematicae Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
  • Kazhdan groups have cost 1
    Invent. math. (IF 2.906) Pub Date : 2020-04-02
    Tom Hutchcroft, Gábor Pete

    Abstract We prove that every countably infinite group with Kazhdan’s property (T) has cost 1, answering a well-known question of Gaboriau. It remains open if they have fixed price 1.

  • A nonlinear Plancherel theorem with applications to global well-posedness for the defocusing Davey–Stewartson equation and to the inverse boundary value problem of Calderón
    Invent. math. (IF 2.906) Pub Date : 2019-11-02
    Adrian Nachman, Idan Regev, Daniel Tataru

    Abstract We prove a Plancherel theorem for a nonlinear Fourier transform in two dimensions arising in the Inverse Scattering method for the defocusing Davey–Stewartson II equation. We then use it to prove global well-posedness and scattering in \(L^2\) for defocusing DSII. This Plancherel theorem also implies global uniqueness in the inverse boundary value problem of Calderón in dimension 2, for conductivities

  • The Fried conjecture in small dimensions
    Invent. math. (IF 2.906) Pub Date : 2019-11-27
    Nguyen Viet Dang, Colin Guillarmou, Gabriel Rivière, Shu Shen

    Abstract We study the twisted Ruelle zeta function \(\zeta _X(s)\) for smooth Anosov vector fields X acting on flat vector bundles over smooth compact manifolds. In dimension 3, we prove the Fried conjecture, relating Reidemeister torsion and \(\zeta _X(0)\). In higher dimensions, we show more generally that \(\zeta _X(0)\) is locally constant with respect to the vector field X under a spectral condition

  • Hodge filtration, minimal exponent, and local vanishing
    Invent. math. (IF 2.906) Pub Date : 2019-11-04
    Mircea Mustaţă, Mihnea Popa

    Abstract We bound the generation level of the Hodge filtration on the localization along a hypersurface in terms of its minimal exponent. As a consequence, we obtain a local vanishing theorem for sheaves of forms with log poles. These results are extended to \({\mathbf {Q}}\)-divisors, and are derived from a result of independent interest on the generation level of the Hodge filtration on nearby and

  • Arctic boundaries of the ice model on three-bundle domains
    Invent. math. (IF 2.906) Pub Date : 2019-12-05
    Amol Aggarwal

    Abstract In this paper we consider the six-vertex model at ice point on an arbitrary three-bundle domain, which is a generalization of the domain-wall ice model on the square (or, equivalently, of a uniformly random alternating sign matrix). We show that this model exhibits the arctic boundary phenomenon, whose boundary is given by a union of explicit algebraic curves. This was originally predicted

  • Pathologies on the Hilbert scheme of points
    Invent. math. (IF 2.906) Pub Date : 2019-12-05
    Joachim Jelisiejew

    Abstract We prove that the Hilbert scheme of points on a higher dimensional affine space is non-reduced and has components lying entirely in characteristic p for all primes p. In fact, we show that Vakil’s Murphy’s Law holds up to retraction for this scheme. Our main tool is a generalized version of the Białynicki-Birula decomposition.

  • Cluster exchange groupoids and framed quadratic differentials
    Invent. math. (IF 2.906) Pub Date : 2019-11-06
    Alastair King, Yu Qiu

    Abstract We introduce the cluster exchange groupoid associated to a non-degenerate quiver with potential, as an enhancement of the cluster exchange graph. In the case that arises from an (unpunctured) marked surface, where the exchange graph is modelled on the graph of triangulations of the marked surface, we show that the universal cover of this groupoid can be constructed using the covering graph

  • Correction to: Diffeomorphism groups of critical regularity
    Invent. math. (IF 2.906) Pub Date : 2020-04-01
    Sang-hyun Kim, Thomas Koberda

    Due to an oversight in the Acknowledgment the grant number from Samsung Science and Technology Foundation is wrong, it should read SSTF-BA1301-06 and SSTF-BA1301-51.

  • Mirror symmetry for moduli spaces of Higgs bundles via p-adic integration
    Invent. math. (IF 2.906) Pub Date : 2020-04-01
    Michael Groechenig, Dimitri Wyss, Paul Ziegler

    Abstract We prove the Topological Mirror Symmetry Conjecture by Hausel–Thaddeus for smooth moduli spaces of Higgs bundles of type \(SL_n\) and \(PGL_n\). More precisely, we establish an equality of stringy Hodge numbers for certain pairs of algebraic orbifolds generically fibred into dual abelian varieties. Our proof utilises p-adic integration relative to the fibres, and interprets canonical gerbes

  • Cohomological Donaldson–Thomas theory of a quiver with potential and quantum enveloping algebras
    Invent. math. (IF 2.906) Pub Date : 2020-03-24
    Ben Davison, Sven Meinhardt

    Abstract This paper concerns the cohomological aspects of Donaldson–Thomas theory for Jacobi algebras and the associated cohomological Hall algebra, introduced by Kontsevich and Soibelman. We prove the Hodge-theoretic categorification of the integrality conjecture and the wall crossing formula, and furthermore realise the isomorphism in both of these theorems as Poincaré–Birkhoff–Witt isomorphisms

  • Correction to: Fourier uniformity of bounded multiplicative functions in short intervals on average
    Invent. math. (IF 2.906) Pub Date : 2019-11-20
    Kaisa Matomäki, Maksym Radziwiłł, Terence Tao

    The original version of this article unfortunately contains a mistake.

  • Mating quadratic maps with the modular group II
    Invent. math. (IF 2.906) Pub Date : 2019-10-10
    Shaun Bullett, Luna Lomonaco

    Abstract In 1994 S. Bullett and C. Penrose introduced the one complex parameter family of (2 : 2) holomorphic correspondences \(\mathcal {F}_a\): $$\begin{aligned} \left( \frac{aw-1}{w-1}\right) ^2+\left( \frac{aw-1}{w-1}\right) \left( \frac{az+1}{z+1}\right) +\left( \frac{az+1}{z+1}\right) ^2=3 \end{aligned}$$and proved that for every value of \(a \in [4,7] \subset \mathbb {R}\) the correspondence

  • A uniqueness result for the decomposition of vector fields in $$\mathbb {R}^{{d}}$$Rd
    Invent. math. (IF 2.906) Pub Date : 2019-11-06
    Stefano Bianchini, Paolo Bonicatto

    Abstract Given a vector field \(\rho (1,\mathbf {b}) \in L^1_\mathrm{loc}(\mathbb {R}^+\times \mathbb {R}^{d},\mathbb {R}^{d+1})\) such that \({{\,\mathrm{div}\,}}_{t,x} (\rho (1,\mathbf {b}))\) is a measure, we consider the problem of uniqueness of the representation \(\eta \) of \(\rho (1,\mathbf {b}) {\mathcal {L}}^{d+1}\) as a superposition of characteristics \(\gamma : (t^-_\gamma ,t^+_\gamma

  • Rigidity theorems for circle domains
    Invent. math. (IF 2.906) Pub Date : 2019-09-20
    Dimitrios Ntalampekos, Malik Younsi

    Abstract A circle domain \(\Omega \) in the Riemann sphere is conformally rigid if every conformal map from \(\Omega \) onto another circle domain is the restriction of a Möbius transformation. We show that circle domains satisfying a certain quasihyperbolic condition, which was considered by Jones and Smirnov (Ark Mat 38, 263–279, 2000), are conformally rigid. In particular, Hölder circle domains

  • Fourier uniformity of bounded multiplicative functions in short intervals on average
    Invent. math. (IF 2.906) Pub Date : 2019-09-26
    Kaisa Matomäki, Maksym Radziwiłł, Terence Tao

    Abstract Let \(\lambda \) denote the Liouville function. We show that as \(X \rightarrow \infty \), $$\begin{aligned} \int _{X}^{2X} \sup _{\alpha } \left| \sum _{x < n \le x + H} \lambda (n) e(-\alpha n) \right| dx = o ( X H) \end{aligned}$$for all \(H \ge X^{\theta }\) with \(\theta > 0\) fixed but arbitrarily small. Previously, this was only known for \(\theta > 5/8\). For smaller values of \(\theta

  • When Kloosterman sums meet Hecke eigenvalues
    Invent. math. (IF 2.906) Pub Date : 2019-09-27
    Ping Xi

    Abstract By elaborating a two-dimensional Selberg sieve with asymptotics and equidistributions of Kloosterman sums from \(\ell \)-adic cohomology, as well as a Bombieri–Vinogradov type mean value theorem for Kloosterman sums in arithmetic progressions, it is proved that for any given primitive Hecke–Maass cusp form of trivial nebentypus, the eigenvalue of the n-th Hecke operator does not coincide with

  • p -converse to a theorem of Gross–Zagier, Kolyvagin and Rubin
    Invent. math. (IF 2.906) Pub Date : 2019-11-02
    Ashay A. Burungale, Ye Tian

    Abstract Let E be a CM elliptic curve over the rationals and \(p>3\) a good ordinary prime for E. We show that $$\begin{aligned} {\mathrm {corank}}_{{\mathbb {Z}}_{p}} {\mathrm {Sel}}_{p^{\infty }}(E_{/{\mathbb {Q}}})=1 \implies {\mathrm {ord}}_{s=1}L(s,E_{/{\mathbb {Q}}})=1 \end{aligned}$$for the \(p^{\infty }\)-Selmer group \({\mathrm {Sel}}_{p^{\infty }}(E_{/{\mathbb {Q}}})\) and the complex L-function

  • Invariance of white noise for KdV on the line
    Invent. math. (IF 2.906) Pub Date : 2020-03-19
    Rowan Killip, Jason Murphy, Monica Visan

    Abstract We consider the Korteweg–de Vries equation with white noise initial data, posed on the whole real line, and prove the almost sure existence of solutions. Moreover, we show that the solutions obey the group property and follow a white noise law at all times, past or future. As an offshoot of our methods, we also obtain a new proof of the existence of solutions and the invariance of white noise

  • Zimmer’s conjecture for actions of $$\mathrm {SL}(m,\pmb {\mathbb {Z}})$$SL(m,Z)
    Invent. math. (IF 2.906) Pub Date : 2020-03-16
    Aaron Brown, David Fisher, Sebastian Hurtado

    Abstract We prove Zimmer’s conjecture for \(C^2\) actions by finite-index subgroups of \(\mathrm {SL}(m,{\mathbb {Z}})\) provided \(m>3\). The method utilizes many ingredients from our earlier proof of the conjecture for actions by cocompact lattices in \(\mathrm {SL}(m,{\mathbb {R}})\) (Brown et al. in Zimmer’s conjecture: subexponential growth, measure rigidity, and strong property (T), 2016. arXiv:1608

  • The Betti map associated to a section of an abelian scheme
    Invent. math. (IF 2.906) Pub Date : 2020-03-16
    Y. André, P. Corvaja, U. Zannier

    Abstract Given a point \(\xi \) on a complex abelian variety A, its abelian logarithm can be expressed as a linear combination of the periods of A with real coefficients, the Betti coordinates of \(\xi \). When \((A, \xi )\) varies in an algebraic family, these coordinates define a system of multivalued real-analytic functions. Computing its rank (in the sense of differential geometry) becomes important

  • Diffeomorphism groups of critical regularity
    Invent. math. (IF 2.906) Pub Date : 2020-03-14
    Sang-hyun Kim, Thomas Koberda

    Abstract Let M be a circle or a compact interval, and let \(\alpha =k+\tau \ge 1\) be a real number such that \(k=\lfloor \alpha \rfloor \). We write \({{\,\mathrm{Diff}\,}}_+^{\alpha }(M)\) for the group of orientation preserving \(C^k\) diffeomorphisms of M whose kth derivatives are Hölder continuous with exponent \(\tau \). We prove that there exists a continuum of isomorphism types of finitely

  • A reverse Sidorenko inequality
    Invent. math. (IF 2.906) Pub Date : 2020-03-10
    Ashwin Sah, Mehtaab Sawhney, David Stoner, Yufei Zhao

    Abstract Let H be a graph allowing loops as well as vertex and edge weights. We prove that, for every triangle-free graph G without isolated vertices, the weighted number of graph homomorphisms \(\hom (G, H)\) satisfies the inequality $$\begin{aligned} \hom (G, H ) \le \prod _{uv \in E(G)} \hom (K_{d_u,d_v}, H )^{1/(d_ud_v)}, \end{aligned}$$where \(d_u\) denotes the degree of vertex u in G. In particular

  • Real orientations of Lubin–Tate spectra
    Invent. math. (IF 2.906) Pub Date : 2020-03-07
    Jeremy Hahn, XiaoLin Danny Shi

    Abstract We show that Lubin–Tate spectra at the prime 2 are Real oriented and Real Landweber exact. The proof is by application of the Goerss–Hopkins–Miller theorem to algebras with involution. For each height n, we compute the entire homotopy fixed point spectral sequence for \(E_n\) with its \(C_2\)-action given by the formal inverse. We study, as the height varies, the Hurewicz images of the stable

  • Square-free Gröbner degenerations
    Invent. math. (IF 2.906) Pub Date : 2020-03-06
    Aldo Conca, Matteo Varbaro

    Abstract Let I be a homogeneous ideal of \(S=K[x_1,\ldots , x_n]\) and let J be an initial ideal of I with respect to a term order. We prove that if J is radical then the Hilbert functions of the local cohomology modules supported at the homogeneous maximal ideal of S/I and S/J coincide. In particular, \({\text {depth}} (S/I)={\text {depth}} (S/J)\) and \({\text {reg}} (S/I)={\text {reg}} (S/J)\).

  • Jacquet modules and local Langlands correspondence
    Invent. math. (IF 2.906) Pub Date : 2019-09-05
    Hiraku Atobe

    Abstract In this paper, we explicitly compute the semisimplifications of all Jacquet modules of irreducible representations with generic L-parameters of p-adic split odd special orthogonal groups or symplectic groups. Our computation represents them in terms of linear combinations of standard modules with rational coefficients. The main ingredient of this computation is to apply Mœglin’s explicit construction

  • Cohomology of p -adic Stein spaces
    Invent. math. (IF 2.906) Pub Date : 2019-10-09
    Pierre Colmez, Gabriel Dospinescu, Wiesława Nizioł

    Abstract We compute p-adic étale and pro-étale cohomologies of Drinfeld half-spaces. In the pro-étale case, the main input is a comparison theorem for p-adic Stein spaces; the cohomology groups involved here are much bigger than in the case of étale cohomology of algebraic varieties or proper analytic spaces considered in all previous works. In the étale case, the classical p-adic comparison theorems

  • The Bieri–Neumann–Strebel invariants via Newton polytopes
    Invent. math. (IF 2.906) Pub Date : 2019-09-07
    Dawid Kielak

    Abstract We study the Newton polytopes of determinants of square matrices defined over rings of twisted Laurent polynomials. We prove that such Newton polytopes are single polytopes (rather than formal differences of two polytopes); this result can be seen as analogous to the fact that determinants of matrices over commutative Laurent polynomial rings are themselves polynomials, rather than rational

  • On Falconer’s distance set problem in the plane
    Invent. math. (IF 2.906) Pub Date : 2019-08-23
    Larry Guth, Alex Iosevich, Yumeng Ou, Hong Wang

    Abstract If \(E \subset \mathbb {R}^2\) is a compact set of Hausdorff dimension greater than 5 / 4, we prove that there is a point \(x \in E\) so that the set of distances \(\{ |x-y| \}_{y \in E}\) has positive Lebesgue measure.

  • Growth of periodic Grigorchuk groups
    Invent. math. (IF 2.906) Pub Date : 2019-09-24
    Anna Erschler, Tianyi Zheng

    Abstract On torsion Grigorchuk groups we construct random walks of finite entropy and power-law tail decay with non-trivial Poisson boundary. Such random walks provide near optimal volume lower estimates for these groups. In particular, for the first Grigorchuk group G we show that its growth \(v_{G,S}(n)\) satisfies \(\lim _{n\rightarrow \infty }\log \log v_{G,S}(n)/\log n=\alpha _{0}\), where \(\alpha

  • Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups
    Invent. math. (IF 2.906) Pub Date : 2019-09-09
    Robert D. Gray

    Abstract We prove the following results: (1) There is a one-relator inverse monoid \(\mathrm {Inv}\langle A\,|\,w=1 \rangle \) with undecidable word problem; and (2) There are one-relator groups with undecidable submonoid membership problem. The second of these results is proved by showing that for any finite forest the associated right-angled Artin group embeds into a one-relator group. Combining

  • Applications of the Kuznetsov formula on GL(3).
    Invent. math. (IF 2.906) Pub Date : 2013-01-01
    Valentin Blomer

    We develop a fairly explicit Kuznetsov formula on GL(3) and discuss the analytic behavior of the test functions on both sides. Applications to Weyl's law, exceptional eigenvalues, a large sieve and L-functions are given.

  • Types and unitary representations of reductive p-adic groups.
    Invent. math. (IF 2.906) Pub Date : null
    Dan Ciubotaru

    We prove that for every Bushnell-Kutzko type that satisfies a certain rigidity assumption, the equivalence of categories between the corresponding Bernstein component and the category of modules for the Hecke algebra of the type induces a bijection between irreducible unitary representations in the two categories. Moreover, we show that every irreducible smooth G-representation contains a rigid type

  • Converse theorems and the local Langlands correspondence in families.
    Invent. math. (IF 2.906) Pub Date : null
    David Helm,Gilbert Moss

    We prove a descent criterion for certain families of smooth representations of GL n ( F ) (F a p-adic field) in terms of the γ -factors of pairs constructed in Moss (Int Math Res Not 2016(16):4903-4936, 2016). We then use this descent criterion, together with a theory of γ -factors for families of representations of the Weil group W F (Helm and Moss in Deligne-Langlands gamma factors in families, arXiv:1510

  • Tropical refined curve counting from higher genera and lambda classes.
    Invent. math. (IF 2.906) Pub Date : null
    Pierrick Bousseau

    Block and Göttsche have defined a q-number refinement of counts of tropical curves in R 2 . Under the change of variables q = e iu , we show that the result is a generating series of higher genus log Gromov-Witten invariants with insertion of a lambda class. This gives a geometric interpretation of the Block-Göttsche invariants and makes their deformation invariance manifest.

Contents have been reproduced by permission of the publishers.
全球疫情及响应:BMC Medicine专题征稿