Showing 1–3 of 3 results for author: Garzella, J J

K3 surfaces of any Artin-Mazur height over $\mathbb{F}_5$ and $\mathbb{F}_7$ via Quasi-F-split singularities and GPU acceleration

Authors: Ryan Batubara, Jack J Garzella, Alex Pan

Abstract: We develop a fast algorithm to calculate the Artin-Mazur height (equivalently, the quasi-$F$-split height) of a Calabi-Yau hypersurface, building on the work in arXiv:2204.10076. We provide a implementation of our approach, and use it to show that there are quartic K3 surfaces of any Artin-Mazur height over $\mathbb{F}_{5}$ and $\mathbb{F}_7$. We develop a fast algorithm to calculate the Artin-Mazur height (equivalently, the quasi-$F$-split height) of a Calabi-Yau hypersurface, building on the work in arXiv:2204.10076. We provide a implementation of our approach, and use it to show that there are quartic K3 surfaces of any Artin-Mazur height over $\mathbb{F}_{5}$ and $\mathbb{F}_7$. △ Less

Submitted 19 February, 2025; v1 submitted 17 February, 2025; originally announced February 2025.

Comments: 18 Pages, 7 figures

MSC Class: 14E99; 13P99; 11Y40; 11G25; 14G15

The perfectoid Tate algebra has uncountable Krull dimension

Authors: Jack J Garzella

Abstract: Let \(K\) be a perfectoid field with pseudo-uniformizer \(π\). We adapt an argument of Du in \cite{DuUncountable} to show that the perfectoid Tate algebra \(K\langle x^{1 / p^{\infty}} \rangle\) has an uncountable chain of distinct prime ideals. First, we conceptualize Du's argument, defining the notion of a \textit{Newton polygon formalism} on a ring. We prove a version of Du's theorem in the pre… ▽ More Let \(K\) be a perfectoid field with pseudo-uniformizer \(π\). We adapt an argument of Du in \cite{DuUncountable} to show that the perfectoid Tate algebra \(K\langle x^{1 / p^{\infty}} \rangle\) has an uncountable chain of distinct prime ideals. First, we conceptualize Du's argument, defining the notion of a \textit{Newton polygon formalism} on a ring. We prove a version of Du's theorem in the prescence of a sufficiently nondiscrete Newton polygon formalism. Then, we apply our framework to the perfectoid Tate algebra via a "nonstandard" Newton polygon formalism (roughly, the roles of the series variable \(x\) and the pseudo-uniformizer \(π\) are switched). We conclude a similar statement for multivatiate perfectoid Tate algebras using the one-variable case. △ Less

Submitted 8 June, 2024; v1 submitted 26 December, 2022; originally announced December 2022.

Comments: 15 pages, 2 figures. Update the main argument to reflect revisions to arXiv:2002.10358; Furthermore, fix error in previous draft at the end of section 5, including removing the claim to having solved Heitmann's conjecture

On the solvability of the discrete conductivity and Schrödinger inverse problems

Authors: Justin Boyer, Jack J. Garzella, Fernando Guevara Vasquez

Abstract: We study the uniqueness question for two inverse problems on graphs. Both problems consist in finding (possibly complex) edge or nodal based quantities from boundary measurements of solutions to the Dirichlet problem associated with a weighted graph Laplacian plus a diagonal perturbation. The weights can be thought of as a discrete conductivity and the diagonal perturbation as a discrete Schröding… ▽ More We study the uniqueness question for two inverse problems on graphs. Both problems consist in finding (possibly complex) edge or nodal based quantities from boundary measurements of solutions to the Dirichlet problem associated with a weighted graph Laplacian plus a diagonal perturbation. The weights can be thought of as a discrete conductivity and the diagonal perturbation as a discrete Schrödinger potential. We use a discrete analogue to the complex geometric optics approach to show that if the linearized problem is solvable about some conductivity (or Schrödinger potential) then the linearized problem is solvable for almost all conductivities (or Schrödinger potentials) in a suitable set. We show that the conductivities (or Schrödinger potentials) in a certain set are determined uniquely by boundary data, except on a zero measure set. This criterion for solvability is used in a statistical study of graphs where the conductivity or Schrödinger inverse problem is solvable. △ Less

Submitted 9 October, 2015; originally announced October 2015.

Comments: 22 pages, 6 figures

MSC Class: 05C22; 05C50; 35R30; 05C80