We define a new algebraic invariant of a graph G called the Ceresa–Zharkov class and show that it is trivial if and only if G is of hyperelliptic type, equivalently, G does not have as a minor the complete graph on four vertices or the loop of three loops. After choosing edge lengths, this class specializes to an algebraic invariant of a tropical curve with underlying graph G that is closely related to the Ceresa cycle for an algebraic curve defined over $\mathbb {C}(\!(t)\!)$.

We give new descriptions of the Bruhat order and Demazure products of affine Weyl groups in terms of the weight function of the quantum Bruhat graph. These results can be understood to describe certain closure relations concerning the Iwahori–Bruhat decomposition of an algebraic group. As an application towards affine Deligne–Lusztig varieties, we present a new formula for generic Newton points.

We give an extension of Lê’s stochastic sewing lemma. The stochastic sewing lemma proves convergence in $L_m$ of Riemann type sums $\sum _{[s,t] \in \pi } A_{s,t}$ for an adapted two-parameter stochastic process A, under certain conditions on the moments of $A_{s,t}$ and of conditional expectations of $A_{s,t}$ given $\mathcal F_s$. Our extension replaces the conditional expectation given $\mathcal F_s$ by that given $\mathcal F_v$ for $v<s$, and it allows to make use of asymptotic decorrelation properties between $A_{s,t}$ and $\mathcal F_v$ by including a singularity in $(s-v)$. We provide three applications for which Lê’s stochastic sewing lemma seems to be insufficient. The first is to prove the convergence of Itô or Stratonovich approximations of stochastic integrals along fractional Brownian motions under low regularity assumptions. The second is to obtain new representations of local times of fractional Brownian motions via discretization. The third is to improve a regularity assumption on the diffusion coefficient of a stochastic differential equation driven by a fractional Brownian motion for pathwise uniqueness and strong existence.

Let $\alpha \colon X \to Y$ be a finite cover of smooth curves. Beauville conjectured that the pushforward of a general vector bundle under $\alpha $ is semistable if the genus of Y is at least $1$ and stable if the genus of Y is at least $2$. We prove this conjecture if the map $\alpha $ is general in any component of the Hurwitz space of covers of an arbitrary smooth curve Y.

We study Gibbs measures with log-correlated base Gaussian fields on the d-dimensional torus. In the defocusing case, the construction of such Gibbs measures follows from Nelson’s argument. In this paper, we consider the focusing case with a quartic interaction. Using the variational formulation, we prove nonnormalizability of the Gibbs measure. When $d = 2$, our argument provides an alternative proof of the nonnormalizability result for the focusing $\Phi ^4_2$-measure by Brydges and Slade (1996). Furthermore, we provide a precise rate of divergence, where the constant is characterized by the optimal constant for a certain Bernstein’s inequality on $\mathbb R^d$. We also go over the construction of the focusing Gibbs measure with a cubic interaction. In the appendices, we present (a) nonnormalizability of the Gibbs measure for the two-dimensional Zakharov system and (b) the construction of focusing quartic Gibbs measures with smoother base Gaussian measures, showing a critical nature of the log-correlated Gibbs measure with a focusing quartic interaction.

We initiate a systematic study of generic stability independence and introduce the class of treeless theories in which this notion of independence is particularly well behaved. We show that the class of treeless theories contains both binary theories and stable theories and give several applications of the theory of independence for treeless theories. As a corollary, we show that every binary NSOP$_{3}$ theory is simple.

Faltings ringed topos, the keystone of Faltings’ approach to p-adic Hodge theory for a smooth variety over a local field, relies on the choice of an integral model, and its good properties depend on the (logarithmic) smoothness of this model. Inspired by Deligne’s approach to classical Hodge theory for singular varieties, we establish a cohomological descent result for the structural sheaf of Faltings topos, which makes it possible to extend Faltings’ approach to any integral model, that is, without any smoothness assumption. An essential ingredient of our proof is a variation of Bhatt–Scholze’s arc-descent of perfectoid rings.

We prove that the cohomology rings of the moduli space $M_{d,\chi }$ of one-dimensional sheaves on the projective plane are not isomorphic for general different choices of the Euler characteristics. This stands in contrast to the $\chi $-independence of the Betti numbers of these moduli spaces. As a corollary, we deduce that $M_{d,\chi }$ are topologically different unless they are related by obvious symmetries, strengthening a previous result of Woolf distinguishing them as algebraic varieties.

In studying the depth filtration on multiple zeta values, difficulties quickly arise due to a disparity between it and the coradical filtration [9]. In particular, there are additional relations in the depth graded algebra coming from period polynomials of cusp forms for $\operatorname {\mathrm {SL}}_2({\mathbb {Z}})$. In contrast, a simple combinatorial filtration, the block filtration [13, 28] is known to agree with the coradical filtration, and so there is no similar defect in the associated graded. However, via an explicit evaluation of $\zeta (2,\ldots ,2,4,2,\ldots ,2)$ as a polynomial in double zeta values, we derive these period polynomial relations as a consequence of an intrinsic symmetry of block graded multiple zeta values in block degree 2. In deriving this evaluation, we find a Galois descent of certain alternating double zeta values to classical double zeta values, which we then apply to give an evaluation of the multiple t values [22] $t(2\ell ,2k)$ in terms of classical double zeta values.

In a recent breakthrough, Dimitrov [Dim] solved the Schinzel–Zassenhaus conjecture. We follow his approach and adapt it to certain dynamical systems arising from polynomials of the form $T^p+c$, where p is a prime number and where the orbit of $0$ is finite. For example, if $p=2$ and $0$ is periodic under $T^2+c$ with $c\in \mathbb {R}$, we prove a lower bound for the local canonical height of a wandering algebraic integer that is inversely proportional to the field degree. From this, we are able to deduce a lower bound for the canonical height of a wandering point that decays like the inverse square of the field degree. For these f, our method has application to the irreducibility of polynomials. Indeed, say y is preperiodic under f but not periodic. Then any iteration of f minus y is irreducible in $\mathbb {Q}(y)[T]$.

We present extensions of the colorful Helly theorem for d-collapsible and d-Leray complexes, providing a common generalization to the matroidal versions of the theorem due to Kalai and Meshulam, the ‘very colorful’ Helly theorem introduced by Arocha, Bárány, Bracho, Fabila and Montejano and the ‘semi-intersecting’ colorful Helly theorem proved by Montejano and Karasev.

As an application, we obtain the following extension of Tverberg’s theorem: Let A be a finite set of points in ${\mathbb R}^d$ with $|A|>(r-1)(d+1)$. Then, there exist a partition $A_1,\ldots ,A_r$ of A and a subset $B\subset A$ of size $(r-1)(d+1)$ such that $\cap _{i=1}^r \operatorname {\mathrm {\text {conv}}}( (B\cup \{p\})\cap A_i)\neq \emptyset $ for all $p\in A\setminus B$. That is, we obtain a partition of A into r parts that remains a Tverberg partition even after removing all but one arbitrary point from $A\setminus B$.

We prove a stability result of isometric immersions of hypersurfaces in Riemannian manifolds, with respect to $L^p$-perturbations of their fundamental forms: For a manifold ${\mathcal M}^d$ endowed with a reference metric and a reference shape operator, we show that a sequence of immersions $f_n:{\mathcal M}^d\to {\mathcal N}^{d+1}$, whose pullback metrics and shape operators are arbitrary close in $L^p$ to the reference ones, converge to an isometric immersion having the reference shape operator. This result is motivated by elasticity theory and generalizes a previous result [AKM22] to a general target manifold ${\mathcal N}$, removing a constant curvature assumption. The method of proof differs from that in [AKM22]: it extends a Young measure approach that was used in codimension-0 stability results, together with an appropriate relaxation of the energy and a regularity result for immersions satisfying given fundamental forms. In addition, we prove a related quantitative (rather than asymptotic) stability result in the case of Euclidean target, similar to [CMM19] but with no a priori assumed bounds.

We initiate the study of a class of polytopes, which we coin polypositroids, defined to be those polytopes that are simultaneously generalized permutohedra (or polymatroids) and alcoved polytopes. Whereas positroids are the matroids arising from the totally nonnegative Grassmannian, polypositroids are “positive” polymatroids. We parametrize polypositroids using Coxeter necklaces and balanced graphs, and describe the cone of polypositroids by extremal rays and facet inequalities. We introduce a notion of $(W,c)$-polypositroid for a finite Weyl group W and a choice of Coxeter element c. We connect the theory of $(W,c)$-polypositroids to cluster algebras of finite type and to generalized associahedra. We discuss membranes, which are certain triangulated 2-dimensional surfaces inside polypositroids. Membranes extend the notion of plabic graphs from positroids to polypositroids.

We prove that all smooth Fano threefolds in the families and are K-stable, and we also prove that smooth Fano threefolds in the family that satisfy one very explicit generality condition are K-stable.

Many problems and conjectures in extremal combinatorics concern polynomial inequalities between homomorphism densities of graphs where we allow edges to have real weights. Using the theory of graph limits, we can equivalently evaluate polynomial expressions in homomorphism densities on kernels W, that is, symmetric, bounded and measurable functions W from $[0,1]^2 \to \mathbb {R}$. In 2011, Hatami and Norin proved a fundamental result that it is undecidable to determine the validity of polynomial inequalities in homomorphism densities for graphons (i.e., the case where the range of W is $[0,1]$, which corresponds to unweighted graphs or, equivalently, to graphs with edge weights between $0$ and $1$). The corresponding problem for more general sets of kernels, for example, for all kernels or for kernels with range $[-1,1]$, remains open. For any $a> 0$, we show undecidability of polynomial inequalities for any set of kernels which contains all kernels with range $\{0,a\}$. This result also answers a question raised by Lovász about finding computationally effective certificates for the validity of homomorphism density inequalities in kernels.

The aim of this paper is to study supersoluble skew braces, a class of skew braces that encompasses all finite skew braces of square-free order. It turns out that finite supersoluble skew braces have Sylow towers and that in an arbitrary supersoluble skew brace B many relevant skew brace-theoretical properties are easier to identify: For example, a centrally nilpotent ideal of B is B-centrally nilpotent, a fact that simplifies the computational search for the Fitting ideal; also, B has finite multipermutational level if and only if $(B,+)$ is nilpotent.

Given a finite presentation of the structure skew brace $G(X,r)$ associated with a finite nondegenerate solution of the Yang–Baxter equation (YBE), there is an algorithm that decides if $G(X,r)$ is supersoluble or not. Moreover, supersoluble skew braces are examples of almost polycyclic skew braces, so they give rise to solutions of the YBE on which one can algorithmically work on.

In 1964, Erdős proposed the problem of estimating the Turán number of the d-dimensional hypercube $Q_d$. Since $Q_d$ is a bipartite graph with maximum degree d, it follows from results of Füredi and Alon, Krivelevich, Sudakov that $\mathrm {ex}(n,Q_d)=O_d(n^{2-1/d})$. A recent general result of Sudakov and Tomon implies the slightly stronger bound $\mathrm {ex}(n,Q_d)=o(n^{2-1/d})$. We obtain the first power-improvement for this old problem by showing that $\mathrm {ex}(n,Q_d)=O_d\left (n^{2-\frac {1}{d-1}+\frac {1}{(d-1)2^{d-1}}}\right )$. This answers a question of Liu. Moreover, our techniques give a power improvement for a larger class of graphs than cubes.

We use a similar method to prove that any n-vertex, properly edge-coloured graph without a rainbow cycle has at most $O(n(\log n)^2)$ edges, improving the previous best bound of $n(\log n)^{2+o(1)}$ by Tomon. Furthermore, we show that any properly edge-coloured n-vertex graph with $\omega (n\log n)$ edges contains a cycle which is almost rainbow: that is, almost all edges in it have a unique colour. This latter result is tight.

We show that, for an arbitrary finite-dimensional quasi-reductive Lie superalgebra over ${\mathbb {C}}$ with a triangular decomposition and a character $\zeta $ of the nilpotent radical, the associated Backelin functor $\Gamma _\zeta $ sends Verma modules to standard Whittaker modules provided the latter exist. As a consequence, this gives a complete solution to the problem of determining the composition factors of the standard Whittaker modules in terms of composition factors of Verma modules in the category ${\mathcal {O}}$. In the case of the ortho-symplectic Lie superalgebras, we show that the Backelin functor $\Gamma _\zeta $ and its target category, respectively, categorify a q-symmetrizing map and the corresponding q-symmetrized Fock space associated with a quasi-split quantum symmetric pair of type $AIII$.

We study the distribution of the length of longest increasing subsequences in random permutations of n integers as n grows large and establish an asymptotic expansion in powers of $n^{-1/3}$. Whilst the limit law was already shown by Baik, Deift and Johansson to be the GUE Tracy–Widom distribution F, we find explicit analytic expressions of the first few finite-size correction terms as linear combinations of higher order derivatives of F with rational polynomial coefficients. Our proof replaces Johansson’s de-Poissonization, which is based on monotonicity as a Tauberian condition, by analytic de-Poissonization of Jacquet and Szpankowski, which is based on growth conditions in the complex plane; it is subject to a tameness hypothesis concerning complex zeros of the analytically continued Poissonized length distribution. In a preparatory step an expansion of the hard-to-soft edge transition law of LUE is studied, which is lifted to an expansion of the Poissonized length distribution for large intensities. Finally, expansions of Stirling-type approximations and of the expected value and variance of the length distribution are given.

We extend the Becker–Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker–Kechris theorems, as well as Sami’s and Hjorth’s sharpenings adapted levelwise to the Borel hierarchy; automatic continuity of Borel actions via homeomorphisms and the equivalence of ‘potentially open’ versus ‘orbitwise open’ Borel sets. We also characterize ‘potentially open’ n-ary relations, thus yielding a topological realization theorem for invariant Borel first-order structures. We then generalize to groupoid actions and prove a result subsuming Lupini’s Becker–Kechris-type theorems for open Polish groupoids, newly adapted to the Borel hierarchy, as well as topological realizations of actions on fiberwise topological bundles and bundles of first-order structures.

Our proof method is new even in the classical case of Polish groups and is based entirely on formal algebraic properties of category quantifiers; in particular, we make no use of either metrizability or the strong Choquet game. Consequently, our proofs work equally well in the non-Hausdorff context, for open quasi-Polish groupoids and more generally in the point-free context, for open localic groupoids.