Fulton’s matrix Schubert varieties are affine varieties that arise in the study of Schubert calculus in the complete flag variety. Weigandt showed that arbitrary intersections of matrix Schubert varieties, now called ASM varieties, are indexed by alternating sign matrices (ASMs), objects with a long history in enumerative combinatorics. It is very difficult to assess Cohen–Macaulayness of ASM varieties or to compute their codimension, though these properties are well understood for matrix Schubert varieties due to work of Fulton. In this paper, we study these properties of ASM varieties with a focus on the relationship between a pair of ASMs and their direct sum. We also consider ASM pattern avoidance from an algebro-geometric perspective.

Let f(z) be the normalized primitive holomorphic Hecke eigenforms of even integral weight k for the full modular group $SL(2,\mathbb{Z})$ and denote $L(s,\mathrm{sym}^{2}f)$ be the symmetric square L-function attached to f(z). Suppose that $\lambda_{\mathrm{sym}^{2}f}(n)$ be the $\mathrm{Fourier}$ coefficient of $L(s,\mathrm{sym}^{2}f)$. In this paper, we investigate the sum $\sum\limits_{n\leqslant x}\lambda^{j}_{\mathrm{sym}^{2}f }(n) $ for $j\geqslant 3$ and obtain some new results which improve on previous error estimates. We also consider the sum $\sum\limits_{n\leqslant x}\lambda^{j}_{f }(n^{2})$ and get some similar results.

In this paper, we study the existence of solutions to the following Hartree equation

\begin{align*}\begin{cases}-\Delta u+\lambda V(x) u+\mu u=\left(\int_{\mathbb{R}^N}\frac{|u|^p}{|x-y|^{N-\alpha}}\right)|u|^{p-2}u,\ \text{in}\ \mathbb{R}^N,\\\int_{\mathbb{R}^N}|u|^2=\omega,\end{cases}\end{align*}

Where $N\geq 3$, $\omega,\lambda \gt 0$, $p\in \left(\frac{N+\alpha}{N}, \frac{N+\alpha}{N-2}\right)\setminus\left\{\frac{N+\alpha+2}{N}\right\}$ and µ will appear as a Lagrange multiplier. We assume that $0\leq V\in L^{\infty}_{loc}(\mathbb{R}^N)$ has a bottom $int V^{-1}(0)$ composed of $\ell_0$ $(\ell_{0}\geq1)$ connected components $\{\Omega_i\}_{i=1}^{\ell_0}$, where $int V^{-1}(0)$ is the interior of the zero set $V^{-1}(0)=\{x\in\mathbb{R}^N| V(x)=0\}$ of V. It is worth pointing out that the penalization technique is no longer applicable to the local sublinear case $p\in \left(\frac{N+\alpha}{N},2\right)$. Therefore, we develop a new variational method in which the two deformation flows are established that reflect the properties of the potential. Moreover, we find a critical point without introducing a penalization term and give the existence result for $p\in \left(\frac{N+\alpha}{N}, \frac{N+\alpha}{N-2}\right)\setminus\left\{\frac{N+\alpha+2}{N}\right\}$. When ω is fixed and satisfies $\omega^{\frac{-(p-1)}{-Np+N+\alpha+2}}$ sufficiently small, we construct a $\ell$-bump $(1\leq\ell\leq \ell_{0})$ positive normalization solution, which concentrates at $\ell$ prescribed components $\{\Omega_i\}^{\ell}_{i=1}$ for large λ. We also consider the asymptotic profile of the solutions as $\lambda\rightarrow\infty$ and $\omega^{\frac{-(p-1)}{-Np+N+\alpha+2}}\rightarrow 0$.

We study existence and uniqueness of spherically symmetric solutions of

\begin{equation*}S_k(D^2v)+\beta \xi\cdot\nabla v+\alpha v+\left\vert v\right\vert^{q-1}v=0\;\; \mbox{in}\;\; \mathbb{R}^n,\end{equation*}

where $\alpha,\beta$ are real parameters, $n \gt 2,\, q \gt k\geqslant 1$ and $S_k(D^2v)$ stands for the k-Hessian operator of v. Our results are based mainly on the analysis of an associated dynamical system and energy methods. We derive some properties of the solutions of the above equation for different ranges of the parameters α and β. In particular, we describe with precision its asymptotic behaviour at infinity. Further, according to the position of q with respect to the first critical exponent $\frac{(n+2)k}{n}$ and the Tso critical exponent $\frac{(n+2)k}{n-2k}$ we study the existence of three classes of solutions: crossing, slow decay or fast decay solutions. In particular, if k > 1 all the fast decay solutions have a compact support in $\mathbb{R}^n$. The results also apply to construct self-similar solutions of type I to a related nonlinear evolution equation. These are self-similar functions of the form $u(t,x)=t^{-\alpha}v(xt^{-\beta})$ with suitable α and β.

In this paper we study the class of optimal entropy-transport problems introduced by Liero, Mielke and Savaré in Inventiones Mathematicae 211 in 2018. This class of unbalanced transport metrics allows for transport between measures of different total mass, unlike classical optimal transport where both measures must have the same total mass. In particular, we develop the theory for the important subclass of semi-discrete unbalanced transport problems, where one of the measures is diffuse (absolutely continuous with respect to the Lebesgue measure) and the other is discrete (a sum of Dirac masses). We characterize the optimal solutions and show they can be written in terms of generalized Laguerre diagrams. We use this to develop an efficient method for solving the semi-discrete unbalanced transport problem numerically. As an application, we study the unbalanced quantization problem, where one looks for the best approximation of a diffuse measure by a discrete measure with respect to an unbalanced transport metric. We prove a type of crystallization result in two dimensions – optimality of a locally triangular lattice with spatially varying density – and compute the asymptotic quantization error as the number of Dirac masses tends to infinity.

We prove that determining the weak saturation number of a host graph $F$ with respect to a pattern graph $H$ is computationally hard, even when $H$ is the triangle. Our main tool establishes a connection between weak saturation and the shellability of simplicial complexes.

We study constant Q-curvature metrics conformal to the the round metric on the sphere with finitely many point singularities. We show that the moduli space of solutions with finitely many punctures in fixed positions, equipped with the Gromov–Hausdorff topology, has the local structure of a real algebraic variety with formal dimension equal to the number of the punctures. If a nondegeneracy hypothesis holds, we show that a neighbourhood in the moduli spaces is actually a smooth, real-analytic manifold of the expected dimension. We also construct a geometrically natural set of parameters, construct a symplectic structure on this parameter space and show that in the smooth case a small neighbourhood of the moduli space embeds as a Lagrangian submanifold in the parameter space. We remark that our construction of the symplectic structure is quite different from the one in the scalar curvature setting, due to the fact that the associated partial differential equation is fourth-order rather than second-order.

We introduce the super Alternative Daugavet property (super ADP), which lies strictly between the Daugavet property (DP) and the ADP. A Banach space X has the super ADP if for every element x in the unit sphere and every relatively weakly open subset W of the unit ball intersecting the unit sphere, there are an element $y\in W$ and a modulus one scalar θ such that $\|x+\theta y\|$ is almost two. Spaces with the DP satisfy this condition, and it implies the ADP. We first provide examples of super ADP spaces that fail the DP. We show that the norm of a super ADP space is rough, hence the space cannot be Asplund, and we also prove that the space fails the point of continuity property (particularly, the Radon–Nikodým property). In particular, we get examples of spaces with the ADP that fail the super ADP. For a better understanding of the differences between the super ADP, the DP and the ADP, we consider the localizations of these properties and prove that they behave rather differently. As a consequence, we provide characterizations of the super ADP for spaces of vector-valued continuous functions and of vector-valued integrable functions.

Let a group Γ act on a paracompact, locally compact, Hausdorff space M by homeomorphisms and let 2M denote the set of closed subsets of M. We endow 2M with the Chabauty topology, which is compact and admits a natural Γ-action by homeomorphisms. We show that for every minimal Γ-invariant closed subset $\mathcal{Y}$ of 2M consisting of compact sets, the union $\bigcup \mathcal{Y}\subset M$ has compact closure.

As an application, we deduce that every compact uniformly recurrent subgroup of a locally compact group is contained in a compact normal subgroup. This generalizes a result of Ušakov on compact subgroups whose normalizer is compact.

In this paper, the upper bounds of non-real eigenvalues of indefinite Sturm–Liouville (S-L) problems with boundary conditions depend on the eigenparameter are studied. The upper bounds of real parts, imaginary parts and absolute values of non-real eigenvalues are given under the condition that the coefficients are integrable.

We give a construction of integral local Shimura varieties which are formal schemes that generalise the well-known integral models of the Drinfeld p-adic upper half spaces. The construction applies to all classical groups, at least for odd p. These formal schemes also generalise the formal schemes defined by Rapoport-Zink via moduli of p-divisible groups, and are characterised purely in group-theoretic terms.

More precisely, for a local p-adic Shimura datum $(G, b, \mu)$ and a quasi-parahoric group scheme ${\mathcal {G}} $ for G, Scholze has defined a functor on perfectoid spaces which parametrises p-adic shtukas. He conjectured that this functor is representable by a normal formal scheme which is locally formally of finite type and flat over $O_{\breve E}$. Scholze-Weinstein proved this conjecture when $(G, b, \mu)$ is of (P)EL type by using Rapoport-Zink formal schemes. We prove this conjecture for any $(G, \mu)$ of abelian type when $p\neq 2$, and when $p=2$ and G is of type A or C. We also relate the generic fibre of this formal scheme to the local Shimura variety, a rigid-analytic space attached by Scholze to $(G, b, \mu , {\mathcal {G}})$.

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$.