In this paper, we study a system of thermoelasticity with a degenerate second-order operator in the heat equation. We analyze the evolution of the energy density of a family of solutions. We consider two cases: when the set of points where the ellipticity of the heat operator fails is included in a hypersurface and when it is an open set. In the first case, and under special assumptions, we prove that the evolution of the energy density is that of a damped wave equation: propagation along the rays of the geometric optic and damping according to a microlocal process. In the second case, we show that the energy density propagates along rays which are distortions of the rays of the geometric optic.

We study the first occurrence of a cuspidal representation $\pi$ of $\mathrm{Sp}_{2n}(\mathbb{A})$ in the tower of split orthogonal groups under symplectic-orthogonal theta lift. We give upper and lower bounds for the first occurrence in terms of the wave front of $\pi$. Besides we describe a class of small cuspidal representations whose first occurrence is the maximal possible.

The Christoffel problem, in its classical formulation, asks for a characterization of real functions defined on the unit sphere $S^{n-1}\subset\mathbb{R}^n$ which occur as the mean curvature radius, expressed in terms of the Gauss unit normal, of a closed convex hypersurface, i.e. the boundary of a convex body in $\mathbb{R}^n$. In this work we consider the related problem in Lorentz space $\mathbb{L}^n$ and present necessary and sufficient conditions for a $C^1$ function defined in the hyperbolic space $H^{n-1}\subset\mathbb{L}^n$ to be the mean curvature radius of a spacelike embedding $\bm{M}\hookrightarrow\mathbb{L}^n$.

We study the l-adic cohomology of unramified Rapoport–Zink spaces of EL-type. These spaces were used in Harris and Taylor’s proof of the local Langlands correspondence for $\mathrm {GL_n}$ and to show local–global compatibilities of the Langlands correspondence. In this paper we consider certain morphisms $\mathrm {Mant}_{b, \mu }$ of Grothendieck groups of representations constructed from the cohomology of these spaces, as studied by Harris and Taylor, Mantovan, Fargues, Shin and others. Due to earlier work of Fargues and Shin we have a description of $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ a supercuspidal representation. In this paper, we give a conjectural formula for $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ an admissible representation and prove it when $\rho $ is essentially square-integrable. Our proof works for general $\rho $ conditionally on a conjecture appearing in Shin’s work. We show that our description agrees with a conjecture of Harris in the case of parabolic inductions of supercuspidal representations of a Levi subgroup.

Standard results from non-abelian cohomology theory specialize to a theory of torsors and stacks for cosimplicial groupoids. The space of global sections of the stack completion of a cosimplicial groupoid $G$ is weakly equivalent to the Bousfield–Kan total complex of $BG$ for all cosimplicial groupoids $G$. The $k$-invariants for the Postnikov tower of a cosimplicial space $X$ are naturally elements of stack cohomology for the stack associated to the fundamental groupoid ${\it\pi}(X)$ of $X$. Cocycle-theoretic ideas and techniques are used throughout the paper.

For a weight structure w on a triangulated category $\underline {C}$ we prove that the corresponding weight complex functor and some other (weight-exact) functors are ‘conservative up to weight-degenerate objects’; this improves earlier conservativity formulations. In the case $w=w^{sph}$ (the spherical weight structure on $SH$), we deduce the following converse to the stable Hurewicz theorem: $H^{sing}_{i}(M)=\{0\}$ for all $i<0$ if and only if $M\in SH$ is an extension of a connective spectrum by an acyclic one. We also prove an equivariant version of this statement.

The main idea is to study M that has no weights $m,\dots ,n$ (‘in the middle’). For $w=w^{sph}$, this is the case if there exists a distinguished triangle $LM\to M\to RM$, where $RM$ is an n-connected spectrum and $LM$ is an $m-1$-skeleton (of M) in the sense of Margolis’s definition; this happens whenever $H^{sing}_i(M)=\{0\}$ for $m\le i\le n$ and $H^{sing}_{m-1}(M)$ is a free abelian group. We also consider morphisms that kill weights $m,\dots ,n$; those ‘send n-w-skeleta into $m-1$-w-skeleta’.

Let $X=G/H$ be a reductive symmetric space and $K$ a maximal compact subgroup of $G$. We study Fourier transforms of compactly supported $K$-finite distributions on $X$ and characterize the image of the space of such distributions.

Using recent results by Măcinic, Papadima and Popescu, and a refinement of an older construction of ours, we determine the monodromy action on $H^{1}(F(G),\mathbb{C})$, where $F(G)$ denotes the Milnor fiber of a hyperplane arrangement associated to an irreducible complex reflection group $G$.

For each discriminant $D>1$, McMullen constructed the Prym–Teichmüller curves $W_{D}(4)$ and $W_{D}(6)$ in ${\mathcal{M}}_{3}$ and ${\mathcal{M}}_{4}$, which constitute one of the few known infinite families of geometrically primitive Teichmüller curves. In the present paper, we determine for each $D$ the number and type of orbifold points on $W_{D}(6)$. These results, together with a previous result of the two authors in the genus $3$ case and with results of Lanneau–Nguyen and Möller, complete the topological characterisation of all Prym–Teichmüller curves and determine their genus. The study of orbifold points relies on the analysis of intersections of $W_{D}(6)$ with certain families of genus $4$ curves with extra automorphisms. As a side product of this study, we give an explicit construction of such families and describe their Prym–Torelli images, which turn out to be isomorphic to certain products of elliptic curves. We also give a geometric description of the flat surfaces associated to these families and describe the asymptotics of the genus of $W_{D}(6)$ for large $D$.

We prove a positive characteristic version of Ax’s theorem on the intersection of an algebraic subvariety and an analytic subgroup of an algebraic group [Ax, Some topics in differential algebraic geometry. I. Analytic subgroups of algebraic groups, Amer. J. Math.94 (1972), 1195–1204]. Our result is stated in a more general context of a formal map between an algebraic variety and an algebraic group. We derive transcendence results of Ax–Schanuel type.

We prove that a random function in the Hardy space $H^2$ is a non-cyclic vector for the backward shift operator almost surely. The question of existence of a local pseudocontinuation for a random analytic function is also studied.

We study conjugacy classes of germs of nonflat diffeomorphisms of the real line fixing the origin. Based on the work of Takens and Yoccoz, we establish results that are sharp in terms of differentiability classes and order of tangency to the identity. The core of all of this lies in the invariance of residues under low-regular conjugacies. This may be seen as an extension of the fact (also proved in this article) that the value of the Schwarzian derivative at the origin for germs of $C^3$ parabolic diffeomorphisms is invariant under $C^2$ parabolic conjugacy, though it may vary arbitrarily under parabolic $C^1$ conjugacy.

In the early 1980s, Johnson defined a homomorphism $\mathcal {I}_{g}^1\to \bigwedge ^3 H_1\left (S_{g},\mathbb {Z}\right )$ , where $\mathcal {I}_{g}^1$ is the Torelli group of a closed, connected, and oriented surface of genus g with a boundary component and $S_g$ is the corresponding surface without a boundary component. This is known as the Johnson homomorphism.

We study the map induced by the Johnson homomorphism on rational homology groups and apply it to abelian cycles determined by disjoint bounding-pair maps, in order to compute a large quotient of $H_n\left (\mathcal {I}_{g}^1,\mathbb {Q}\right )$ in the stable range. This also implies an analogous result for the stable rational homology of the Torelli group $\mathcal {I}_{g,1}$ of a surface with a marked point instead of a boundary component. Further, we investigate how much of the image of this map is generated by images of such cycles and use this to prove that in the pointed case, they generate a proper subrepresentation of $H_n\left (\mathcal {I}_{g,1}\right )$ for $n\ge 2$ and g large enough.

We study the germs at the origin of $G$-representation varieties and the degree 1 cohomology jump loci of fundamental groups of quasi-projective manifolds. Using the Morgan–Dupont model associated to a convenient compactification of such a manifold, we relate these germs to those of their infinitesimal counterparts, defined in terms of flat connections on those models. When the linear algebraic group $G$ is either $\text{SL}_{2}(\mathbb{C})$ or its standard Borel subgroup and the depth of the jump locus is 1, this dictionary works perfectly, allowing us to describe in this way explicit irreducible decompositions for the germs of these embedded jump loci. On the other hand, if either $G=\text{SL}_{n}(\mathbb{C})$ for some $n\geqslant 3$, or the depth is greater than 1, then certain natural inclusions of germs are strict.

Dichotomies in various conjectures from algebraic geometry are in fact occurrences of the dichotomy among Zariski structures. This is what Hrushovski showed and which enabled him to solve, positively, the geometric Mordell–Lang conjecture in positive characteristic. Are we able now to avoid this use of Zariski structures? Pillay and Ziegler have given a direct proof that works for semi-abelian varieties they called ‘very thin’, which include the ordinary abelian varieties. But it does not apply in all generality: we describe here an abelian variety which is not very thin. More generally, we consider from a model-theoretical point of view several questions about the fields of definition of semi-abelian varieties.

We show that the Galois cohomology groups of $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ can be computed via the generalization of Herr’s complex to multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules. Using Tate duality and a pairing for multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules we extend this to analogues of the Iwasawa cohomology. We show that all $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ are overconvergent and, moreover, passing to overconvergent multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules is an equivalence of categories. Finally, we prove that the overconvergent Herr complex also computes the Galois cohomology groups.

Given a Galois extension $L/K$ of number fields, we describe fine distribution properties of Frobenius elements via invariants from representations of finite Galois groups and ramification theory. We exhibit explicit families of extensions in which we evaluate these invariants and deduce a detailed understanding and a precise description of the possible asymmetries. We establish a general bound on the generic fluctuations of the error term in the Chebotarev density theorem, which under GRH is sharper than the Murty–Murty–Saradha and Bellaïche refinements of the Lagarias–Odlyzko and Serre bounds, and which we believe is best possible (assuming simplicity, it is of the quality of Montgomery’s conjecture on primes in arithmetic progressions). Under GRH and a hypothesis on the multiplicities of zeros up to a certain height, we show that in certain families, these fluctuations are dominated by a constant lower order term. As an application of our ideas, we refine and generalize results of K. Murty and of Bellaïche, and we answer a question of Ng. In particular, in the case where $L/{\mathbb {Q}}$ is Galois and supersolvable, we prove a strong form of a conjecture of K. Murty on the unramified prime ideal of least norm in a given Frobenius set. The tools we use include the Rubinstein–Sarnak machinery based on limiting distributions and a blend of algebraic, analytic, representation theoretic, probabilistic and combinatorial techniques.

The classes in Valiant's theory are classes of polynomials defined by arithmetic circuits. We characterize them by different notions of tensor calculus, in the vein of Damm, Holzer and McKenzie. This characterization underlines in particular the role played by properties of parallelization in these classes. We also give a first natural complete sequence for the class VPnb, the analogue of the class P in this context.

We define stable homotopy refinements of Khovanov’s arc algebras and tangle invariants.