Related papers: A note on purity of crystalline local systems
In the present paper, we study a purely inseparable counterpart of Abhyankar's conjecture for the affine line in positive characteristic, and prove its validity for all the finite local non-abelian simple group schemes in characteristic…
We derive a canonical form for smooth vector fields on $\Re^{n+1}$. We use this to demonstrate the local multi-Hamiltonian nature of the corresponding flows. Associated with the canonical form is an inhomogenious linear PDE whose solutions…
We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.
I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian…
We exhibit a general procedure to purify any given ensemble by identifying an appropriate interaction between the physical system S of the ensemble and the reference system K. We show that the interaction can be chosen in such a way to lead…
We determine for which known finite simple groups $G$ and which primes $p$ the $p$-fusion system of $G$ is simple. This means first collecting together the results that were already known (and correcting two errors made in an earlier study…
We have developed an efficient and reliable methodology for crystal structure prediction, merging ab initio total-energy calculations and a specifically devised evolutionary algorithm. This method allows one to predict the most stable…
In this paper, we define and construct canonical filtered $F$-crystals with $G$-structure over the integral models for Shimura varieties of abelian type at hyperspecial level defined by Kisin. We check that these are related by $p$-adic…
A combination of implicit and explicit timestepping is analyzed for a system of ODEs motivated by ones arising from spatial discretizations of evolutionary partial differential equations. Loosely speaking, the method we consider is implicit…
We present a new mimetic finite difference method for diffusion problems that converges on grids with \textit{curved} (i.e., non-planar) faces. Crucially, it gives a symmetric discrete problem that uses only one discrete unknown per curved…
We present a tensor-based finite element scheme for a smectic-A liquid crystal model. We propose a simple C\'ea-type finite element projection in the linear case and prove its quasi-optimal convergence. Special emphasis is put on the…
By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of continuous logic. Affine arithmetic is undecidable. Also, its…
In this paper, we consider numerical approximations for the model of smectic-A liquid crystal flows. The model equation, that is derived from the variational approach of the de Gennes free energy, is a highly nonlinear system that couples…
The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer \'etale and pro-Kummer \'etale topologies on log adic spaces. In particular, we show that log adic spaces…
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…
For an analytic differential system in $\mathbb R^n$ with a periodic orbit, we will prove that if the system is analytically integrable around the periodic orbit, i.e. it has $n-1$ functionally independent analytic first integrals defined…
We first develop some basic facts about certain sorts of rigid local systems on the affine line in characteristic $p>0$. We then apply them to exhibit a number of rigid local systems of rank $23$ on the affine line in characteristic $p=3$…
We present a new probabilistic symbolic algorithm that, given a variety defined in an n-dimensional affine space by a generic sparse system with fixed supports, computes the Zariski closure of its projection to an l-dimensional coordinate…
Among the various critical systems that worth to be formally analyzed, a wide set consists of controllers for dynamical systems. Those programs typically execute an infinite loop in which simple com putations update internal states and…
We present a strategy for solving time-dependent problems on grids with local refinements in time using different time steps in different regions of space. We discuss and analyze two conservative approximations based on finite volume with…