It is shown in this paper that given any closed oriented hyperbolic 3-manifold, every closed oriented 3-manifold is mapped onto by a finite cover of that manifold via a map of degree 1, or in other words, virtually 1-dominated by that manifold. This improves a known result of virtual 2-domination. The proof invokes a recently developed enhanced version of the connection principle in good pants constructions.

For oriented $-1$-shifted symplectic derived Artin stacks, Ben-Bassat, Brav, Bussi and Joyce introduced certain perverse sheaves on them which can be regarded as sheaf-theoretic categorifications of the Donaldson–Thomas invariants. In this paper, we prove that the hypercohomology of the above perverse sheaf on the $-1$-shifted cotangent stack over a quasi-smooth derived Artin stack is isomorphic to the Borel–Moore homology of the base stack up to a certain shift of degree. This is a global version of the dimensional reduction theorem due to Davison. We give two applications of our main theorem. Firstly, we apply it to the study of the cohomological Donaldson–Thomas invariants for local surfaces. Secondly, regarding our main theorem as a version of the Thom isomorphism theorem for dual obstruction cones, we propose a sheaf-theoretic construction of the virtual fundamental classes for quasi-smooth derived Artin stacks.

In this paper, we study polynomial structures by starting on the Lie algebra level, then passing to Lie groups to finally arrive at the polycyclic-by-finite group level. To be more precise, we first show how a general solvable Lie algebra can be decomposed into a sum of two nilpotent subalgebras. Using this result, we construct, for any simply connected, connected solvable Lie group G of dim n, a simply transitive action on Rn which is polynomial and of degree ≤ n3. Finally, we show the existence of a polynomial structure on any polycyclic-by-finite group Γ, which is of degree ≤ h(Γ)3 on almost the entire group (h (Γ) being the Hirsch length of Γ).

We obtain a decomposition formula of a representation of Sp(p, q) or SO*(2n) unitarily induced from a derived functor module, which enables us to reduce the problem of irreducible decompositions to the study of derived functor modules. In particular, we show that such an induced representation is decomposed into a direct sum of irreducible unitarily induced modules from derived functor modules under some regularity condition on the parameters. In particular, representations of SO*(2n) and Sp(p, q) induced from one-dimensional unitary representations of their parabolic subgroups are irreducible.

To every dynamical system $(X,\varphi )$ over a totally disconnected compact space, we associate a left-orderable group $T(\varphi )$. It is defined as a group of homeomorphisms of the suspension of $(X,\varphi )$ which preserve every orbit of the suspension flow and act by dyadic piecewise linear homeomorphisms in the flow direction. We show that if the system is minimal, the group is simple and, if it is a subshift, then the group is finitely generated. The proofs of these two statements are short and elementary, providing straightforward examples of finitely generated simple left-orderable groups. We show that if the system is minimal, every action of the corresponding group on the circle has a fixed point. These constitute the first examples of finitely generated left-orderable groups with this fixed point property. We show that for every system $(X,\varphi )$, the group $T(\varphi )$ does not have infinite subgroups with Kazhdan's property $(T)$. In addition, we show that for every minimal subshift, the corresponding group is never finitely presentable. Finally, if $(X,\varphi )$ has a dense orbit, then the isomorphism type of the group $T(\varphi )$ is a complete invariant of flow equivalence of the pair $\{\varphi , \varphi ^{-1}\}$.

In Boyer [Monodromy of perverse sheaves on vanishing cycles on some Shimura varieties, Invent. Math. 177 (2009), 239–280 (in French)], a sheaf version of the monodromy-weight conjecture for some unitary Shimura varieties was proved by giving explicitly the monodromy filtration of the complex of vanishing cycles in terms of local systems introduced in Harris and Taylor [The geometry and cohomology of some simple Shimura varieties (Princeton University Press, Princeton, NJ, 2001)]. The main result of this paper is the cohomological version of the monodromy-weight conjecture for these Shimura varieties, which we prove by means of an explicit description of the groups of cohomology in terms of automorphic representations and the local Langlands correspondence.

In this paper we prove that the moduli spaces $MI_{\scriptstyle {\bb P}^{2n+1}}(k)$ of mathematical instanton bundles on ${\bb P}^{2n+1}_{{\bb C}}$ with quantum number $k$ are singular for $n \geqslant 2$ and $k \geqslant 3$, giving a positive answer to a conjecture made by Ancona and Ottaviani in 1993.

Let $a, b$ and $n$ be integers with $n ⩾ 3$. We show that, in the sense of natural density, almost all integers represented by the binary form $ax^n − by^n$ are thus represented essentially uniquely. By exploiting this conclusion, we derive an asymptotic formula for the total number of integers represented by such a form. These conclusions augment earlier work of Hooley concerning binary cubic and quartic forms, and generalise or sharpen work of Hooley, Greaves, and Skinner and Wooley concerning sums and differences of two nth powers.

We show that the residue at s=0 of the standard intertwining operator attached to a supercuspidal representation π⊗χ of the Levi subgroup GL2(F)×E1 of the quasisplit group SO*6(F) defined by a quadratic extension E/F of p-adic fields is proportional to the pairing of the characters of these representations considered on the graph of the norm map of Kottwitz–Shelstad. Here π is self-dual, and the norm is simply that of Hilbert’s theorem 90. The pairing can be carried over to a pairing between the character on E1 and the character on E× defining the representation of GL2(F) when the central character of the representation is quadratic, but non-trivial, through the character identities of Labesse–Langlands. If the quadratic extension defining the representation on GL2(F) is different from E the residue is then zero. On the other hand when the central character is trivial the residue is never zero. The results agree completely with the theory of twisted endoscopy and L-functions and determines fully the reducibility of corresponding induced representations for all s.

The notion of Hochschild cochains induces an assignment from $\mathsf{Aff}$, affine DG schemes, to monoidal DG categories. We show that this assignment extends, under appropriate finiteness conditions, to a functor $\mathbb{H}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$, where the latter denotes the category of monoidal DG categories and bimodules. Any functor $\mathbb{A}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$ gives rise, by taking modules, to a theory of sheaves of categories $\mathsf{ShvCat}^{\mathbb{A}}$. In this paper, we study $\mathsf{ShvCat}^{\mathbb{H}}$. Loosely speaking, this theory categorifies the theory of $\mathfrak{D}$-modules, in the same way as Gaitsgory’s original $\mathsf{ShvCat}$ categorifies the theory of quasi-coherent sheaves. We develop the functoriality of $\mathsf{ShvCat}^{\mathbb{H}}$, its descent properties and the notion of $\mathbb{H}$-affineness. We then prove the $\mathbb{H}$-affineness of algebraic stacks: for ${\mathcal{Y}}$ a stack satisfying some mild conditions, the $\infty$-category $\mathsf{ShvCat}^{\mathbb{H}}({\mathcal{Y}})$ is equivalent to the $\infty$-category of modules for $\mathbb{H}({\mathcal{Y}})$, the monoidal DG category of higher differential operators. The main consequence, for ${\mathcal{Y}}$ quasi-smooth, is the following: if ${\mathcal{C}}$ is a DG category acted on by $\mathbb{H}({\mathcal{Y}})$, then ${\mathcal{C}}$ admits a theory of singular support in $\operatorname{Sing}({\mathcal{Y}})$, where $\operatorname{Sing}({\mathcal{Y}})$ is the space of singularities of ${\mathcal{Y}}$. As an application to the geometric Langlands programme, we indicate how derived Satake yields an action of $\mathbb{H}(\operatorname{LS}_{{\check{G}}})$ on $\mathfrak{D}(\operatorname{Bun}_{G})$, thereby equipping objects of $\mathfrak{D}(\operatorname{Bun}_{G})$ with singular support in $\operatorname{Sing}(\operatorname{LS}_{{\check{G}}})$.

Recall that a Borel measure $\mu$ on $\mathbb{R}$ is said to be extremal if $\mu$-almost every number in $\mathbb{R}$ is not very well approximable. In this paper, we investigate extremality (implied by the exponentially fast decay (efd) property) of conformal measures induced by regular infinite conformal iterated function systems. We then give particular attention to the class of such systems generated by the continued fractions algorithm with restricted entries. It is proved that if the index set of entries has bounded gaps, then the corresponding conformal measure satisfies the efd property and is extremal. Also a class of examples of index sets with unbounded gaps is provided for which the corresponding conformal measure also satisfies the efd property and is extremal.

Let $U_q'({\mathfrak {g}})$ be a quantum affine algebra with an indeterminate $q$, and let $\mathscr {C}_{\mathfrak {g}}$ be the category of finite-dimensional integrable $U_q'({\mathfrak {g}})$-modules. We write $\mathscr {C}_{\mathfrak {g}}^0$ for the monoidal subcategory of $\mathscr {C}_{\mathfrak {g}}$ introduced by Hernandez and Leclerc. In this paper, we associate a simply laced finite-type root system to each quantum affine algebra $U_q'({\mathfrak {g}})$ in a natural way and show that the block decompositions of $\mathscr {C}_{\mathfrak {g}}$ and $\mathscr {C}_{\mathfrak {g}}^0$ are parameterized by the lattices associated with the root system. We first define a certain abelian group $\mathcal {W}$ (respectively $\mathcal {W} _0$) arising from simple modules of $\mathscr {C}_{\mathfrak {g}}$ (respectively $\mathscr {C}_{\mathfrak {g}}^0$) by using the invariant $\Lambda ^\infty$ introduced in previous work by the authors. The groups $\mathcal {W}$ and $\mathcal {W} _0$ have subsets $\Delta$ and $\Delta _0$ determined by the fundamental representations in $\mathscr {C}_{\mathfrak {g}}$ and $\mathscr {C}_{\mathfrak {g}}^0$, respectively. We prove that the pair $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} _0, \Delta _0)$ is an irreducible simply laced root system of finite type and that the pair $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} , \Delta )$ is isomorphic to the direct sum of infinite copies of $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} _0, \Delta _0)$ as a root system.

The main result of this paper states that if $k$ is a field of characteristic $p\gt 0$ and $A/ k$ is a central simple algebra of index $d= {p}^{n} $ and exponent ${p}^{e} $, then $A$ is split by a purely inseparable extension of $k$ of the form $k( \sqrt[{p}^{e} ]{{a}_{i} }, i= 1, \ldots , d- 1)$. Combining this result with a theorem of Albert (for which we include a new proof), we get that any such algebra is Brauer equivalent to the tensor product of at most $d- 1$ cyclic algebras of degree ${p}^{e} $. This gives a drastic improvement upon previously known upper bounds.

Given a global field $K$ and a positive integer $n$, we present a diophantine criterion for a polynomial in one variable of degree $n$ over $K$ not to have a root in $K$. This strengthens a result by Colliot-Thélène and Van Geel [Compositio Math. 151 (2015), 1965–1980] stating that the set of non-$n$th powers in a number field $K$ is diophantine. We also deduce a diophantine criterion for a polynomial over $K$ of given degree in a given number of variables to be irreducible. Our approach is based on a generalisation of the quaternion method used by Poonen and Koenigsmann for first-order definitions of $\mathbb{Z}$ in $\mathbb{Q}$.

We construct multiple zeta functions as absolute tensor products of usual zeta functions. The Euler product expression is established for the most basic case $\zeta(s,\mathbf{F}_p)\otimes\zeta(s,\mathbf{F}_q)$ by using the signed double Poisson summation formula and the theory of the double sine function.

We study the Iitaka–Kodaira dimension of nef relative anti-canonical divisors. As a consequence, we prove that given a complex projective variety with klt singularities, if the anti-canonical divisor is nef, then the dimension of a general fibre of the maximal rationally connected fibration is at least the Iitaka–Kodaira dimension of the anti-canonical divisor.

Let k be a non-Archimedean field, let X be a k-affinoid space and let f1,…,fn, with , be analytic functions over X. If X is irreducible, we prove that the analytic domain is still irreducible, provided that is small enough. Then, for a general X, we precisely describe how the geometric connected components of the spaces behave with regards to ε. Finally, we obtain a result concerning privileged neighbourhoods and adapt a theorem from complex analytic geometry about Noetherianity for germs of analytic functions.

We define stacky Lie groups to be group objects in the 2-category of differentiable stacks. We show that every connected and étale stacky Lie group is equivalent to a crossed module of the form (Γ,G) where Γ is the fundamental group of the given stacky Lie group and G is the connected and simply connected Lie group integrating the Lie algebra of the stacky group. Our result is closely related to a strictification result of Baez and Lauda.

We show that the set of real polynomials in two variables that are sums of three squares of rational functions is dense in the set of those that are positive semidefinite. We also prove that the set of real surfaces in $\mathbb{P}^{3}$ whose function field has level 2 is dense in the set of those that have no real points.

Let $\Vert \cdot \Vert$ denote the distance to the nearest integer and, for a prime number $p$, let $|\cdot |_{p}$ denote the $p$-adic absolute value. Over a decade ago, de Mathan and Teulié [Problèmes diophantiens simultanés, Monatsh. Math. 143 (2004), 229–245] asked whether $\inf _{q\geqslant 1}$$q\cdot \Vert q{\it\alpha}\Vert \cdot |q|_{p}=0$ holds for every badly approximable real number ${\it\alpha}$ and every prime number $p$. Among other results, we establish that, if the complexity of the sequence of partial quotients of a real number ${\it\alpha}$ grows too rapidly or too slowly, then their conjecture is true for the pair $({\it\alpha},p)$ with $p$ an arbitrary prime.