Related papers: A note on purity of crystalline local systems

We discuss a formal system of mathematics. We use it to construct the natural numbers.

We present a general method for computing local parameterizations rooted at a point on a surface, where the surface is described only through a signed implicit function and a corresponding projection function. Using a two-stage process, we…

We used a collocation method in refinable spline space to solve a linear dynamical system having fractional derivative in time. The method takes advantage of an explicit derivation rule for the B-spline basis that allows us to efficiently…

Let $p$ be a prime number, and let $k$ be an algebraically closed field of characteristic $p$. We show that the tame fundamental group of a smooth affine curve over $k$ is a projective profinite group. We prove that the fundamental group of…

In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number…

This paper studies the derived de Rham cohomology of F_p and p-adic schemes, and is inspired by Beilinson's recent work. Generalising work of Illusie, we construct a natural isomorphism between derived de Rham cohomology and crystalline…

Let $X$ be an integral affine or projective scheme of finite presentation over a perfect field. We prove that $X$ admits a resolution, that is, there exists a smooth scheme $\widetilde X$ and a projective birational morphism from…

In this survey, we review how the global structure of the stable homotopy category gives rise to the chromatic filtration. We then discuss computational tools used in the study of local chromatic homotopy theory, leading up to recent…

Computer simulations of simple model systems for liquid crystals are briefly reviewed, with special emphasis on systems of ellipsoids. First, we give an overview over some of the most commonly studied systems (ellipsoids, Gay-Berne…

In this paper we study affine and bilinear systems on Lie groups. We show that there is an intrinsic connection between the solutions of both systems. Such relation allows us to obtain some preliminary controllability results of affne…

We study the local analytic classification of affine structures with logarithmic pole on complex surfaces. With this result in hand, we can get the local classification of the logarithmic parallelizable d-webs, d $\ge$ 3.

In this expository article, we will give an efficient functorial proof of the equivalence of various characterisations of purity in a finitely accessible additive category $\mathcal C$. The complications of the proofs for specific choices…

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

We prove that every finite direct product of crystallographic groups arising from an irreducible root system (in the sense of Lie theory) is profinitely rigid (equiv. first-order rigid). This is a generalization of recent proofs of…

We prove the cleanness of cuspidal character sheaves in the few cases where it was previously unknown.

By use of a natural extension map and a power series method, we obtain a local stability theorem for p-K\"ahler structures with the $(p,p+1)$-th mild $\partial\bar\partial$-lemma under small differentiable deformations.

We define a category of divided Dieudonn\'e crystals which classifies p-divisible groups over schemes in characteristic p with certain finiteness conditions, including all F-finite noetherian schemes. For formally smooth schemes or locally…

In this note we prove a decomposition related to the affine fundamental group and the projective fundamental group of a line arrangement and a reducible curve with a line component. We give some applications to this result.

Our purpose is to make a contribution to the foundation of the theory of formal scheme. We are interested particularly in non-Noetherian or non-adic formal schemes, which have been little studied. We redefine the formal scheme as a…

We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the…