In this paper, we prove the following differential analog of the Noether normalization lemma: for every dd-dimensional differential algebraic variety over differentially closed field of zero characteristic there exists a surjective map on to the dd-dimensional affine space. Equivalently, for every integral differential algebra AA over differential field of zero characteristic there exist differentially independent b1,…,bdb1,…,bd such that AA is differentially algebraic over subalgebra BB differentially generated by b1,…,bdb1,…,bd, and whenever p⊂Bp⊂B is a prime differential ideal, there exists a prime differential ideal q⊂Aq⊂A such that p=B∩qp=B∩q. We also prove the analogous theorem for differential algebraic varieties over the ring of formal power series over an algebraically closed differential field and present some applications to differential equations.
The main result of this paper is a functional limit theorem for the sine-process. In particular, we study the limit distribution, in the space of trajectories, for the number of particles in a growing interval. The sine-process has the Kolmogorov property and satisfies the central limit theorem, but our functional limit theorem is very different from the Donsker Invariance Principle. We show that the time integral of our process can be approximated by the sum of a linear Gaussian process and independent Gaussian fluctuations whose covariance matrix is computed explicitly. We interpret these results in terms of the Gaussian free field convergence for the random matrix models. The proof relies on a general form of the multidimensional central limit theorem under the sineprocess for linear statistics of two types: those having growing variance and those with bounded variance corresponding to observables of Sobolev regularity 1/2.
We define an algebraic set in 23-dimensional projective space whose ℚ-rational points correspond to meromorphic, antisymmetric, paramodular Borcherds products. We know two lines inside this algebraic set. Some rational points on these lines give holomorphic Borcherds products and thus construct examples of Siegel modular forms on degree 2 paramodular groups. Weight 3examples provide antisymmetric canonical differential forms on Siegel modular three-folds. Weight 2 is the minimal weight and these examples, via the paramodular conjecture, give evidence for the modularity of some rank 1 abelian surfaces defined over ℚ.
In a recent paper, the first two authors proved that the generating series of the Poincare polynomials of the quasihomogeneous Hilbert schemes of points in the plane has a simple decomposition in an infinite product. In this paper, we give a very short geometrical proof of that formula.
A manifold M is locally conformally Kähler (LCK), if it admits a Kähler covering with monodromy acting by holomorphic homotheties. For a compact connected group G acting on an LCK manifold by holomorphic automorphisms, an averaging procedure gives a G-invariant LCK metric. Suppose that S1 acts on an LCK manifold M by holomorphic isometries, and the lifting of this action to the Kähler cover is not isometric. We show that admits an automorphic Kähler potential, and hence (for dimℂ M > 2) the manifold M can be embedded to a Hopf manifold.
A locally conformally Khler (LCK) manifold is a complex manifold which admits a covering endowed with a Kähler metric with respect to which the covering group acts through homotheties. We show that the blow-up of a compact LCK manifold along a complex submanifold admits an LCK structure if and only if this submanifold is globally conformally Kähler. We also prove that a twistor space (of a compact four-manifold, a quaternion-Kähler manifold, or a Riemannian manifold) cannot admit an LCK metric, unless it is Kähler.
We study two rational Fano threefolds with an action of the icosahedral group 𝔄5. The first one is the famous Burkhardt quartic threefold, and the second one is the double cover of the projective space branched in the Barth sextic surface. We prove that both of them are 𝔄5-Fano varieties that are 𝔄5-birationally superrigid. This gives two new embeddings of the group 𝔄5 into the space Cremona group.
Cactus group is the fundamental group of the real locus of the Deligne–Mumford moduli space of stable rational curves. This group appears naturally as an analog of the braid group in coboundary monoidal categories. We define an action of the cactus group on the set of Bethe vectors of the Gaudin magnet chain corresponding to arbitrary semisimple Lie algebra g. Cactus group appears in our construction as a subgroup in the Galois group of Bethe Ansatz equations. Following the idea of Pavel Etingof, we conjecture that this action is isomorphic to the action of the cactus group on the tensor product of crystals coming from the general coboundary category formalism. We prove this conjecture in the case g=sl2 (in fact, for this case the conjecture almost immediately follows from the results of Varchenko on asymptotic solutions of the KZ equation and crystal bases). We also present some conjectures generalizing this result to Bethe vectors of shift of argument subalgebras and relating the cactus group with the Berenstein-Kirillov group of piecewise-linear symmetries of the Gelfand–Tsetlin polytope.
We show that the derived category of any singularity over a field of characteristic 0 can be embedded fully and faithfully into a smooth triangulated category that has a semiorthogonal decomposition with components equivalent to derived categories of smooth varieties. This provides a categorical resolution of the singularity.
In this article, we calculate the ring of unstable (possibly nonadditive) operations from algebraic Morava K-theory K(n)^∗ to Chow groups with ℤ_(p) -coefficients. More precisely, we prove that it is a formal power series ring on generators c_i:K(n)^∗→CH^i⊗ℤ_(p) , which satisfy a Cartan-type formula.
Consider the space M = O(p, q)/O(p) × O(q) of positive p-dimensional subspaces in a pseudo-Euclidean space V of signature (p, q), where p > 0, q > 1 and (p,q)≠(1,2), with integral structure: V=Vℤ⊗ℤ. Let Γ be an arithmetic subgroup in G=O(Vℤ), and R⊂Vℤ a Γ-invariant set of vectors with negative square. Denote by R⊥ the set of all positive p-planes W ⊂ V such that the orthogonal complement W⊥ contains some r ∈ R. We prove that either R⊥ is dense in M or Γ acts on R with finitely many orbits. This is used to prove that the squares of primitive classes giving the rational boundary of the Kähler cone (i.e., the classes of “negative” minimal rational curves) on a hyperkähler manifold Xare bounded by a number which depends only on the deformation class of X. We also state and prove the density of orbits in a more general situation when M is the space of maximal compact subgroups in a simple real Lie group.
We prove, in a purely combinatorial way, the spectral curve topological recursion for the problem of enumeration of bi-colored maps, which are dual objects to dessins d'enfant. Furthermore, we give a proof of the quantum spectral curve equation for this problem. Then we consider the generalized case of 4-colored maps and outline the idea of the proof of the corresponding spectral curve topological recursion.
On del Pezzo surfaces, we study effective ample ℝ -divisors such that the complements of their supports are isomorphic to 𝔸1 -bundles over smooth affine curves. All considered varieties are assumed to be algebraic and defined over an algebraically closed field of characteristic 0 throughout this article.