Search

Accurate and precise measurements of spectroradiometric temperature are crucial for many high pressure experiments that use diamond anvil cells or shock waves. In experiments with sub-millisecond timescales, specialized detectors such as streak cameras or photomultiplier tubes are required to measure temperature. High accuracy and precision are difficult to attain, especially at temperatures below 3000 K. Here we present a new spectroradiometry system based on multianode photomultiplier tube technology and passive readout circuitry that yields a 0.24 $\mu$s rise-time for each channel. Temperature is measured using five color spectroradiometry. During high pressure pulsed Joule heating experiments in a diamond anvil cell, we document measurement precision to be $\pm 30$ K at temperatures as low as 2000 K during single-shot heating experiments with $0.6$ $\mu$s time-resolution. Ambient pressure melting tests using pulsed Joule heating indicate that the accuracy is $\pm 80$ K in the temperature range 1800-2700 K., Comment: 17 pages, 18 figures

We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in between other notions of tame ramification in arithmetic geometry. However, when applied to the Frobenius map, it naturally yields the notion of center of $F$-purity (aka compatibly $F$-split subvariety). As an application, we describe the behavior of centers of $F$-purity under finite covers -- it all comes down to a transitivity property for tame ramification in towers., Comment: 38 pages, minor changes based on referee reports, accepted for publication in the Journal of the LMS, comments are very much welcome

Let $X$ be a generic determinantal affine variety over a perfect field of characteristic $p \geq 0$ and $P \subset X$ be a standard prime divisor generator of $\mathrm{Cl}(X) \cong \mathbb{Z}$. We prove that the pair $(X,P)$ is purely $F$-regular if $p>0$ and so that $(X,P)$ is purely log terminal (PLT) if $p=0$ and $(X,P)$ is log $\mathbb{Q}$-Gorenstein. In general, using recent results of Z. Zhuang and S. Lyu, we show that $(X,P)$ is of PLT-type, i.e. there is a $\mathbb{Q}$-divisor $\Delta$ with coefficients in $[0,1)$ such that $(X,P+\Delta)$ is PLT., Comment: 23 pages, minor corrections, final version, accepted for publication at the Bollettino dell'Unione Matematica Italiana

Many-body interactions in water are known to be important but difficult to treat in atomistic models and often are included only as a correction. Polarizable models treat them explicitly, with long-range many-body potentials, within their classical approximation. However, their calculation is computationally expensive. Here, we evaluate how relevant the contributions to the many-body interaction associated with different coordination shells are. We calculate the global energy minimum, and the corresponding configuration, for nano-clusters of up to 20 water molecules. We find that including the first coordination shell, i.e., the five-body term of the central molecule, is enough to approximate within 5% the global energy minimum and its structure. We show that this result is valid for three different polarizable models, the Dang-Chang, the MB-pol, and the Kozack-Jordan potentials. This result suggests a strategy to develop many-body potentials for water that are reliable and, at the same time, computationally efficient., Comment: 18 pages, 5 figures

In the search of a projective analog of Kunz's theorem and a Frobenius-theoretic analog of Mori--Hartshorne's theorem, we investigate the positivity of the kernel of the Frobenius trace (equivalently, the negativity of the cokernel of the Frobenius endomorphism) on a smooth projective variety over an algebraically closed field of positive characteristic. For instance, such kernel is ample for projective spaces. Conversely, we show that for curves, surfaces, and threefolds the Frobenius trace kernel is ample only for Fano varieties of Picard rank $1$., Comment: 40 pages, comments are very much welcome! Thorough revision, many typos and errors fixed

We investigate the behavior of stringy motives under Galois quasi-\'etale covers. We prove them to descend under such covers in a sense defined via their Poincar\'e realizations. Further, we show such descent to be strict in the presence of ramification. As a corollary, we reduce the problem regarding the finiteness of the \'etale fundamental group of KLT singularities to a DCC property for their stringy motives. We verify such DCC property for surfaces in arbitrary characteristic. As an application, we give a characteristic-free proof for the finiteness of the \'etale fundamental group of log terminal surface singularities, which was unknown in equal characteristics $2$ and $3$ and in mixed characteristics., Comment: 35 pages, 6 figures, comments are very much welcome, thorough revision, and we added section 6 which takes care of the mixed characteristic surface case

Let $S$ be KLT threefold singularity over an algebraically closed field of positive characteristic $p>5$. We prove that its local \'etale fundamental group is tame and finite. Further, we show that every finite unipotent torsor over a big open of $S$ is realized as the restriction of a finite unipotent torsor over $S$., Comment: 34 pages, comments are welcome! General updates and corrections, including those from referees. Accepted at the Algebraic Geometry journal

We report on a combined experimental and theoretical study of Li$^+$ ions solvated by up to 50 He atoms. The experiments show clear enhanced abundances associated with He$_n$Li$^+$ clusters where $n=2$, 6, 8, and 14. We find that classical methods, e.g.\ Basin-Hopping (BH), give results that qualitatively agree with quantum mechanical methods such as path integral Monte Carlo, diffusion Monte Carlo and quantum free energy, regarding both energies and the solvation structures that are formed. The theory identifies particularly stable structures for $n=4$, 6 and 8 which line up with some of the most abundant features in the experiments., Comment: 8 pages, 7 figures, published in Physical Chemistry Chemical Physics

Let $(R,\mathfrak{m}, k)$ be a strictly local normal $k$-domain of positive characteristic and $P$ be a prime divisor on $X=\text{Spec } R$. We study the Galois category of finite covers over $X$ that are at worst tamely ramified over $P$ in the sense of Grothendieck--Murre. Assuming that $(X,P)$ is a purely $F$-regular pair, our main result is that every Galois cover $f \: Y \to X$ in that Galois category satisfies that $\bigl(f^{-1}(P)\bigr)_{\text{red}}$ is a prime divisor. We shall explain why this should be thought as a (partial) generalization of a classical theorem due to S.S.~Abhyankar regarding the \'etale-local structure of tamely ramified covers between normal schemes with respect to a divisor with normal crossings. Additionally, we investigate the formal consequences this result has on the structure of the fundamental group representing the Galois category. We also obtain a characteristic zero analog by reduction to positive characteristics following Bhatt--Gabber--Olsson's methods., Comment: 45 pages, comments are welcome, typos fixed, shortened down, some parts were rewritten to improve exposition, Proposition 4.8 was removed as it was flawed v3: Major revision, to apper in ANT

We further the classification of rational surface singularities. Suppose $(S, \mathfrak{n}, \mathcal{k})$ is a strictly Henselian regular local ring of mixed characteristic $(0, p > 5)$. We classify functions $f$ for which $S/(f)$ has an isolated rational singularity at the maximal ideal $\mathfrak{n}$. The classification of such functions are used to show that if $(R, \mathfrak{m}, \mathcal{k})$ is an excellent, strictly Henselian, Gorenstein rational singularity of dimension $2$ and mixed characteristic $(0, p > 5)$, then there exists a split finite cover of $\mbox{Spec}(R)$ by a regular scheme. We give an application of our result to the study of $2$-dimensional BCM-regular singularities in mixed characteristic., Comment: Comments welcome!

The Los Humeros Volcanic Complex (LHVC) is a large silicic caldera complex in the Trans-Mexican Volcanic Belt (TMVB), hosting a geothermal field currently in exploitation by the Comision Federal de Electricidad (CFE) of Mexico, with an installed capacity of ca. 95 MW of electric power. Understanding the structural architecture of LHVC is important to get insights into the interplay between the volcano-tectonic setting and the characteristics of the geothermal resources in the area. The analysis of volcanotectonic interplay in LHVC benefits from the availability of subsurface data obtained during the exploration of the geothermal reservoir that allows the achievement of a 3D structural view of the volcano system. The LHVC thus represents an important natural laboratory for the development of general models of volcano-tectonic interaction in calderas., Comment: 30 pp, 10 figures

We give a comprehensive treatment on how $F$-signatures, splitting primes, splitting ratios, and test modules behave under finite covers. To this end, we expand on the notion of transposability along a section section of the relative canonical module as first introduced by K.~Schwede and K.~Tucker., Comment: 39 pages, comments are more than welcome. v3: major revision: shortened proofs and sharpened results v4: improved exposition, final version

Let $k$ be a field of positive characteristic. Building on the work of the second named author, we define a new class of $k$-algebras, called diagonally $F$-regular algebras, for which the so-called Uniform Symbolic Topology Property (USTP) holds effectively. We show that this class contains all essentially smooth $k$-algebras. We also show that this class contains certain singular algebras, such as the affine cone over $\mathbb{P}^r_{k} \times \mathbb{P}^s_{k}$, when $k$ is perfect. By reduction to positive characteristic, it follows that USTP holds effectively for the affine cone over $\mathbb{P}^r_{\mathbb{C}} \times \mathbb{P}^s_{\mathbb{C}}$ and more generally for complex varieties of diagonal $F$-regular type., Comment: 22 pages. Comments welcome

We investigate finite torsors over big opens of spectra of strongly $F$-regular germs that do not extend to torsors over the whole spectrum. Let $(R,\mathfrak{m},k)$ be a strongly $F$-regular $k$-germ where $k$ is an algebraically closed field of characteristic $p>0$. We prove the existence of a finite local cover $R \subset R^{\star}$ so that $R^{\star}$ is a strongly $F$-regular $k$-germ and: for all finite algebraic groups $G/k$ with solvable neutral component, every $G$-torsor over a big open of $\mathrm{Spec} R^{\star}$ extends to a $G$-torsor everywhere. To achieve this, we obtain a generalized transformation rule for the $F$-signature under finite local extensions. Such formula is used to show that that the torsion of $\mathrm{Cl} R$ is bounded by $1/s(R)$. By taking cones, we conclude that the Picard group of globally $F$-regular varieties is torsion-free. Likewise, it shows that canonical covers of $\mathbb{Q}$-Gorenstein strongly $F$-regular singularities are strongly $F$-regular., Comment: 30 pages. Final version accepted to EPIGA

We show that Bertini theorems hold for $F$-signature and Hilbert--Kunz multiplicity. In particular, if $X \subseteq \mathbb{P}^n$ is normal and quasi-projective with $F$-signature greater than $\lambda$ (respectively the Hilbert--Kunz multiplicity is less than $\lambda$) at all points $x \in X$, then for a general hyperplane $H \subseteq \mathbb{P}^n$ the $F$-signature (respectively Hilbert--Kunz multiplicity) of $X \cap H$ is greater than $\lambda$ (respectively less than $\lambda$) at all points $x \in X \cap H$., Comment: 23 pages, typos corrected and proofs improved, to appear in Math. Z

We prove that a strongly $F$-regular scheme $X$ admits a finite, generically Galois, and \'etale-in-codimension-one cover $\widetilde X \to X$ such that the \'etale fundamental groups of $\widetilde X$ and $\widetilde X_{reg}$ agree. Equivalently, every finite \'etale cover of $\widetilde X_{reg}$ extends to a finite \'etale cover of $\widetilde X$. This is analogous to a result for complex klt varieties by Greb, Kebekus and Peternell., Comment: 10 pages, comments welcome

We prove that the local etale fundamental group of a strongly $F$-regular singularity is finite (and likewise for the \'etale fundamental group of the complement of a codimension $\geq 2$ set), analogous to results of Xu and Greb-Kebekus-Peternell for KLT singularities in characteristic zero. In fact our result is effective, we show that the reciprocal of the $F$-signature of the singularity gives a bound on the size of this fundamental group. To prove these results and their corollaries, we develop new transformation rules for the $F$-signature under finite etale-in-codimension-one extensions. As another consequence of these transformation rules, we also obtain purity of the branch locus over rings with mild singularities (particularly if the $F$-signature is $> 1/2$). Finally, we generalize our $F$-signature transformation rules to the context of pairs and not-necessarily etale-in-codimension-one extensions, obtaining an analog of another result of Xu., Comment: 22 pages, comments welcome