Related papers: On log crystalline higher direct image
In this note, we derive a formula for the F-pure threshold of diagonal hypersurfaces over a perfect field of prime characteristic. We also calculate the associated test ideal at the F-pure threshold, and give formulas for higher jumping…
Our goal is to study $p$-adic local systems on a rigid-analytic variety with semistable formal model. We prove that such a local system is semistable if and only if so are its restrictions to the points corresponding to the irreducible…
An overview is given of recent advances in experimental and theoretical understanding of optical properties of ultra-thin crystal structures (graphene, phosphorene, silicene, MoS2, MoSe2 , WS2 , WSe2 , h-AlN, h-BN, fluorographene,…
Let $X$ be a smooth scheme over a finite field. It is conjectured that a convergent $F$-isocrystal on $X$ is overconvergent if its restriction to every curve contained in $X$ is overconvergent. Using the theory of \'etale and crystalline…
This article concerns properties of mixed $\ell$-adic complexes on varieties over finite fields, related to the action of the Frobenius automorphism. We establish a fiberwise criterion for the semisimplicity and Frobenius semisimplicity of…
In this article we prove the following boundedness result: Fix a DCC set $I\subset [0, 1]$. Let $\mathfrak{D}$ be the set of all log pairs $(X, \Delta)$ satisfying the following properties: (i) $X$ is a projective surface defined over an…
Molecular and polymeric crystals show a wide range of functional properties that arise from the interplay between the atomic-scale structure of their constituent molecules and the organization of these molecules within the crystal lattice…
X-ray crystallography (XC) is an experimental technique used to determine three-dimensional crystalline structures. The acquired data in XC, called diffraction patterns, is the Fourier magnitudes of the unknown crystalline structure. To…
We show an equivalence between the two categories in the title, thus establishing a link between Frobenius-linear objects of formal (schematic) and analytic (adic) nature. We will do this for arbitrary p-complete rings, arbitrary…
We first study hyperplane sections of some singular schemes over a field. We prove a Bertini theorem for the log smoothness of generic hyperplane sections of a large class of log smooth schemes over a log point. We also give an abstract…
We present the elementary properties of log canonical centers of log varieties.
Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin…
Liquid crystals are known for their optical birefringence, a property that gives rise to intricate patterns and colors when viewed in a microscope between crossed polarisers. Resulting images are rich in geometric patterns and serve as…
In this paper, we give the rigidity theorem for a log morphism as an extension of a fixed scheme morphism. We also give several applications of the rigidity theorem.
We introduce the notion of a relative log scheme with boundary: a morphism of log schemes together with a (log schematically) dense open immersion of its source into a third log scheme. The sheaf of relative log differentials naturally…
Syntomic cohomology here defined yields a link between rigid cohomology and etale cohomology, viewing the last one as the fixed points under Frobenius of the former one. Let V be a complete discrete valuation ring, with perfect residue…
We prove a direct image theorem stating that the direct image of a Galois formula by a morphism of difference schemes is equivalent to a Galois formula over fields with powers of Frobenius. As a consequence, we obtain an effective…
We study optical coefficients that characterize wave propagation through layered structures called plasmonic crystals. These consist of a finite number of stacked metallic sheets embedded in dielectric hosts with a subwavelength spacing. By…
We prove vanishing of the higher direct images of the structure (and the canonical) sheaf for a proper birational morphism with source a smooth variety and target the quotient of a smooth variety by a finite group of order prime to the…
Characterizing crystal structures and interfaces down to the atomic level is an important step for designing advanced materials. Modern electron microscopy routinely achieves atomic resolution and is capable to resolve complex arrangements…