Related papers: Functorial desingularization over Q: boundaries an…

We show that any stack $\mathfrak{X}$ of finite type over a Noetherian scheme has a presentation $X \rightarrow \mathfrak{X}$ by a scheme of finite type such that $X(F) \rightarrow \mathfrak{X}(F)$ is onto, for every finite or real closed…

Functorial semi-norms on singular homology measure the "size" of homology classes. A geometrically meaningful example is the $\ell^1$-semi-norm. However, the $\ell^1$-semi-norm is not universal in the sense that it does not vanish on as few…

We generalized the conventional concept of q-plate, allowing in its definition non linear functions of the azimuthal coordinate, and simulated the resulting fields of applying this kind of element to uniformly polarized input beams, both in…

We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of…

The paper concerns a certain subcategory of the category of representations for a semisimple algebraic group $G$ in characteristic $p$, which arise from the semisimple modules for the corresponding quantum group at a $p$-th root of unity.…

We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…

We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…

We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors,…

The aim of this paper is to develop and analyze numerical schemes for approximately solving the backward problem of subdiffusion equation involving a fractional derivative in time with order $\alpha\in(0,1)$. After using quasi-boundary…

We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of nonnegative integers whose equational theory has no finite axiomatisation, and show this also holds if…

This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…

We extend the definition of fundamental group scheme to non reduced schemes over any connected Dedekind scheme. Then we compare the fundamental group scheme of an affine scheme with that of its reduced part.

Let k be a commutative noetherian ring. We construct a strictly-functorial presheaf of small dg-categories over k on the category of k-schemes of finite type, which gives dg-enhancements of the derived categories of perfect complexes.

Grothendieck's formal functions theorem states that the coherent cohomology of a Noetherian scheme can be recovered from that of a blowup and the infinitesimal thickenings of the center and of the exceptional divisor of the blowup. In this…

We give a new proof of the simultaneous embedded local uniformization Theorem in zero characteristic for essentially of finite type rings and for quasi excellent rings. The results are a consequence of the simultaneaous monomialization…

Much of the analysis of F-theory-based Standard Models boils down to computing cohomologies of line bundles on matter curves. By varying parameters one can degenerate such matter curves to singular ones, typically with many nodes, where the…

This paper is concerned with the study of the fractional finite sums theory. We present the classes of functions for which it is possible to characterize the constant related to the derivative of fractional sums (denominated by essence of a…

We show that the classification of simple finite group schemes over an algebraically closed field reduces to the classification of abstract simple finite groups and of simple restricted Lie algebras in positive characteristic. Both these…

Let $k$ be a commutative Noetherian ring and $\underline{\mathscr{C}}$ be a locally finite $k$-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion…

We study a new class of functions that arise naturally in quaternionic analysis, we call them "quasi regular functions". Like the well-known quaternionic regular functions, these functions provide representations of the quaternionic…