Multidimensional extension of the Morse–Hedlund theorem

A celebrated result of Morse and Hedlund, stated in 1938, asserts that a sequence x$x$ over a finite alphabet is ultimately periodic if and only if, for some n$n$, the number of different factors of length n$n$ appearing in x$x$ is less than n+1$n+1$. Attempts to extend this fundamental result, for example, to higher dimensions, have been considered during the last fifteen years. Let d≥2$d\ge 2$. A legitimate extension to a multidimensional setting of the notion of periodicity is to consider sets of Z^d${\mathbb{Z}}^d$ definable by a first order formula in the Presburger arithmetic 〈Z;<,+〉$〈\mathbb{Z};<,+〉$. With this latter notion and using a powerful criterion due to Muchnik, we exhibit a complete extension of the Morse–Hedlund theorem to an arbitrary dimension d$d$ and characterize sets of Z^d${\mathbb{Z}}^d$ definable in 〈Z;<,+〉$〈\mathbb{Z};<,+〉$ in terms of some functions counting recurrent blocks, that is, blocks occurring infinitely often.     

On the derived category of the classical Godeaux surface

We construct an exceptional sequence of length 11 on the classical Godeaux surface X$X$ which is the Z/5Z$\mathbb{Z}/5\mathbb{Z}$-quotient of the Fermat quintic surface in P³${\mathbb{P}}^3$. This is the maximal possible length of such a sequence on this surface which has Grothendieck group Z¹¹⊕Z/5Z${\mathbb{Z}}^{11}\oplus \mathbb{Z}/5\mathbb{Z}$. In particular, the result answers Kuznetsov’s Nonvanishing Conjecture, which concerns Hochschild homology of an admissible subcategory, in the negative. The sequence carries a symmetry when interpreted in terms of the root lattice of the simple Lie algebra of type _E8$E_8$. We also produce explicit nonzero objects in the (right) orthogonal to the exceptional sequence.     

Test ideals of non-principal ideals: Computations,jumping numbers,alterations and division theorems

Given an ideal a⊆R$\mathfrak{a}\subseteq R$ in a (log) Q$\mathbb{Q}$-Gorenstein F  -finite ring of characteristic p>0$p>0$, we study and provide a new perspective on the test ideal τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ for a real number t>0$t>0$. Generalizing a number of known results from the principal case, we show how to effectively compute the test ideal and also describe τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ using (regular) alterations with a formula analogous to that of multiplier ideals in characteristic zero. We further prove that the F  -jumping numbers of τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ as t varies are rational and have no limit points, including the important case where R is a formal power series ring. Additionally, we obtain a global division theorem for test ideals related to results of Ein and Lazarsfeld from characteristic zero, and also recover a new proof of Skoda's theorem for test ideals which directly mimics the proof for multiplier ideals.     

Symplectic Calabi–Yau 6-manifolds

In this article, we construct simply connected symplectic Calabi–Yau 6-manifolds by applying Gompf's symplectic fiber sum operation along T⁴${\mathbb{T}}^4$. Using our method, we also construct symplectic non-Kähler Calabi–Yau 6-manifolds with fundamental group Z$\mathbb{Z}$. This paper also produces the first examples of simply connected and non-simply connected symplectic Calabi–Yau 6-manifolds with fundamental groups _Zp×_Zq${\mathbb{Z}}_p\times {\mathbb{Z}}_q$, and Z×_Zq$\mathbb{Z}\times {\mathbb{Z}}_q$ for any p≥1$p\ge 1$ and q≥2$q\ge 2$via co-isotropic Luttinger surgery.     

Linear subspaces,symbolic powers and Nagata type conjectures

Inspired by results of Guardo, Van Tuyl and the second author for lines in P³${\mathbb{P}}^3$, we develop asymptotic upper bounds for the least degree of a homogeneous form vanishing to order at least m on a union of disjoint r  -dimensional planes in Pⁿ${\mathbb{P}}^n$ for n?2r+1$n?2r+1$. These considerations lead to new conjectures that suggest that the well known conjecture of Nagata for points in P²${\mathbb{P}}^2$ is not an exotic statement but rather a manifestation of a much more general phenomenon which seems to have been overlooked so far.     

Harness processes and harmonic crystals

In the Hammersley harness processes the R$\mathbb{R}$-valued height at each site i∈Z^d$i\in {\mathbb{Z}}^d$ is updated at rate 1 to an average of the neighboring heights plus a centered random variable (the noise). We construct the process “a la Harris” simultaneously for all times and boxes contained in Z^d${\mathbb{Z}}^d$. With this representation we compute covariances and show L²$L^2$ and almost sure time and space convergence of the process. In particular, the process started from the flat configuration and viewed from the height at the origin converges to an invariant measure. In dimension three and higher, the process itself converges to an invariant measure in L²$L^2$ at speed t^1−d/2$t^{1-d/2}$ (this extends the convergence established by Hsiao). When the noise is Gaussian the limiting measures are Gaussian fields (harmonic crystals) and are also reversible for the process.     

Stable extendibility of vector bundles over real projective spaces

Let F$\mathbb{F}$ be either the real number field R$\mathbb{R}$ or the complex number field C$\mathbb{C}$ and RPⁿ${\mathbb{RP}}^n$ the real projective space of dimension n. Theorems A and C in Hemmi and Kobayashi (2008) [2] give necessary and sufficient conditions for a given F$\mathbb{F}$-vector bundle over RPⁿ${\mathbb{RP}}^n$ to be stably extendible to RP^m${\mathbb{RP}}^m$ for every m?n$m?n$. In this paper, we simplify the theorems and apply them to the tangent bundle of RPⁿ${\mathbb{RP}}^n$, its complexification, the normal bundle associated to an immersion of RPⁿ${\mathbb{RP}}^n$ in R^n+r${\mathbb{R}}^{n+r}$(r>0)$(r>0)$, and its complexification. Our result for the normal bundle is a generalization of Theorem A in Kobayashi et al. (2000) [8] and that for its complexification is a generalization of Theorem 1 in Kobayashi and Yoshida (2003) [5].     

Large deviations of infinite intersections of events in Gaussian processes

Consider events of the form {_Zs≥ζ(s),s∈S}$\{Z_s\ge \zeta \left(s\right),s\in S\}$, where Z$Z$ is a continuous Gaussian process with stationary increments, ζ$\zeta$ is a function that belongs to the reproducing kernel Hilbert space R$R$ of process Z$Z$, and S⊂R$S\subset \mathbb{R}$ is compact. The main problem considered in this paper is identifying the function β^∗∈R${\beta }^{\ast }\in R$ satisfying β^∗(s)≥ζ(s)${\beta }^{\ast }\left(s\right)\ge \zeta \left(s\right)$ on S$S$ and having minimal R$R$-norm. The smoothness (mean square differentiability) of Z$Z$ turns out to have a crucial impact on the structure of the solution. As examples, we obtain the explicit solutions when ζ(s)=s$\zeta \left(s\right)=s$ for s∈[0,1]$s\in [0,1]$ and Z$Z$ is either a fractional Brownian motion or an integrated Ornstein–Uhlenbeck process.     

Linearly repetitive Delone sets are rectifiable

We show that every linearly repetitive Delone set in the Euclidean d  -space R^d${\mathbb{R}}^d$, with d?2$d?2$, is equivalent, up to a bi-Lipschitz homeomorphism, to the integer lattice Z^d${\mathbb{Z}}^d$. In the particular case when the Delone set X   in R^d${\mathbb{R}}^d$ comes from a primitive substitution tiling of R^d${\mathbb{R}}^d$, we give a condition on the eigenvalues of the substitution matrix which ensures the existence of a homeomorphism with bounded displacement from X   to the lattice βZ^d$\beta {\mathbb{Z}}^d$ for some positive β. This condition includes primitive Pisot substitution tilings but also concerns a much broader set of substitution tilings.     

The topological structure of fuzzy sets with sendograph metric

For a non-degenerate convex subset Y of the n  -dimensional Euclidean space Rⁿ${\mathbb{R}}^n$, let F(Y)$\mathbb{F}(Y)$ be the family of all fuzzy sets of Rⁿ${\mathbb{R}}^n$ which are upper semicontinuous, fuzzy convex and normal with compact supports contained in Y  . We show that the space F(Y)$\mathbb{F}(Y)$ with the topology of sendograph metric is homeomorphic to the separable Hilbert space ?²${?}^2$ if Y   is compact; and the space F(Rⁿ)$\mathbb{F}({\mathbb{R}}^n)$ is also homeomorphic to ?²${?}^2$.     

n-Dimensional Fano varieties of wild representation type

The aim of this work is to contribute to the classification of projective varieties according to their representation type, providing examples of n  -dimensional varieties of wild representation type, for arbitrary n?2$n?2$. More precisely, we prove that all Fano blow-ups of Pⁿ${\mathbb{P}}^n$ at a finite number of points are of wild representation type exhibiting families of dimension of order r²$r^2$ of simple (hence, indecomposable) ACM rank r   vector bundles for any r?n$r?n$. In the two dimensional case, the vector bundles that we construct are moreover Ulrich bundles and μ-stable with respect to certain ample divisor.     

Linear systems on a class of anticanonical rational threefolds

Let X be the blow-up of the three dimensional complex projective space along r   points in very general position on a smooth elliptic quartic curve B⊂P³$B\subset {\mathbb{P}}^3$ and let L∈Pic(X)$L\in \mathrm{Pic}(X)$ be any line bundle. The aim of this paper is to provide an explicit algorithm for determining the dimension of H⁰(X,L)$H^0(X,L)$.     

On the exterior algebra method applied to restricted set addition

In 1994 Dias da Silva and Hamidoune solved a long-standing open problem of Erd?s and Heilbronn using the structure of cyclic spaces for derivatives on Grassmannians and the representation theory of symmetric groups. They proved that for any subset A$A$ of the p$p$-element group Z/pZ$\mathbb{Z}/p\mathbb{Z}$ (where p$p$ is a prime), at least min{p,m|A|−m²+1}$min\{p,m\left|A\right|-m^2+1\}$ different elements of the group can be written as the sum of m$m$ different elements of A$A$. In this note we present an easily accessible simplified version of their proof for the case m=2$m=2$, and explain how the method can be applied to obtain the corresponding inverse theorem.