For any subfield $K\subseteq \mathbb{C}$, not contained in an imaginary quadratic extension of $\mathbb{Q}$, we construct conjugate varieties whose algebras of $K$-rational ($p,p$)-classes are not isomorphic. This compares to the Hodge conjecture which predicts isomorphisms when $K$ is contained in an imaginary quadratic extension of $\mathbb{Q}$; additionally, it shows that the complex Hodge structure on the complex cohomology algebra is not invariant under the Aut($\mathbb{C}$)-action on varieties. In our proofs, we find simply connected conjugate varieties whose multilinear intersection forms on $H^{2}(-,\mathbb{R})$ are not (weakly) isomorphic. Using these, we detect nonhomeomorphic conjugate varieties for any fundamental group and in any birational equivalence class of dimension $\geq $10.

It has been a long-standing question whether every amenable operator algebra is isomorphic to a (necessarily nuclear) $\mathrm{C}^*$-algebra. In this note, we give a nonseparable counterexample. Finding out whether a separable counterexample exists remains an open problem. We also initiate a general study of unitarizability of representations of amenable groups in $\mathrm{C}^*$-algebras and show that our method cannot produce a separable counterexample.

We study questions in incidence geometry where the precise position of points is ‘blurry’ (for example due to noise, inaccuracy or error). Thus lines are replaced by narrow tubes, and more generally affine subspaces are replaced by their small neighborhood. We show that the presence of a sufficiently large number of approximately collinear triples in a set of points in ${\mathbb{C}}^d$ implies that the points are close to a low dimensional affine subspace. This can be viewed as a stable variant of the Sylvester–Gallai theorem and its extensions. Building on the recently found connection between Sylvester–Gallai type theorems and complex locally correctable codes (LCCs), we define the new notion of stable LCCs, in which the (local) correction procedure can also handle small perturbations in the Euclidean metric. We prove that such stable codes with constant query complexity do not exist. No impossibility results were known in any such local setting for more than two queries.

We study the rank of complex sparse matrices in which the supports of different columns have small intersections. The rank of these matrices, called design matrices, was the focus of a recent work by Barak et al. [Rank bounds for design matrices with applications to combinatorial geometry and locally correctable codes. Proceedings of the 43rd annual ACM symposium on Theory of computing, STOC 11, (ACM, NY 2011), 519–528] in which they were used to answer questions regarding point configurations. In this work, we derive near-optimal rank bounds for these matrices and use them to obtain asymptotically tight bounds in many of the geometric applications. As a consequence of our improved analysis, we also obtain a new, linear algebraic, proof of Kelly’s theorem, which is the complex analog of the Sylvester–Gallai theorem.

Plane wave solutions to the cubic nonlinear Schrödinger equation on a torus have recently been shown to behave orbitally stable. Under generic perturbations of the initial data that are small in a high-order Sobolev norm, plane waves are stable over long times that extend to arbitrary negative powers of the smallness parameter. The present paper studies the question as to whether numerical discretizations by the split-step Fourier method inherit such a generic long-time stability property. This can indeed be shown under a condition of linear stability and a nonresonance condition. They can both be verified in the case of a spatially constant plane wave if the time step-size is restricted by a Courant–Friedrichs–Lewy condition (CFL condition). The proof first uses a Hamiltonian reduction and transformation and then modulated Fourier expansions in time. It provides detailed insight into the structure of the numerical solution.

We show that the weak limit of the maximal measures for any degenerating sequence of rational maps on the Riemann sphere ${\hat{{\mathbb{C}}}} $ must be a countable sum of atoms. For a one-parameter family $f_t$ of rational maps, we refine this result by showing that the measures of maximal entropy have a unique limit on $\hat{{\mathbb{C}}}$ as the family degenerates. The family $f_t$ may be viewed as a single rational function on the Berkovich projective line $\mathbf{P}^1_{\mathbb{L}}$ over the completion of the field of formal Puiseux series in $t$, and the limiting measure on $\hat{{\mathbb{C}}}$ is the ‘residual measure’ associated with the equilibrium measure on $\mathbf{P}^1_{\mathbb{L}}$. For the proof, we introduce a new technique for quantizing measures on the Berkovich projective line and demonstrate the uniqueness of solutions to a quantized version of the pullback formula for the equilibrium measure on $\mathbf{P}^1_{\mathbb{L}}$.

We present a procedure for constructing families of local, massive and interacting Haag–Kastler nets on the two-dimensional spacetime through an operator-algebraic method. A proof of existence of local observables is given without relying on modular nuclearity. By a similar technique, another family of wedge-local nets is constructed using certain endomorphisms of conformal nets recently studied by Longo and Witten.

Given a cardinal $\lambda $ with $\lambda =\lambda ^{\aleph _0}$, we show that there is a field of cardinality $\lambda $ whose automorphism group is a free group of rank $2^\lambda $. In the proof of this statement, we develop general techniques that enable us to realize certain groups as the automorphism group of structures of a given cardinality. They allow us to show that analogues of this result hold for free objects in various varieties of groups. For example, the free abelian group of rank $2^\lambda $ is the automorphism group of a field of cardinality $\lambda $ whenever $\lambda $ is a cardinal with $\lambda =\lambda ^{\aleph _0}$. Moreover, we apply these techniques to show that consistently the assumption that $\lambda =\lambda ^{\aleph _0}$ is not necessary for the existence of a field of cardinality $\lambda $ whose automorphism group is a free group of rank $2^\lambda $. Finally, we use them to prove that the existence of a cardinal $\lambda $ of uncountable cofinality with the property that there is no field of cardinality $\lambda $ whose automorphism group is a free group of rank greater than $\lambda $ implies the existence of large cardinals in certain inner models of set theory.

The superbosonization identity of Littelmann, Sommers and Zirnbauer is a new tool for use in studying universality of random matrix ensembles via supersymmetry, which is applicable to non-Gaussian invariant distributions. We give a new conceptual interpretation of this formula, linking it to harmonic superanalysis of Lie supergroups and symmetric superspaces, and in particular, to a supergeneralization of the Riesz distributions. Using the super-Laplace transformation of generalized superfunctions, the theory of which we develop, we reduce the proof to computing the Gindikin gamma function of a Riemannian symmetric superspace, which we determine explicitly.

We prove existence of solutions of the vacuum Einstein equations with initial data induced by a smooth metric on a light-cone.

We establish vortex dynamics for the time-dependent Ginzburg–Landau equation for asymptotically large numbers of vortices for the problem without a gauge field and either Dirichlet or Neumann boundary conditions. As our main tool, we establish quantitative bounds on several fundamental quantities, including the kinetic energy, that lead to explicit convergence rates. For dilute vortex liquids, we prove that sequences of solutions converge to the hydrodynamic limit.

We study sparse approximation by greedy algorithms. We prove the Lebesgue-type inequalities for the weak Chebyshev greedy algorithm (WCGA), a generalization of the weak orthogonal matching pursuit to the case of a Banach space. The main novelty of these results is a Banach space setting instead of a Hilbert space setting. The results are proved for redundant dictionaries satisfying certain conditions. Then we apply these general results to the case of bases. In particular, we prove that the WCGA provides almost optimal sparse approximation for the trigonometric system in $L_p$, $2\le p<\infty $.

We show how the Selberg $\Lambda ^2$-sieve can be used to obtain power saving error terms in a wide class of counting problems which are tackled using the geometry of numbers. Specifically, we give such an error term for the counting function of $S_5$-quintic fields.

Soit $X=\mathcal{M}(\mathscr{A})$ un espace affinoïde et soient $f,g\in \mathscr{A}$. Nous étudions les ensembles de composantes connexes des espaces définis par une inégalité de la forme $|f|\le r\, |g|$, avec $r\ge 0$. Nous montrons qu’il existe une partition finie de $\mathbf{R}_{+}$ en intervalles sur lesquels ces ensembles sont canoniquement en bijection et que les bornes de ces intervalles appartiennent à $\sqrt{\rho (\mathscr{A})}$.

In this paper, we consider the existence of multi-soliton structures for the nonlinear Klein–Gordon (NLKG) equation in $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}\mathbb{R}^{1+d}$. We prove that, independently of the unstable character of NLKG solitons, it is possible to construct a $N$-soliton family of solutions to the NLKG equation, of dimension $2N$, globally well defined in the energy space $H^1\times L^2$ for all large positive times. The method of proof involves the generalization of previous works on supercritical Nonlinear Schrödinger (NLS) and generalized Korteweg–de Vries (gKdV) equations by Martel, Merle, and the first author [R. Côte, Y. Martel and F. Merle, Rev. Mat. Iberoam. 27 (1) (2011), 273–302] to the wave case, where we replace the unstable mode associated to the linear NLKG operator by two generalized directions that are controlled without appealing to modulation theory. As a byproduct, we generalize the linear theory described in Grillakis, Shatah, and Strauss [J. Funct. Anal. 74 (1) (1987), 160–197] and Duyckaerts and Merle [Int. Math. Res. Pap. IMRP (2008), Art ID rpn002] to the case of boosted solitons, and provide new solutions to be studied using the recent work of Nakanishi and Schlag [Zurich Lectures in Advanced Mathematics, vi+253 pp (European Mathematical Society (EMS), Zürich, 2011)] theory.

We prove a simple level-raising result for regular algebraic, conjugate self-dual automorphic forms on $\mathrm{GL}_n$. This gives a systematic way to construct irreducible Galois representations whose residual representation is reducible.

We compute the Chow groups and the Fulton–MacPherson operational Chow cohomology ring for a class of singular rational varieties including toric varieties. The computation is closely related to the weight filtration on the ordinary cohomology of these varieties. We use the computation to answer one of the open problems about operational Chow cohomology: it does not have a natural map to ordinary cohomology.

We extend the modularity lifting result of P. Kassaei (‘Modularity lifting in parallel weight one’,J. Amer. Math. Soc.26 (1) (2013), 199–225) to allow Galois representations with some ramification at $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}p$. We also prove modularity mod 5 of certain Galois representations. We use these results to prove new cases of the strong Artin conjecture over totally real fields in which 5 is unramified. As an ingredient of the proof, we provide a general result on the automatic analytic continuation of overconvergent $p$-adic Hilbert modular forms of finite slope which substantially generalizes a similar result in P. Kassaei (‘Modularity lifting in parallel weight one’, J. Amer. Math. Soc.26 (1) (2013), 199–225).

We study properties of Sobolev-type metrics on the space of immersed plane curves. We show that the geodesic equation for Sobolev-type metrics with constant coefficients of order 2 and higher is globally well-posed for smooth initial data as well as for initial data in certain Sobolev spaces. Thus the space of closed plane curves equipped with such a metric is geodesically complete. We find lower bounds for the geodesic distance in terms of curvature and its derivatives.

We construct a variant of Karoubi’s relative Chern character for smooth separated schemes over the ring of integers in a $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}p$-adic field, and prove a comparison with the rigid syntomic regulator. For smooth projective schemes, we further relate the relative Chern character to the étale $p$-adic regulator via the Bloch–Kato exponential map. This reproves a result of Huber and Kings for the spectrum of the ring of integers, and generalizes it to all smooth projective schemes as above.