Related papers: On singular supports in mixed characteristic
We develop a new symbolic-numeric algorithm for the certification of singular isolated points, using their associated local ring structure and certified numerical computations. An improvement of an existing method to compute inverse systems…
We study skew-products of the form $(x,u) \mapsto (fx, u + \varphi(x))$ where $f$ is a non-uniformly expanding map on a manifold $X$ and $\varphi: X \to \mathbb{S}^1$ is piecewise $\mathcal{C}^1$. If the systems satisfies mild assumptions…
Let S be a Dedekind scheme with field of functions K. We show that if X_K is a smooth connected proper curve of positive genus over K, then it admits a N\'eron model over S, i.e., a smooth separated model of finite type satisfying the usual…
To, say, a proper algebraic or holomorphic space $X/S$, and a coherent sheaf ${\mathcal F}$ on $X$ we identify a functorial ideal, the fitted flatifier, blowing up sequentially in which leads to a flattening of the proper transform of…
Let $A$ be an excellent two-dimensional normal local ring containing an algebraically closed field and let $X\to \mathrm{Spec} (A)$ be a resolution of singularity. We prove a theorem giving a condition under which the dimension of the…
We establish the existence theory of several commonly used finite element (FE) nonlinear fully discrete solutions, and the convergence theory of a linearized iteration. First, it is shown for standard FE, SUPG and edge-averaged method…
The paper explores the differential inclusion of a special form. It is supposed that the support function of the set in the right-hand side of an inclusion may contain the maximum of the finite number of continuously differentiable (in…
We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties. For arithmetic schemes we construct a reciprocity isomorphism between the integral singular…
We study the perturbed sine-Gordon equation $\theta_{tt}-\theta_{xx}+\sin \theta= F(\varepsilon,x)$, where we assume that the perturbation $F$ is analytic in $\varepsilon$ and that its derivatives with respect to $\varepsilon$ satisfy…
We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…
In this article, we introduce the idempotentization process, which bears some philosophical and mathematical similarities with modern analytification and tropicalization. Idempotentization associates to any affine scheme an idempotent…
We investigate a scheme-theoretic variant of Whitney condition a. If X is a projec-tive variety over the field of complex numbers and Y $\subset$ X a subvariety, then X satisfies generically the scheme-theoretic Whitney condition a along Y…
A singular (or Hermann) foliation on a smooth manifold $M$ can be seen as a subsheaf of the sheaf $\mathfrak{X}$ of vector fields on $M$. We show that if this singular foliation admits a resolution (in the sense of sheaves) consisting of…
Let $X$ be a locally Noetherian scheme with a closed subscheme $Z$. Let $\mathcal{X}$ be the completion of $X$ at $Z$, considered as a formal scheme. We show that a coherent sheaf on $X$ is equivalently given by a coherent sheaf on…
Let $Z$ be an affine algebraic variety and $X$ be a smooth flexible variety. We develop some criteria under which $Z$ admits a closed embedding into $X$. In particular, we show that if $X$ is isomorphic (as an algebraic variety) to a…
We establish existence, uniqueness and optimal regularity results for very weak solutions to certain nonlinear elliptic boundary value problems. We introduce structural asymptotic assumptions of Uhlenbeck type on the nonlinearity, which are…
In this paper we provide a new method to certify that a nearby polynomial system has a singular isolated root with a prescribed multiplicity structure. More precisely, given a polynomial system f $=(f\_1, \ldots, f\_N)\in C[x\_1, \ldots,…
On a complex symplectic manifold we prove a finiteness result for the global sections of solutions of holonomic DQ-modules in two cases: (a) by assuming that there exists a Poisson compactification (b) in the algebraic case. This extends…
We identify a class of singular algebraic foliations whose leaves through singular points retain regularity. The proof consists in showing existence of residual gerbes for certain formal stacks, which do not enjoy smooth presentations. As…
Building on Beilinson's work, ``constructible sheaves are holonomic,'' we introduce the notion of holonomicity for \'etale sheaves, without assuming a priori constructibility. Over a perfect base field, we establish the converse of…