Related papers: Logarithmic Crystalline Representations

Crystallographic groups describe the symmetries of crystals and other repetitive structures encountered in nature and the sciences. These groups include the wallpaper and space groups. We derive linear and nonlinear representations of…

Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…

In his foundational study of $p$-adic Hodge theory, Faltings introduced the method of almost \'etale extensions to establish fundamental comparison results of various $p$-adic cohomology theories. Scholze introduced the tilting operations…

The categories of almost modules and almost algebras are introduced as a convenient setting for the development of Faltings' method of almost etale extensions. After some preliminaries of general "almost homological algebra" we construct…

We apply the crystal basis theory for Fock spaces over quantum affine algebras to the modular representations of the cyclotomic Hecke algebras of type $G(p,p,n)$. This yields a classification of simple modules over these cyclotomic Hecke…

This article investigates the relationship between Betti numbers of finitely generated modules over a Noetherian local ring $(R, \mathfrak{m})$ and the structure of formal local cohomology modules. We establish a connection between the…

In this paper, we consider the (crystalline) prismatic crystals on a scheme $\mathfrak{X}$. We classify the crystals by $p$-connections on a certain ring and prove a cohomological comparison theorem. This equivalence is more general than…

This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared…

This paper provides the technical tools needed in ongoing work of the authors to compute p-adic \'etale Abel-Jacobi maps in order to obtain explicit reciprocity laws for GSp4. In particular, we define and study syntomic polynomial…

Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library…

We introduce a fermionic formula associated with any quantum affine algebra U_q(X^{(r)}_N). Guided by the interplay between corner transfer matrix and Bethe ansatz in solvable lattice models, we study several aspects related to…

We review some recent advances in modular representation theory of symmetric groups and related Hecke algebras. We discuss connections with Khovanov-Lauda-Rouquier algebras and gradings on the blocks of the group algebras $F\Sigma_n$, which…

In this paper we will introduce a certain type of morphisms of log schemes (in the sense of Fontaine, Illusie, and Kato) and investigate their moduli. Then by applying this we define a notion of toric algebraic stacks over arbitrary…

We prove that both local Galois representations and $(\varphi,\Gamma)$-modules can be recovered from prismatic F-crystals, from which we obtain a new proof of the equivalence of Galois representations and $(\varphi,\Gamma)$-modules.

We obtain a canonical representation for block matrices. The representation facilitates simple computation of the determinant, the matrix inverse, and other powers of a block matrix, as well as the matrix logarithm and the matrix…

We prove that algebraic de Rham cohomology as a functor defined on smooth $\mathbb{F}_p$-algebras is formally \'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline…

We define and study "tautological classes" in the cohomology of moduli stacks of shtukas, pursuing two directions of applications. First, we prove a formula relating the "arithmetic volume" of tautological classes to higher derivatives of…

This is a survey on recent developments in Cohen-Macaulay representations via tilting and cluster tilting theory. We explain triangle equivalences between the singularity categories of Gorenstein rings and the derived (or cluster)…

We develop the foundations of logarithmic structures beyond the standard finiteness conditions. The motivation is the study of semistable models over general valuation rings. The key new notion is that of a morphism of finite presentation…

Generators and relations are given for the subalgebra of cocommutative elements in the quantized coordinate rings of the classical groups, where the deformation parameter q is transcendental. This is a ring theoretic formulation of the well…