This paper studies ‘pro-excision’ for the $K$-theory of one-dimensional, usually semi-local, rings and its various applications. In particular, we prove Geller’s conjecture for equal characteristic rings over a perfect field of finite characteristic, give results towards Geller’s conjecture in mixed characteristic, and we establish various finiteness results for the $K$-groups of singularities, covering both orders in number fields and singular curves over finite fields.

Given an abelian variety $A$ of dimension $g$ over a number field $K$, and a prime $\ell $, the ${\ell }^{n} $-torsion points of $A$ give rise to a representation ${\rho }_{A, {\ell }^{n} } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ( \mathbb{Z} / {\ell }^{n} \mathbb{Z} )$. In particular, we get a mod-$\ell $representation ${\rho }_{A, \ell } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{F} }_{\ell } )$ and an $\ell $-adic representation ${\rho }_{A, {\ell }^{\infty } } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{Z} }_{\ell } )$. In this paper, we describe the possible determinants of subquotients of these two representations. These two lists turn out to be remarkably similar.

Applying our results in dimension $g= 1$, we recover a generalized version of a theorem of Momose on isogeny characters of elliptic curves over number fields, and obtain, conditionally on the Generalized Riemann Hypothesis, a generalization of Mazur’s bound on rational isogenies of prime degree to number fields.

We describe various classes of infinitely presented groups that are condensation points in the space of marked groups. A well-known class of such groups consists of finitely generated groups admitting an infinite minimal presentation. We introduce here a larger class of condensation groups, called infinitely independently presentable groups, and establish criteria which allow one to infer that a group is infinitely independently presentable. In addition, we construct examples of finitely generated groups with no minimal presentation, among them infinitely presented groups with Cantor–Bendixson rank 1, and we prove that every infinitely presented metabelian group is a condensation group.

We prove bilinear estimates for the Schrödinger equation on 3D domains, with Dirichlet boundary conditions. On non-trapping domains, they match the ${ \mathbb{R} }^{3} $ case, while on bounded domains they match the generic boundaryless manifold case. We obtain, as an application, global well-posedness for the defocusing cubic NLS for data in ${ H}_{0}^{s} (\Omega )$, $1\lt s\leq 3$, with $\Omega $ any bounded domain with smooth boundary.

We define the algebraic Dirac induction map ${\mathrm{Ind} }_{D} $ for graded affine Hecke algebras. The map ${\mathrm{Ind} }_{D} $ is a Hecke algebra analog of the explicit realization of the Baum–Connes assembly map in the $K$-theory of the reduced ${C}^{\ast } $-algebra of a real reductive group using Dirac operators. The definition of ${\mathrm{Ind} }_{D} $ is uniform over the parameter space of the graded affine Hecke algebra. We show that the map ${\mathrm{Ind} }_{D} $ defines an isometric isomorphism from the space of elliptic characters of the Weyl group (relative to its reflection representation) to the space of elliptic characters of the graded affine Hecke algebra. We also study a related analytically defined global elliptic Dirac operator between unitary representations of the graded affine Hecke algebra which are realized in the spaces of sections of vector bundles associated to certain representations of the pin cover of the Weyl group. In this way we realize all irreducible discrete series modules of the Hecke algebra in the kernels (and indices) of such analytic Dirac operators. This can be viewed as a graded affine Hecke algebra analog of the construction of the discrete series representations of semisimple Lie groups due to Parthasarathy and to Atiyah and Schmid.

Very few things are known about the curves that are at the boundary of the instability zones of symplectic twist maps. It is known that in general they have an irrational rotation number and that they cannot be KAM curves. We address the following questions. Can they be very smooth? Can they be non-${C}^{1} $?

Can they have a Diophantine or a Liouville rotation number? We give a partial answer for ${C}^{1} $ and ${C}^{2} $ twist maps.

In Theorem 1, we construct a ${C}^{2} $ symplectic twist map $f$ of the annulus that has an essential invariant curve $\Gamma $ such that

$\bullet $ $\Gamma $ is not differentiable;

$\bullet $ the dynamics of ${f}_{\vert \Gamma } $ is conjugated to the one of a Denjoy counter-example;

$\bullet $ $\Gamma $ is at the boundary of an instability zone for $f$.

Using the Hayashi connecting lemma, we prove in Theroem 2 that any symplectic twist map restricted to an essential invariant curve can be embedded as the dynamics along a boundary of an instability zone for some ${C}^{1} $ symplectic twist map.

Given two arbitrary sequences $({\lambda }_{j} )_{j\geq 1} $ and $({\mu }_{j} )_{j\geq 1} $ of real numbers satisfying

$$\begin{eqnarray*}\displaystyle \vert {\lambda }_{1} \vert \gt \vert {\mu }_{1} \vert \gt \vert {\lambda }_{2} \vert \gt \vert {\mu }_{2} \vert \gt \cdots \gt \vert {\lambda }_{j} \vert \gt \vert {\mu }_{j} \vert \rightarrow 0, &&\displaystyle\end{eqnarray*}$$

$c= ({c}_{n} )_{n\in { \mathbb{Z} }_{+ } } $

${\Gamma }_{c} $

${\Gamma }_{\tilde {c} } $

$c= ({c}_{n} )_{n\geq 0} $

$\tilde {c} = ({c}_{n+ 1} )_{n\geq 0} $

${\ell }^{2} ({ \mathbb{Z} }_{+ } )$

$({\lambda }_{j} )_{j\geq 1} $

$({\mu }_{j} )_{j\geq 1} $

$c$

${\Gamma }_{c} $

${\Gamma }_{\tilde {c} } $

$({\lambda }_{j} )_{j\geq 1} $

$({\mu }_{j} )_{j\geq 1} $

$({\rho }_{j} )_{j\geq 1} $

$({\sigma }_{j} )_{j\geq 1} $

$$\begin{eqnarray*}\displaystyle {\rho }_{1} \gt {\sigma }_{1} \gt {\rho }_{2} \gt {\sigma }_{2} \gt \cdots \gt {\rho }_{j} \gt {\sigma }_{j} \rightarrow 0, &&\displaystyle\end{eqnarray*}$$

$c= ({c}_{n} )_{n\in { \mathbb{Z} }_{+ } } $

${\Gamma }_{c} $

${\Gamma }_{\tilde {c} } $

${\ell }^{2} ({ \mathbb{Z} }_{+ } )$

$({\rho }_{j} )_{j\geq 1} $

$({\sigma }_{j} )_{j\geq 1} $

Let $\mathfrak{F}$ be a locally compact nonarchimedean field with residue characteristic $p$, and let $\mathrm{G} $ be the group of $\mathfrak{F}$-rational points of a connected split reductive group over $\mathfrak{F}$. For $k$ an arbitrary field of any characteristic, we study the homological properties of the Iwahori–Hecke $k$-algebra ${\mathrm{H} }^{\prime } $ and of the pro-$p$ Iwahori–Hecke $k$-algebra $\mathrm{H} $ of $\mathrm{G} $. We prove that both of these algebras are Gorenstein rings with self-injective dimension bounded above by the rank of $\mathrm{G} $. If $\mathrm{G} $ is semisimple, we also show that this upper bound is sharp, that both $\mathrm{H} $ and ${\mathrm{H} }^{\prime } $ are Auslander–Gorenstein, and that there is a duality functor on the finite length modules of $\mathrm{H} $ (respectively ${\mathrm{H} }^{\prime } $). We obtain the analogous Gorenstein and Auslander–Gorenstein properties for the graded rings associated to $\mathrm{H} $ and ${\mathrm{H} }^{\prime } $.

When $k$ has characteristic $p$, we prove that in ‘most’ cases $\mathrm{H} $ and ${\mathrm{H} }^{\prime } $ have infinite global dimension. In particular, we deduce that the category of smooth $k$-representations of $\mathrm{G} = {\mathrm{PGL} }_{2} ({ \mathbb{Q} }_{p} )$ generated by their invariant vectors under the pro-$p$ Iwahori subgroup has infinite global dimension (at least if $k$ is algebraically closed).

For a characteristic-$p\gt 0$ variety $X$ with controlled $F$-singularities, we state conditions which imply that a divisorial sheaf is Cohen–Macaulay or at least has depth $\geq $3 at certain points. This mirrors results of Kollár for varieties in characteristic 0. As an application, we show that relative canonical sheaves are compatible with arbitrary base change for certain families with sharply $F$-pure fibers.

We deal with aspects of direct and inverse problems in parameterized Picard–Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) $G$ is a PPV Galois group over these fields if and only if $G$ contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs $G$, including unipotent groups, $G$ is such a group if and only if it has differential type $0$. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a parameterized linear differential equation if its Galois group has differential type $0$.

We define the notion of a trace kernel on a manifold $M$. Roughly speaking, it is a sheaf on $M\times M$ for which the formalism of Hochschild homology applies. We associate a microlocal Euler class with such a kernel, a cohomology class with values in the relative dualizing complex of the cotangent bundle ${T}^{\ast } M$ over $M$, and we prove that this class is functorial with respect to the composition of kernels.

This generalizes, unifies and simplifies various results from (relative) index theorems for constructible sheaves, $\mathscr{D}$-modules and elliptic pairs.

Local models are schemes, defined in terms of linear-algebraic moduli problems, which are used to model the étale-local structure of integral models of certain $p$-adic PEL Shimura varieties defined by Rapoport and Zink. In the case of a unitary similitude group whose localization at ${ \mathbb{Q} }_{p} $ is ramified, quasi-split $G{U}_{n} $, Pappas has observed that the original local models are typically not flat, and he and Rapoport have introduced new conditions to the original moduli problem which they conjecture to yield a flat scheme. In a previous paper, we proved that their new local models are topologically flat when $n$ is odd. In the present paper, we prove topological flatness when $n$ is even. Along the way, we characterize the $\mu $-admissible set for certain cocharacters $\mu $ in types $B$ and $D$, and we show that for these cocharacters admissibility can be characterized in a vertexwise way, confirming a conjecture of Pappas and Rapoport.

The aim of this article is to study the Bloch–Kato exponential map and the Perrin-Riou big exponential map purely in terms of $(\varphi , \Gamma )$-modules over the Robba ring. We first generalize the definition of the Bloch–Kato exponential map for all the $(\varphi , \Gamma )$-modules without using Fontaine’s rings ${\mathbf{B} }_{\mathrm{crys} } $, ${\mathbf{B} }_{\mathrm{dR} } $ of $p$-adic periods, and then generalize the construction of the Perrin-Riou big exponential map for all the de Rham $(\varphi , \Gamma )$-modules and prove that this map interpolates our Bloch–Kato exponential map and the dual exponential map. Finally, we prove a theorem concerning the determinant of our big exponential map, which is a generalization of theorem $\delta (V)$ of Perrin-Riou. The key ingredients for our study are Pottharst’s theory of the analytic Iwasawa cohomology and Berger’s construction of $p$-adic differential equations associated to de Rham $(\varphi , \Gamma )$-modules.

We study the global well-posedness of 3D Navier–Stokes equations for a class of large initial data. This type of data slowly varies in the vertical direction (expressed as a function of $\varepsilon {x}_{3} $), and it is ill-prepared in the sense that its norm in ${C}^{- 1} $ will blow up at the rate ${\varepsilon }^{- \alpha } $ for $\frac{1}{2} \lt \alpha \lt 1$ as $\varepsilon $ tends to zero.

In this work, we describe a method to construct the generic braid monodromy of the preimage of a curve by a Kummer cover. This method is interesting since it combines two techniques, namely, the construction of a highly non-generic braid monodromy and a systematic method to go from a non-generic to a generic braid monodromy. The latter process, called generification, is independent from Kummer covers, and it can be applied in more general circumstances since non-generic braid monodromies appear more naturally and are oftentimes much easier to compute. Explicit examples are computed using these techniques.

We prove that groups definable in o-minimal structures have Cartan subgroups, and only finitely many conjugacy classes of such subgroups. We also delineate with precision how these subgroups cover the ambient group.

Using the $\ell $-invariant constructed in our previous paper we prove a Mazur–Tate–Teitelbaum-style formula for derivatives of $p$-adic $L$-functions of modular forms at trivial zeros. The novelty of this result is to cover the near-central point case. In the central point case our formula coincides with the Mazur–Tate–Teitelbaum conjecture proved by Greenberg and Stevens and by Kato, Kurihara and Tsuji at the end of the 1990s.

Consider a pseudogroup on $( \mathbb{C} , 0)$ generated by two local diffeomorphisms having analytic conjugacy classes a priori fixed in $\mathrm{Diff} \hspace{0.167em} ( \mathbb{C} , 0)$. We show that a generic pseudogroup as above is such that every point has a (possibly trivial) cyclic stabilizer. It also follows that these generic groups possess infinitely many hyperbolic orbits. This result possesses several applications to the topology of leaves of foliations, and we shall explicitly describe the case of nilpotent foliations associated to Arnold’s singularities of type ${A}^{2n+ 1} $.

In this paper, we introduce variants of formal nearby cycles for a locally noetherian formal scheme over a complete discrete valuation ring. If the formal scheme is locally algebraizable, then our nearby cycle gives a generalization of Berkovich’s formal nearby cycle. Our construction is entirely scheme theoretic, and does not require rigid geometry. Our theory is intended for applications to the local study of the cohomology of Rapoport–Zink spaces.

We reduce the openness conjecture of Demailly and Kollár on the singularities of plurisubharmonic functions to a purely algebraic statement.