We construct a model for the (non-unital) S1-framed little 2d-dimensional disks operad for any positive integer d using logarithmic geometry. We also show that the unframed little 2d-dimensional disks operad has a model which can be constructed using log schemes with virtual morphisms.

A seminal result of Komlós, Sárközy, and Szemerédi states that any $n$-vertex graph $G$ with minimum degree at least $(1/2+\alpha )n$ contains every $n$-vertex tree $T$ of bounded degree. Recently, Pham, Sah, Sawhney, and Simkin extended this result to show that such graphs $G$ in fact support an optimally spread distribution on copies of a given $T$, which implies, using the recent breakthroughs on the Kahn-Kalai conjecture, the robustness result that $T$ is a subgraph of sparse random subgraphs of $G$ as well. Pham, Sah, Sawhney, and Simkin construct their optimally spread distribution by following closely the original proof of the Komlós-Sárközy-Szemerédi theorem which uses the blow-up lemma and the Szemerédi regularity lemma. We give an alternative, regularity-free construction that instead uses the Komlós-Sárközy-Szemerédi theorem (which has a regularity-free proof due to Kathapurkar and Montgomery) as a black box. Our proof is based on the simple and general insight that, if $G$ has linear minimum degree, almost all constant-sized subgraphs of $G$ inherit the same minimum degree condition that $G$ has.

Here we consider the hypergraph Turán problem in uniformly dense hypergraphs as was suggested by Erdős and Sós. Given a $3$-graph $F$, the uniform Turán density $\pi _{\boldsymbol{\therefore }}(F)$ of $F$ is defined as the supremum over all $d\in [0,1]$ for which there is an $F$-free uniformly $d$-dense $3$-graph, where uniformly $d$-dense means that every linearly sized subhypergraph has density at least $d$. Recently, Glebov, Král’, and Volec and, independently, Reiher, Rödl, and Schacht proved that $\pi _{\boldsymbol{\therefore }}(K_4^{(3)-})=\frac {1}{4}$, solving a conjecture by Erdős and Sós. Despite substantial attention, the uniform Turán density is still only known for very few hypergraphs. In particular, the problem due to Erdős and Sós to determine $\pi _{\boldsymbol{\therefore }}(K_4^{(3)})$ remains wide open.

In this work, we determine the uniform Turán density of the $3$-graph on five vertices that is obtained from $K_4^{(3)-}$ by adding an additional vertex whose link forms a matching on the vertices of $K_4^{(3)-}$. Further, we point to two natural intermediate problems on the way to determining $\pi _{\boldsymbol{\therefore }}(K_4^{(3)})$, and solve the first of these.

We prove that for every relatively prime pair of integers $(d,r)$ with $r>0$, there exists an exceptional pair $({\mathcal {O}},V)$ on any del Pezzo surface of degree $4$, such that V is a bundle of rank r and degree d. As an application, we prove that every Feigin-Odesskii Poisson bracket on a projective space can be included into a $5$-dimensional linear space of compatible Poisson brackets. We also construct new examples of linear spaces of compatible Feigin-Odesskii Poisson brackets of dimension $>5$, coming from del Pezzo surfaces of degree $>4$.

We consider the Schrödinger equation on the one dimensional torus with a general odd-power nonlinearity $p \geq 5$, which is known to be globally well-posed in the Sobolev space $H^\sigma(\mathbb{T})$, for every $\sigma \geq 1$, thanks to the conservation and finiteness of the energy. For regularities σ < 1, where this energy is infinite, we explore a globalization argument adapted to random initial data distributed according to the Gaussian measures µs, with covariance operator $(1-\Delta)^s$, for s in a range $(s_p,\frac{3}{2}]$. We combine a deterministic local Cauchy theory with the quasi-invariance of Gaussian measures µs, with additional Lq-bounds on the Radon-Nikodym derivatives, to prove that the Gaussian initial data generate almost surely global solutions. These Lq-bounds are obtained with respect to Gaussian measures accompanied by a cutoff on a renormalization of the energy; the main tools to prove them are the Boué-Dupuis variational formula and a Poincaré-Dulac normal form reduction. This approach is similar in spirit to Bourgain’s invariant argument [7] and to arecent work by Forlano-Tolomeo in [18].

Let $W_{\mathrm {aff}}$ be an extended affine Weyl group, $\mathbf {H}$ be the corresponding affine Hecke algebra over the ring $\mathbb {C}[\mathbf {q}^{\frac {1}{2}}, \mathbf {q}^{-\frac {1}{2}}]$, and J be Lusztig’s asymptotic Hecke algebra, viewed as a based ring with basis $\{t_w\}$. Viewing J as a subalgebra of the $(\mathbf {q}^{-\frac {1}{2}})$-adic completion of $\mathbf {H}$ via Lusztig’s map $\phi $, we use Harish-Chandra’s Plancherel formula for p-adic groups to show that the coefficient of $T_x$ in $t_w$ is a rational function of $\mathbf {q}$, with denominator depending only on the two-sided cell containing w, and dividing a power of the Poincaré polynomial of the finite Weyl group. As an application, we conjecture that these denominators encode more detailed information about the failure of the Kazhdan-Lusztig classification at roots of the Poincaré polynomial than is currently known.

Along the way, we show that upon specializing $\mathbf {q}=q>1$, the map from J to the Harish-Chandra Schwartz algebra is injective. As an application of injectivity, we give a novel criterion for an Iwahori-spherical representation to have fixed vectors under a larger parahoric subgroup in terms of its Kazhdan-Lusztig parameter.

Let $K^r_n$ be the complete $r$-uniform hypergraph on $n$ vertices, that is, the hypergraph whose vertex set is $[n] \, :\! = \{1,2,\ldots ,n\}$ and whose edge set is $\binom {[n]}{r}$. We form $G^r(n,p)$ by retaining each edge of $K^r_n$ independently with probability $p$. An $r$-uniform hypergraph $H\subseteq G$ is $F$-saturated if $H$ does not contain any copy of $F$, but any missing edge of $H$ in $G$ creates a copy of $F$. Furthermore, we say that $H$ is weakly $F$-saturated in $G$ if $H$ does not contain any copy of $F$, but the missing edges of $H$ in $G$ can be added back one-by-one, in some order, such that every edge creates a new copy of $F$. The smallest number of edges in an $F$-saturated hypergraph in $G$ is denoted by ${\textit {sat}}(G,F)$, and in a weakly $F$-saturated hypergraph in $G$ by $\mathop {\mbox{$w$-${sat}$}}\! (G,F)$. In 2017, Korándi and Sudakov initiated the study of saturation in random graphs, showing that for constant $p$, with high probability ${\textit {sat}}(G(n,p),K_s)=(1+o(1))n\log _{\frac {1}{1-p}}n$, and $\mathop {\mbox{$w$-${sat}$}}\! (G(n,p),K_s)=\mathop {\mbox{$w$-${sat}$}}\! (K_n,K_s)$. Generalising their results, in this paper, we solve the saturation problem for random hypergraphs $G^r(n,p)$ for cliques $K_s^r$, for every $2\le r \lt s$ and constant $p$.

Given a finite abelian group $G$ and $t\in \mathbb{N}$, there are two natural types of subsets of the Cartesian power $G^t$; namely, Cartesian powers $S^t$ where $S$ is a subset of $G$ and (cosets of) subgroups $H$ of $G^t$. A basic question is whether two such sets intersect. In this paper, we show that this decision problem is NP-complete. Furthermore, for fixed $G$ and $S$, we give a complete classification: we determine conditions for when the problem is NP-complete and show that in all other cases the problem is solvable in polynomial time. These theorems play a key role in the classification of algebraic decision problems in finitely generated rings developed in later work of the author.

In this paper, we provide a characterization for a class of convex curves on the 3-sphere. More precisely, using a theorem that represents a locally convex curve on the 3-sphere as a pair of curves in $\mathbb S^2$, one of which is locally convexand the other is an immersion, we are able of completely characterizing a class of convex curves on the 3-sphere.

For Γ a finite subgroup of $\mathrm{SL}_2(\mathbb{C})$ and $n \geq 1$, we study the fibres of the Procesi bundle over the Γ-fixed points of the Hilbert scheme of n points in the plane. For each irreducible component of this fixed point locus, our approach reduces the study of the fibres of the Procesi bundle, as an $(\mathfrak{S}_n \times \Gamma)$-module, to the study of the fibres of the Procesi bundle over an irreducible component of dimension zero in a smaller Hilbert scheme. When Γ is of type A, our main result shows, as a corollary, that the fibre of the Procesi bundle over the monomial ideal associated with a partition λ is induced, as an $(\mathfrak{S}_n \times \Gamma)$-module, from the fibre of the Procesi bundle over the monomial ideal associated with the core of λ. We give different proofs of this corollary in two edge cases using only representation theory and symmetric functions.

In this paper, we first describe the cohomology theory of Lie supertriple systems by using the cohomology theory of the associated Leibniz superalgebras. Then we focus on Lie supertriple systems with superderivations, called LSTSDer pairs. We introduce the notion of representations of LSTSDer pairs and investigate their corresponding cohomology theory. We also construct a differential graded Lie algebra whose Maurer–Cartan elements are LSTSDer pairs. Moreover, we consider the relationship between a LSTSDer pair and the associated LeibSDer pair. Furthermore, we develop the 1-parameter formal deformation theory of LSTSDer pairs and prove that it is governed by the cohomology groups. At last, we study abelian extensions of LSTSDer pairs and show that equivalent abelian extensions of LSTSDer pairs are classified by the third cohomology groups.

In this paper, we show that for any nonautonomous discrete time dynamical system in a Banach space if its linear part has a dichotomy and the composition of a generalized Green function and the nonlinear term of the system has a weighted integrable Lipschitz constant then the system has the weighted Lipschitz shadowing property for a type of weighted pseudo orbits in the whole phase space. Additionally, if the generalized Green function is the Green function for the dichotomy and the evolution operator restricted to the stable subspace (resp. unstable subspace) tends to 0 in weight as time tends to $+\infty$ (resp. $-\infty$) then the system has the weighted generalized forward (resp. backward) limit shadowing property. By the same approach we prove that a C1 map with a compact hyperbolic invariant set has the weighted Lipschitz shadowing property and the generalized weighted limit shadowing property for weighted pseudo orbits in the hyperbolic set. We also give the parallel results for differential equations.

We prove that the non-properness set of a local homeomorphism $\mathbb R^n \to \mathbb R^n$ cannot be ambient homeomorphic to an affine subspace of dimension n − 2. This particularly provides a partial positive answer to a conjecture of Jelonek, that claims the global invertibility of polynomial local diffeomorphisms having non-properness set with codimension greater than 1. Our reasons to obtain this result lead us to some properties of the non-properness set when it has codimension 2, the heart of Jelonek’s conjecture. We also provide a global injectivity theorem related to this conjecture that turns out to generalize previous results of the literature.

We consider radially symmetric solutions of the degenerate Keller–Segel system

\begin{align*}\begin{cases}\partial_t u=\nabla\cdot (u^{m-1}\nabla u - u\nabla v),\\0=\Delta v -\mu +u,\quad\mu =\frac{1}{|\Omega|}\int_\Omega u,\end{cases}\end{align*}

in balls $\Omega\subset\mathbb R^n$, $n\ge 1$, where m > 1 is arbitrary. Our main result states that the initial evolution of the positivity set of u is essentially determined by the shape of the (nonnegative, radially symmetric, Hölder continuous) initial data u0 near the boundary of its support $\overline{B_{r_1}(0)}\subsetneq\Omega$: It shrinks for sufficiently flat and expands for sufficiently steep u0. More precisely, there exists an explicit constant $A_{\mathrm{crit}} \in (0, \infty)$ (depending only on $m, n, R, r_1$ and $\int_\Omega u_0$) such that if $u_0(x)\le A(r_1-|x|)^\frac{1}{m-1}$ for all $|x|\in(r_0, r_1)$ and some $r_0\in(0,r_1)$ and $A \lt A_{\mathrm{crit}}$ then there are T > 0 and ζ > 0 such that $\sup\{\, |x| \mid x \in \operatorname{supp} u(\cdot, t)\,\}\le r_1 -\zeta t$ for all $t\in(0, T)$, while if $u_0(x)\ge A(r_1-|x|)^\frac{1}{m-1}$ for all $|x|\in(r_0, r_1)$ and some $r_0 \in (0, r_1)$ and $A \gt A_{\mathrm{crit}}$ then we can find T > 0 and ζ > 0 such that $\sup\{\, |x| \mid x \in \operatorname{supp} u(\cdot, t)\,\}\ge r_1 +\zeta t$ for all $t\in(0, T)$.

This paper focuses on quadratic Hom–Leibniz algebras, defined as (left or right) Hom–Leibniz algebras equipped with symmetric, non-degenerate, and invariant bilinear forms. In particular, we demonstrate that every quadratic regular Hom–Leibniz algebra is symmetric, meaning that it is simultaneously a left and a right Hom–Leibniz algebra. We provide characterizations of symmetric (resp. quadratic) Hom–Leibniz algebras. We also investigate the $\mathrm{T}^*$-extensions of Hom–Leibniz algebras, establishing their compatibility with solvability and nilpotency. We study the equivalence of such extensions and provide the necessary and sufficient conditions for a nilpotent quadratic Hom–Leibniz algebra to be isometric to a $\mathrm{T}^*$-extension. Furthermore, through the procedure of double extension, which is a central extension followed by a generalized semi-direct product, we get an inductive description of all quadratic regular Hom–Leibniz algebras, allowing us to reduce their study to that of quadratic regular Hom–Lie algebras. Finally, we construct several non-trivial examples of symmetric (resp. quadratic) Hom–Leibniz algebras.

This paper continues the analysis of Schrödinger type equations with distributional coefficients initiated by the authors in a recent paper in Journal of Differential Equations (425) 2025. Here, we consider coefficients that are tempered distributions with respect to the space variable and are continuous in time. We prove that the corresponding Cauchy problem, which in general cannot even be stated in the standard distributional setting, admits a Schwartz very weak solution which is unique modulo negligible perturbations. Consistency with the classical theory is proved in the case of regular coefficients and Schwartz Cauchy data.

Let $\Gamma$ be a Schottky subgroup of $\mathrm{SL}_2(\mathbb{Z})$ and let $X=\Gamma \backslash {\mathbb{H}}^2$ be the associated hyperbolic surface. We consider the family of Hecke congruence coverings of $X$, which we denote as usual by $ X_0(q) = \Gamma _0(q)\backslash {\mathbb{H}}^2$. Conditional on the Lindelöf Hypothesis for quadratic L-functions, we establish a uniform and explicit spectral gap for the Laplacian on $ X_0(q)$ for “almost” all prime levels $q$. Assuming the generalized Riemann hypothesis for quadratic $L$-functions, we obtain an even larger spectral gap.

In this paper, we study the distribution of the temperature within a body where the heat is transported only by radiation. Specifically, we consider the situation where both emission-absorption and scattering processes take place. We study the initial-boundary value problem given by the coupling of the radiative transfer equation with the energy balance equation on a convex domain $ \Omega \subset {\mathbb{R}}^3$ in the diffusion approximation regime, that is, when the mean free path of the photons tends to zero. Using the method of matched asymptotic expansions, we will derive the limit initial-boundary value problems for all different possible scaling limit regimes, and we will classify them as equilibrium or non-equilibrium diffusion approximation. Moreover, we will observe the formation of boundary and initial layers for which suitable equations are obtained. We will consider both stationary and time-dependent problems as well as different situations in which the light is assumed to propagate either instantaneously or with finite speed.

Locally harmonic manifolds are Riemannian manifolds in which small geodesic spheres are isoparametric hypersurfaces, i.e., hypersurfaces whose nearby parallel hypersurfaces are of constant mean curvature. Flat and rank one symmetric spaces are examples of harmonic manifolds. Damek–Ricci spaces are non-compact harmonic manifolds, most of which are non-symmetric. Taking the limit of an ‘inflating’ sphere through a point p in a Damek–Ricci space as the center of the sphere runs out to infinity along a geodesic half-line $\gamma $ starting from p, we get a horosphere. Similarly to spheres, horospheres are also isoparametric hypersurfaces. In this paper, we define the sphere-like hypersurfaces obtained by ‘overinflating the horospheres’ by pushing the center of the sphere beyond the point at infinity of $\gamma $ along a virtual prolongation of $\gamma $. They give a new family of isoparametric hypersurfaces in Damek–Ricci spaces connecting geodesic spheres to some of the isoparametric hypersurfaces constructed by J. C. Díaz-Ramos and M. Domínguez-Vázquez [17] in Damek–Ricci spaces. We study the geometric properties of these isoparametric hypersurfaces, in particular their homogeneity and the totally geodesic condition for their focal varieties.

In this paper, we establish an asymptotic formula for the twisted second moments of Dirichlet $L$-functions with one twist when averaged over all primitive Dirichlet characters of modulus $R$, where $R$ is a monic polynomial in $\mathbb{F}_q[T]$.