Related papers: Stable $\mathbb{A}^1$-connectivity over Dedekind s…
The Grothendieck-Serre conjecture predicts that on a regular local ring, no nontrivial reductive torsor becomes trivial over the fraction field. While this conjecture has been proven in the equicharacteristic case, it remains open in the…
We prove a certain uniform version of the Shafarevich Conjecture. As a corollary, we prove the Rasmussen-Tamagawa Conjecture for a particular class of abelian varieties $A$ defined over a number $K$ of dimension $g$ having everywhere…
ResNets constrained to be bi-Lipschitz, that is, approximately distance preserving, have been a crucial component of recently proposed techniques for deterministic uncertainty quantification in neural models. We show that theoretical…
We prove that the local $\mathbb{A}^1$-degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local $\mathbb{A}^1$-degree over the residue field. This fact was originally…
This paper studies large-scale optimization problems on Riemannian manifolds whose objective function is a finite sum of negative log-probability losses. Such problems arise in various machine learning and signal processing applications. By…
Using an idelic argument and assuming the Gersten conjecture for Milnor K-theory, we show that the restriction map from one-cycles on a smooth projective scheme over a henselian local ring to a pro-system of thickened zero-cycles is…
We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…
In this paper the existence and unicity of a stable periodic orbit is proven, for a class of piecewise affine differential equations in dimension 3 or more, provided their interaction structure is a negative feedback loop. It is also shown…
We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…
On a compact stratified space (X, g) there exists a metric of constant scalar curvature in the conformal class of g, if the scalar curvature satisfies an integrability condition and if the Yamabe constant of X is strictly smaller than the…
Motivated by applications to the Langlands program, Aubert-Moussaoui-Solleveld extended Lusztig's generalized Springer correspondence to disconnected reductive groups. We use stacks to give a more geometric account of their theory, in…
In this work, we study the tensor ring decomposition and its associated numerical algorithms. We establish a sharp transition of algorithmic difficulty of the optimization problem as the bond dimension increases: On one hand, we show the…
We introduce an Uhlenbeck closure of the space of based maps from projective line to the Kashiwara flag scheme of an untwisted affine Lie algebra. For the algebra $\hat{sl}_n$ this space of based maps is isomorphic to the moduli space of…
Let $(R,\mathfrak{m})$ be a complete local ring, and $G={\rm gr}_{\mathfrak{m}}(R)$ be its associated graded ring. We introduce a homogenization technique which allows to relate $G$ to the special fiber and $R$ to the generic fiber of a…
In this paper, we provide an upgrade of Deligne's geometric class field theory for tamely ramified Galois groups using logarithmic geometry. In particular, we define a framed logarithmic Picard space, and show that a logarithmic…
A theorem of B. Green states that if A is a Dedekind ring whose fraction field is a local or global field, every normal projective curve over Spec(A) has a finite morphism to P^1_A. We give a different proof of a variant of this result…
We introduce a persistent Hochschild homology framework for directed graphs. Hochschild homology groups of (path algebras of) directed graphs vanish in degree $i\geq 2$. To extend them to higher degrees, we introduce the notion of…
The paper provides computations of the first non-vanishing $\mathbb{A}^1$-homotopy sheaves of the orthogonal Stiefel varieties which are relevant for the unstable isometry classification of quadratic forms over smooth affine schemes over…
The optimization of multilayer neural networks typically leads to a solution with zero training error, yet the landscape can exhibit spurious local minima and the minima can be disconnected. In this paper, we shed light on this phenomenon:…
We show that Hilbert schemes of points on supersingular Enriques surface in characteristic 2 are simply connected, symplectic varieties but are not irreducible symplectic as the hodge number $h^{2,0} > 1$, even though a supersingular…