# Algebraic Geometry (math.AG)

• We study the homotopy category $\mathrm{hmf}(R,W)$ of matrix factorizations of non-zero elements $W\in R^\times$, where $R$ is an elementary divisor domain. When $R$ has prime elements and $W$ factors into a square-free element $W_0$ and a finite product of primes of multiplicity greater than one and which do not divide $W_0$, we show that $\mathrm{hmf}(R,W)$ is triangle-equivalent with an orthogonal sum of the triangulated categories of singularities $\mathrm{D}_{\mathrm sing}(A_n(p))$ of the local Artinian rings $A_n(p)=R/\langle p^n\rangle$, where $p$ runs over the prime divisors of $W$ of order $n\geq 2$. This result holds even when $R$ is not Noetherian. The triangulated categories $\mathrm{D}_{\mathrm sing}(A_n(p))$ are Krull-Schmidt and we describe them explicitly. We also study the cocycle category $\mathrm{zmf}(R,W)$, showing that it is additively generated by elementary matrix factorizations. Finally, we discuss a few classes of examples.
• We introduce the notion of a \emphcomplex cell, a complexification of the cells/cylinders used in real tame geometry. Complex cells are equipped with a natural notion of holomorphic extension, and the hyperbolic geometry of a cell within its extension provides the class of complex cells with a rich geometric function theory absent in the real case. We use this to prove a complex analog of the cellular decomposition theorem of real tame geometry. In the algebraic case we show that the complexity of such decompositions depends polynomially on the degrees of the equations involved. Using this theory, we sharpen the Yomdin-Gromov algebraic lemma on $C^r$-smooth parametrizations of semialgebraic sets: we show that the number of $C^r$ charts can be taken to be polynomial in the smoothness order $r$ and in the complexity of the set. The algebraic lemma was initially invented in the work of Yomdin and Gromov to produce estimates for the topological entropy of $C^\infty$ maps. Combined with work of Burguet, Liao and Yang, our refined version establishes an optimal sharpening of these estimates for \emphanalytic maps, in the form of tight bounds on the tail entropy and volume growth. This settles a conjecture of Yomdin who proved the same result in dimension two in 1991. A self-contained proof of these estimates using the refined algebraic lemma is given in an appendix by Yomdin. The algebraic lemma has more recently been used in the study of rational points on algebraic and transcendental varieties. We use the theory of complex cells in these two directions. In the algebraic context we prove a sharpening of a result of Heath-Brown on interpolating rational points in algebraic varieties. In the transcendental context we prove an interpolation result for (unrestricted) logarithmic images of subanalytic sets.
• We consider the set $\mathrm{MC}_d$ of monic centered polynomials of one complex variable with degree $d \geq 2$, and study the map $\widehat{\Phi}_d:\mathrm{MC}_d\to \widetilde{\Lambda}_d \subset \mathbb{C}^d / \mathfrak{S}_d$ which maps each $f \in \mathrm{MC}_d$ to its unordered collection of fixed-point multipliers. We give an explicit formula for counting the number of elements of each fiber $\widehat{\Phi}_d^{-1}\left(\bar{\lambda}\right)$ for every $\bar{\lambda} \in \widetilde{\Lambda}_d$. This formula contains no induction process, and is a drastic improvement of our previous result which gave a rather long algorithm with some induction processes for counting the number of elements of each fiber.
• Topological data analysis (TDA) provides a growing body of tools for computing geometric and topological information about spaces from a finite sample of points. We present a new adaptive algorithm for finding provably dense samples of points on real algebraic varieties given a set of defining polynomials. The algorithm utilizes methods from numerical algebraic geometry to give formal guarantees about the density of the sampling and it also employs geometric heuristics to minimize the size of the sample. As TDA methods consume significant computational resources that scale poorly in the number of sample points, our sampling minimization makes applying TDA methods more feasible. We demonstrate our algorithm on several examples.
• We study periodic points for endomorphisms $\sigma$ of abelian varieties $A$ over algebraically closed fields of positive characteristic $p$. We show that the dynamical zeta function $\zeta_\sigma$ of $\sigma$ is either rational or transcendental, the first case happening precisely when $\sigma^n-1$ is a separable isogeny for all $n$. We call this condition very inseparability and show it is equivalent to the action of $\sigma$ on the local $p$-torsion group scheme being nilpotent. The "false" zeta function $D_\sigma$, in which the number of fixed points of $\sigma^n$ is replaced by the degree of $\sigma^n-1$, is always a rational function. Let $1/\Lambda$ denote its largest real pole and assume no other pole or zero has the same absolute value. Then, using a general dichotomy result for power series proven by Royals and Ward in the appendix, we find that $\zeta_\sigma(z)$ has a natural boundary at $|z|=1/\Lambda$ when $\sigma$ is not very inseparable. We introduce and study tame dynamics, ignoring orbits whose order is divisible by $p$. We construct a tame zeta function $\zeta^*_{\sigma}$ that is always algebraic, and such that $\zeta_\sigma$ factors into an infinite product of tame zeta functions. We briefly discuss functional equations. Finally, we study the length distribution of orbits and tame orbits. Orbits of very inseparable endomorphisms distribute like those of Axiom A systems with entropy $\log \Lambda$, but the orbit length distribution of not very inseparable endomorphisms is more erratic and similar to $S$-integer dynamical systems. We provide an expression for the prime orbit counting function in which the error term displays a power saving depending on the largest real part of a zero or pole of $D_\sigma(\Lambda^{-s})$ in the critical strip.
• We study the Riemann-Hilbert problem attached to an uncoupled BPS structure proposed by Bridgeland in [3]. We show that it has "essentially" unique meromorphic solutions given by a product of Gamma functions. We reconstruct the corresponding connection.
• We prove Kollár's injectivity theorem for globally $F$-regular varieties.
• The first steps in defining tropicalization for spherical varieties have been taken in the last few years. There are two parts to this theory: tropicalizing subvarieties of homogeneous spaces and tropicalizing their closures in spherical embeddings. In this paper, we obtain a new description of spherical tropicalization that is equivalent to the other theories. This works by embedding in a toric variety, tropicalizing there, and then applying a particular piecewise projection map. We use this theory to prove that taking closures commutes with the spherical tropicalization operation.
• Using Bridgeland stability conditions, we give sufficient criteria for a stable vector bundle on a surface to remain stable when restricted to a curve. We give a stronger criterion when the vector bundle is a general vector bundle on the plane. As an application, we compute the cohomology of such bundles for curves that lie in the plane or on Hirzebruch surfaces.
• We provide conditions on the p-adic Galois representation of a smooth proper variety over a complete nonarchimedean extension of Q_p to have (potentially) good ordinary reduction.
• The Kawaguchi--Silverman conjecture predicts that if $f\colon X \dashrightarrow X$ is a dominant rational-self map of a projective variety over $\overline{\mathbb{Q}}$, and $P$ is a $\overline{\mathbb{Q}}$-point of $X$ with Zariski-dense orbit, then the dynamical and arithmetic degrees of $f$ coincide: $\lambda_1(f) = \alpha_f(P)$. We prove this conjecture in several higher-dimensional settings, including all endomorphisms of non-uniruled smooth projective threefolds with degree larger than $1$, and all endomorphisms of hyper-Kähler varieties in any dimension. In the latter case, we construct a canonical height function associated to any automorphism $f\colon X \to X$ of a hyper-Kähler variety defined over $\overline{\mathbb{Q}}$.