Related papers: Non-Archimedean Whitney stratifications

Over a perfect field $k$ of characteristic $p > 0$, we construct a ``Witt vector cohomology with compact supports'' for separated $k$-schemes of finite type, extending (after tensorisation with $\mathbb{Q}$) the classical theory for proper…

We review various K-theory classification conjectures in string theory. Sen conjecture based proposals classify D-brane trajectories in backgrounds with no H flux, while Freed-Witten anomaly based proposals classify conserved RR charges and…

The epicenter of this paper concerns Pfister quadratic forms over a field $F$ with a Henselian discrete valuation. All characteristics are considered but we focus on the most complicated case where the residue field has characteristic 2 but…

We study a new formulation for the eikonal equation |grad u| =1 on a bounded subset of R^2. Instead of a vector field grad u, we consider a field P of orthogonal projections on 1-dimensional subspaces, with div P in L^2. We prove existence…

With a view toward a fracton theory in condensed matter, we introduce a higher-moment polynomial degree-p global symmetry, acting on complex scalar/vector/tensor fields (e.g., ordinary or vector global symmetry for p$=0$ and p$=1$…

We give explicit formulas witnessing IP, \IPn or TP2 in fields with Artin-Schreier extensions. We use them to control $p$-extensions of mixed characteristic henselian valued fields, allowing us most notably to generalize to the \NIPn…

We prove field quantifier elimination for valued fields endowed with both an analytic structure and an automorphism that are $\sigma$-Henselian. From this result we can deduce various Ax-Kochen-Ersov type results with respect to…

We previously obtained a generalization and refinement of results about the ramification theory of Artin-Schreier extensions of discretely valued fields in characteristic $p$ with perfect residue fields to the case of fields with more…

Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby…

For any subfield K of the complex numbers which is not contained in an imaginary quadratic number field, we construct conjugate varieties whose algebras of K-rational (p,p)-classes are not isomorphic. This compares to the Hodge conjecture…

This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient…

Let $R$ be the henselization of a local ring of a semistable family over the spectrum of a discrete valuation ring of mixed characteristic $(0, p)$ and $k$ the residue field of $R$. In this paper, we prove an isomorphism of \'{e}tale…

We study definable sets, groups, and fields in the theory $T_\infty$ of infinite-dimensional vector spaces over an algebraically closed field equipped with a nondegenerate symmetric (or alternating) bilinear form. First, we define an…

Recently, Anscombe and Koenigsmann gave an existential 0-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability…

Manifestly non-Hermitian quantum graphs with real spectra are introduced and shown tractable as a new class of phenomenological models with several appealing descriptive properties. For illustrative purposes, just equilateral star-graphs…

In this paper, we consider real and complex algebras as well as algebras over general fields. In Section 2, we revisit and prove several results on (quadratic) algebras over general fields. As an example, we demonstrate that a quadratic…

This paper defines analysis-suitable T-splines for arbitrary degree (including even and mixed degrees) and arbitrary dimension. We generalize the concept of anchor elements known from the two-dimensional setting, extend existing concepts of…

Near-integrability is usually associated with smooth small perturbations of smooth integrable systems. Studying integrable mechanical Hamiltonian flows with impacts that respect the symmetries of the integrable structure provides an…

We construct Kn\"orrer type equivalences outside of the hypersurface case, namely, between singularity categories of cyclic quotient surface singularities and certain finite dimensional local algebras. This generalises Kn\"orrer's…

Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a…