Explicit Constructions of Centrally Symmetric k-Neighborly Polytopes and Large Strictly Antipodal Sets

We present explicit constructions of centrally symmetric $2$ -neighborly $d$ -dimensional polytopes with about $3^{d/2}\approx (1.73)^d$ vertices and of centrally symmetric $k$ -neighborly $d$ -polytopes with about $2^{{3d}/{20k^2 2^k}}$ vertices. Using this result, we construct for a fixed $k\ge 2$ and arbitrarily large $d$ and $N$ , a centrally symmetric $d$ -polytope with $N$ vertices that has at least $\left( 1-k^2\cdot (\gamma _k)^d\right) \genfrac(){0.0pt}{}{N}{k}$ faces of dimension $k-1$ , where $\gamma _2=1/\sqrt{3}\approx 0.58$ and $\gamma _k = 2^{-3/{20k^2 2^k}}$ for $k\ge 3$ . Another application is a construction of a set of $3^{\lfloor d/2 -1\rfloor }-1$ points in $\mathbb R ^d$ every two of which are strictly antipodal as well as a construction of an $n$ -point set (for an arbitrarily large $n$ ) in $\mathbb R ^d$ with many pairs of strictly antipodal points. The two latter results significantly improve the previous bounds by Talata, and Makai and Martini, respectively.     

On High-Dimensional Acyclic Tournaments

We study a high-dimensional analog for the notion of an acyclic (aka transitive) tournament. We give upper and lower bounds on the number of $d$ -dimensional $n$ -vertex acyclic tournaments. In addition, we prove that every $n$ -vertex $d$ -dimensional tournament contains an acyclic subtournament of $\Omega (\log ^{1/d}n)$ vertices and the bound is tight. This statement for tournaments (i.e., the case $d=1$ ) is a well-known fact. We indicate a connection between acyclic high-dimensional tournaments and Ramsey numbers of hypergraphs. We investigate as well the inter-relations among various other notions of acyclicity in high-dimensional tournaments. These include combinatorial, geometric and topological concepts.     

Dimension Reduction for Finite Trees in \varvec{\ell _1}

We show that every $n$ -point tree metric admits a $(1+\varepsilon )$ -embedding into $\ell _1^{C(\varepsilon ) \log n}$ , for every $\varepsilon > 0$ , where $C(\varepsilon ) \le O\big ((\frac{1}{\varepsilon })^4 \log \frac{1}{\varepsilon })\big )$ . This matches the natural volume lower bound up to a factor depending only on $\varepsilon $ . Previously, it was unknown whether even complete binary trees on $n$ nodes could be embedded in $\ell _1^{O(\log n)}$ with $O(1)$ distortion. For complete $d$ -ary trees, our construction achieves $C(\varepsilon ) \le O\big (\frac{1}{\varepsilon ^2}\big )$ .     

Canonical subgroups via Breuil–Kisin modules

Let $p>2$ be a rational prime and $K/ \mathbb Q _p$ be an extension of complete discrete valuation fields. Let $\mathcal G $ be a truncated Barsotti–Tate group of level $n$ , height $h$ and dimension $d$ over $\mathcal{O }_K$ with $0<d<h$ . In this paper, we show that if the Hodge height of $\mathcal G $ is less than $1/(p^{n-2}(p+1))$ , then there exists a finite flat closed subgroup scheme of $\mathcal G $ of order $p^{nd}$ over $\mathcal{O }_K$ with standard properties as the canonical subgroup.     

Functional limit theorems for random regular graphs

Consider $d$ uniformly random permutation matrices on $n$ labels. Consider the sum of these matrices along with their transposes. The total can be interpreted as the adjacency matrix of a random regular graph of degree $2d$ on $n$ vertices. We consider limit theorems for various combinatorial and analytical properties of this graph (or the matrix) as $n$ grows to infinity, either when $d$ is kept fixed or grows slowly with $n$ . In a suitable weak convergence framework, we prove that the (finite but growing in length) sequences of the number of short cycles and of cyclically non-backtracking walks converge to distributional limits. We estimate the total variation distance from the limit using Stein’s method. As an application of these results we derive limits of linear functionals of the eigenvalues of the adjacency matrix. A key step in this latter derivation is an extension of the Kahn–Szemerédi argument for estimating the second largest eigenvalue for all values of $d$ and $n$ .     

A note on the uniqueness problem of non-Archimedean holomorphic curves

We prove a uniqueness theorem for non-Archimedean linearly nondegenerate holomorphic curves in projective spaces of dimension $n$ with two families of $(2n+2)$ hyperplanes in general position. Our result strongly generalizes the uniqueness theorem with $(3n+1)$ hyperplanes of Ru in [11].     

Global symplectic coordinates on gradient Kähler–Ricci solitons

A classical result of McDuff [14] asserts that a simply connected complete Kähler manifold $(M,g,\omega )$ with non positive sectional curvature admits global symplectic coordinates through a symplectomorphism $\Psi \ : M \rightarrow \mathbb{R }^{2n}$ (where $n$ is the complex dimension of $M$ ), satisfying the following property (proved by E. Ciriza in [4]): the image $\Psi (T)$ of any complex totally geodesic submanifold $T\subset M$ through the point $p$ such that $\Psi (p)=0$ , is a complex linear subspace of $\mathbb C ^n\simeq \mathbb{R }^{2n}$ . The aim of this paper is to exhibit, for all positive integers $n$ , examples of $n$ -dimensional complete Kähler manifolds with non-negative sectional curvature globally symplectomorphic to $\mathbb{R }^{2n}$ through a symplectomorphism satisfying Ciriza’s property.     

Bounds on the Complexity of Halfspace Intersections when the Bounded Faces have Small Dimension

For a polyhedron $P$ P let $B(P)$ B ( P ) denote the polytopal complex that is formed by all bounded faces of $P$ P . If $P$ P is the intersection of $n$ n halfspaces in $\mathbb R ^D$ R D , but the maximum dimension $d$ d of any face in $B(P)$ B ( P ) is much smaller, we show that the combinatorial complexity of $P$ P cannot be too high; in particular, that it is independent of $D$ D . We show that the number of vertices of $P$ P is $O(n^d)$ O ( n d ) and the total number of bounded faces of the polyhedron is $O(n^{d^2})$ O ( n d 2 ) . For inputs in general position the number of bounded faces is $O(n^d)$ O ( n d ) . We show that for certain specific values of $d$ d and $D$ D , our bounds are tight. For any fixed $d$ d , we show how to compute the set of all vertices, how to determine the maximum dimension of a bounded face of the polyhedron, and how to compute the set of bounded faces in polynomial time, by solving a number of linear programs that is polynomial in  $n$ n .     

The Gröbner ring conjecture in the lexicographic order case

We prove that a valuation domain $\mathbf{V}$ has Krull dimension $\le $ 1 if and only if, for any $n$ , fixing the lexicographic order as monomial order in $\mathbf{V}[X_1,\ldots ,X_n]$ , for every finitely generated ideal $I$ of $\mathbf{V}[X_1,\ldots ,X_n]$ , the ideal generated by the leading terms of the elements of $I$ is also finitely generated. This proves the Gröbner ring conjecture in the lexicographic order case. The proof we give is both simple and constructive. The same result is valid for Prüfer domains. As a “scoop”, contrary to the common idea that Gröbner bases can be computed exclusively on Noetherian ground, we prove that computing Gröbner bases over $\mathbf{R}[X_1,\ldots , X_n]$ , where $\mathbf{R}$ is a Prüfer domain, has nothing to do with Noetherianity, it is only related to the fact that the Krull dimension of $\mathbf{R}$ is $\le $ 1.     

Minimal simplices inscribed in a convex body

Measuring how far a convex body $\mathcal{K }$ (of dimension $n$ ) with a base point ${O}\in \,\text{ int }\,\mathcal{K }$ is from an inscribed simplex $\Delta \ni {O}$ in “minimal” position, the interior point ${O}$ can display regular or singular behavior. If ${O}$ is a regular point then the $n+1$ chords emanating from the vertices of $\Delta $ and meeting at ${O}$ are affine diameters, chords ending in pairs of parallel hyperplanes supporting $\mathcal{K }$ . At a singular point ${O}$ the minimal simplex $\Delta $ degenerates. In general, singular points tend to cluster near the boundary of $\mathcal{K }$ . As connection to a number of difficult and unsolved problems about affine diameters shows, regular points are elusive, often non-existent. The first result of this paper uses Klee’s fundamental inequality for the critical ratio and the dimension of the critical set to obtain a general existence for regular points in a convex body with large distortion (Theorem A). This, in various specific settings, gives information about the structure of the set of regular and singular points (Theorem B). At the other extreme when regular points are in abundance, a detailed study of examples leads to the conjecture that the simplices are the only convex bodies with no singular points. The second and main result of this paper is to prove this conjecture in two different settings, when (1) $\mathcal{K }$ has a flat point on its boundary, or (2) $\mathcal{K }$ has $n$ isolated extremal points (Theorem C).     

A gaussian estimate for the heat kernel on differential forms and application to the Riesz transform

Let $(M,g)$ be a complete Riemannian manifold which satisfies a Sobolev inequality of dimension $n$ , and on which the volume growth is comparable to the one of ${\mathbb{R }}^n$ for big balls; if there is no non-zero $L^2$ harmonic 1-form, and the Ricci tensor is in $L^{\frac{n}{2}-\varepsilon }\cap L^\infty $ for an $\varepsilon >0$ , then we prove a Gaussian estimate on the heat kernel of the Hodge Laplacian acting on 1-forms. This allows us to prove that, under the same hypotheses, the Riesz transform $d\varDelta ^{-1/2}$ is bounded on $L^p$ for all $1<p<\infty $ . Then, in presence of non-zero $L^2$ harmonic 1-forms, we prove that the Riesz transform is still bounded on $L^p$ for all $1<p<n$ , when $n>3$ .     

Acyclic Systems of Permutations and Fine Mixed Subdivisions of Simplices

A fine mixed subdivision of a $(d-1)$ -simplex $T$ of size $n$ gives rise to a system of  ${d \atopwithdelims ()2}$ permutations of $[n]$ on the edges of $T$ , and to a collection of $n$ unit $(d-1)$ -simplices inside $T$ . Which systems of permutations and which collections of simplices arise in this way? The Spread Out Simplices Conjecture of Ardila and Billey proposes an answer to the second question. We propose and give evidence for an answer to the first question, the Acyclic System Conjecture. We prove that the system of permutations of $T$ determines the collection of simplices of $T$ . This establishes the Acyclic System Conjecture as a first step towards proving the Spread Out Simplices Conjecture. We use this approach to prove both conjectures for $n=3$ in arbitrary dimension.     

Integrability of higher pentagram maps

We define higher pentagram maps on polygons in $\mathbb{P }^d$ for any dimension $d$ , which extend R. Schwartz’s definition of the 2D pentagram map. We prove their integrability by presenting Lax representations with a spectral parameter for scale invariant maps. The corresponding continuous limit of the pentagram map in dimension $d$ is shown to be the $(2,d+1)$ -equation of the KdV hierarchy, generalizing the Boussinesq equation in 2D. We also study in detail the 3D case, where we prove integrability for both closed and twisted polygons and describe the spectral curve, first integrals, the corresponding tori and the motion along them, as well as an invariant symplectic structure.     

Ricci flow of homogeneous manifolds

We present in this paper a general approach to study the Ricci flow on homogeneous manifolds. Our main tool is a dynamical system defined on a subset $\mathcal H _{q,n}$ of the variety of $(q+n)$ -dimensional Lie algebras, parameterizing the space of all simply connected homogeneous spaces of dimension $n$ with a $q$ -dimensional isotropy, which is proved to be equivalent in a precise sense to the Ricci flow. The approach is useful to better visualize the possible (nonflat) pointed limits of Ricci flow solutions, under diverse rescalings, as well as to determine the type of the possible singularities. Ancient solutions arise naturally from the qualitative analysis of the evolution equation. We develop two examples in detail: a $2$ -parameter subspace of $\mathcal H _{1,3}$ reaching most of $3$ -dimensional geometries, and a $2$ -parameter family in $\mathcal H _{0,n}$ of left-invariant metrics on $n$ -dimensional compact and non-compact semisimple Lie groups.     

Multiple P-invariant closed characteristics on partially symmetric compact convex hypersurfaces in {\varvec{R}}^{2n}

In this paper, let $n$ be a positive integer and $P=diag(-I_{n-\kappa },I_\kappa ,-I_{n-\kappa },I_\kappa )$ for some integer $\kappa \in [0, n]$ , we prove that for any compact convex hypersurface $\Sigma $ in $\mathbf{R}^{2n}$ with $n\ge 2$ there exist at least two geometrically distinct P-invariant closed characteristics on $\Sigma $ , provided that $\Sigma $ is P-symmetric, i.e., $x\in \Sigma $ implies $Px\in \Sigma $ . This work is shown to extend and unify several earlier works on this subject.     

A weak second term identity of the regularized Siegel-Weil formula for unitary groups

Following W. T. Gan and S. Takeda, we obtain a weak second term identity of the regularized Siegel-Weil formula for the unitary dual pair $(U(n,n),U(V))$ , where $V$ is a split hermitian space of dimension $2r$ with $r+1\le n \le 2r-1$ . As an application, we obtain a Rallis inner product formula for theta lifts from $U(W)$ to $U(V)$ for a skew-hermitian space $W$ of dimension $n$ .     

Collapsibility and Vanishing of Top Homology in Random Simplicial Complexes

Let $\Delta _{n-1}$ denote the $(n-1)$ -dimensional simplex. Let $Y$ be a random $d$ -dimensional subcomplex of $\Delta _{n-1}$ obtained by starting with the full $(d-1)$ -dimensional skeleton of $\Delta _{n-1}$ and then adding each $d$ -simplex independently with probability $p=\frac{c}{n}$ . We compute an explicit constant $\gamma _d$ , with $\gamma _2 \simeq 2.45$ , $\gamma _3 \simeq 3.5$ , and $\gamma _d=\Theta (\log d)$ as $d \rightarrow \infty $ , so that for $c < \gamma _d$ such a random simplicial complex either collapses to a $(d-1)$ -dimensional subcomplex or it contains $\partial \Delta _{d+1}$ , the boundary of a $(d+1)$ -dimensional simplex. We conjecture this bound to be sharp. In addition, we show that there exists a constant $\gamma _d< c_d <d+1$ such that for any $c>c_d$ and a fixed field $\mathbb{F }$ , asymptotically almost surely $H_d(Y;\mathbb{F }) \ne 0$ .     

Moment Functions and Central Limit Theorem for Jacobi Hypergroups on [0,\infty [

In this paper, we derive sharp estimates and asymptotic results for moment functions on Jacobi type hypergroups. Moreover, we use these estimates to prove a central limit theorem (CLT) for random walks on Jacobi hypergroups with growing parameters $\alpha ,\beta \rightarrow \infty $ . As a special case, we obtain a CLT for random walks on the hyperbolic spaces ${H}_d(\mathbb F )$ with growing dimensions $d$ over the fields $\mathbb F =\mathbb R ,\ \mathbb C $ or the quaternions $\mathbb H $ .     

Homology of Littlewood complexes

Let $V$ be a symplectic vector space of dimension $2n$ . Given a partition $\lambda $ with at most $n$ parts, there is an associated irreducible representation $\mathbf{{S}}_{[\lambda ]}(V)$ of $\mathbf{{Sp}}(V)$ . This representation admits a resolution by a natural complex $L^{\lambda }_{\bullet }$ , which we call the Littlewood complex, whose terms are restrictions of representations of $\mathbf{{GL}}(V)$ . When $\lambda $ has more than $n$ parts, the representation $\mathbf{{S}}_{[\lambda ]}(V)$ is not defined, but the Littlewood complex $L^{\lambda }_{\bullet }$ still makes sense. The purpose of this paper is to compute its homology. We find that either $L^{\lambda }_{\bullet }$ is acyclic or it has a unique nonzero homology group, which forms an irreducible representation of $\mathbf{{Sp}}(V)$ . The nonzero homology group, if it exists, can be computed by a rule reminiscent of that occurring in the Borel–Weil–Bott theorem. This result can be interpreted as the computation of the “derived specialization” of irreducible representations of $\mathbf{{Sp}}(\infty )$ and as such categorifies earlier results of Koike–Terada on universal character rings. We prove analogous results for orthogonal and general linear groups. Along the way, we will see two topics from commutative algebra: the minimal free resolutions of determinantal ideals and Koszul homology.     

Strengthening the cohomological crepant resolution conjecture for Hilbert–Chow morphisms

Given any smooth toric surface $S$ , we prove a SYM-HILB correspondence which relates the 3-point, degree zero, extended Gromov–Witten invariants of the $n$ -fold symmetric product stack $[\mathrm{Sym}^n(S)]$ of $S$ to the 3-point extremal Gromov–Witten invariants of the Hilbert scheme $\mathrm{Hilb}^n(S)$ of $n$ points on $S$ . As we do not specialize the values of the quantum parameters involved, this result proves a strengthening of Ruan’s Cohomological Crepant Resolution Conjecture for the Hilbert–Chow morphism $\mathrm{Hilb}^n(S) \rightarrow \mathrm{Sym}^n(S)$ and yields a method of reconstructing the cup product for $\mathrm{Hilb}^n(S)$ from the orbifold invariants of $[\mathrm{Sym}^n(S)]$ .