Mathematics

We study the moduli stacks of real vector bundles of fixed rank and degree on a type I real algebraic curve and determine its mod 2 cohomology algebra in terms of characteristic classes.

Given a finite abelian group $G$ and a Sylow $p$-subgroup $N_p$, we prove that the $KU_G/p$-local sphere spectrum is equivalent to the homotopy fixed points of a $p$-complete $KO_{N_p}$-module spectrum. Then we compute the…

The crystalline differential operators on a smooth variety X give rise to a non-split Azumaya algebra over the cotangent bundle of the Frobenius twist X'. In some cases, this Azumaya algebra splits when restricted to finite covers of X'. In…

We perform a mathematical and statistical analysis of the Wasserstein least squares problem, a regression method for vector-valued covariates and distribution-valued responses. Our proposal contrasts with other distributional regression…

We prove an inversion theorem for recursive formulas satisfied by certain families of converging power series in two variables. These power series are indexed by the Harder-Narasimhan types of principal $G$-bundles of degree $d \in \pi_1 G$…

A central question in high-dimensional statistics is to understand statistical--computational gaps: regimes in which recovering a hidden signal is information-theoretically possible but conjectured to be computationally intractable. The…

We study estimation in the low signal-to-noise ratio (SNR) regime for a broad class of Gaussian latent-variable models, including Gaussian mixtures and orbit recovery problems. We show that, in this regime, the generalized method-of-moments…

Hjort and Glad (1995) present a method for semiparametric density estimation. Relative to the ordinary kernel density estimator, this technique performs much better when a parametric vehicle distribution fits the data, and otherwise…

We show that any big line bundle on a smooth projective variety admits a special Fujita approximation: the volume and the first Riemann-Roch coefficient are both approximated by those of ample $\mathbb{Q}$-line bundles on higher models.…

All reduced descendent Gromov-Witten invariants of $K3$ and abelian surfaces in primitive curve classes can be calculated by the methods of \cite{BOPY,MPT}. To handle the imprimitive curve classes, a multiple cover formula was conjectured…

Let $X$ be a proper smooth rigid analytic variety over a complete algebraically closed field $p$-adic field $\mathbf C$. Fix an continuation $\mathrm{Exp}$. Faltings (in the curve case) and Heuer showed that any lifting $\widetilde X$ of…

We prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\mathrm{fin}}(\mathbb{N}), \cup,…

We introduce the \emph{Topological Stability Index} (TSI), a variance-based scalar measure for persistence barcodes that quantifies the dispersion of persistence lifetimes. Unlike persistent entropy, which depends only on normalized…

We introduce an Indian-buffet-type model for multi-factorial innovation in which each arriving agent may exhibit both previously observed and new features. The number of new features follows a power-law behavior, while the probability of…

In this paper, we study plane quintic curves whose automorphism groups have order greater than 10, as well as those with cyclic automorphism groups of order 8 and 10. The latter two cases are represented as one-parameter families, where…

We study the birational geometry of hypersurfaces in projective varieties of the form $\mathbf{P}^1\times Z$, where $Z$ satisfies mild assumptions. Building on recent results of Herrera--Laface--Ugaglia, we study their Cox rings (when…

We construct a Poincar\'e sheaf on the compactified Prym variety associated with an \'etale double cover of integral curves with planar singularities, and prove that the associated Fourier-Mukai transform is an autoequivalence of its…

In this paper, we give a description of the cohomology groups of the symmetric powers of the tautological bundle associated with a sufficiently positive line bundle on the Hilbert scheme of 2 or 3 points on a smooth projective complex…

This paper introduces a Laws of Form version of the Quaternions. We call this the Q-Calculus, a 16-valued extension of Laws of Form (LoF) which is closely related to the BF Calculus (where we have a single square root of the mark) and the…

We develop a natural Bayesian multiplicity-correcting prior distribution within the probabilistic forward stepwise representation of model space priors for regression problems. The proposed prior, obtained from making an analogy to the Holm…