We introduce the notion of completed F-crystals on the absolute prismatic site of a smooth p-adic formal scheme. We define a functor from the category of completed prismatic F-crystals to that of crystalline étale Zp-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a complete discrete valuation ring with perfect residue field.

Powersum varieties, also called varieties of sums of powers, have provided examples of interesting relations between varieties since their first appearance in the 19th century. One of the most useful tools to study them is apolarity, a notion originally related to the action of differential operators on the polynomial ring. In this work, we make explicit how one can see apolarity in terms of the Cox ring of a variety. In this way, powersum varieties are a special case of varieties of apolar schemes; we explicitly describe examples of such varieties in the case of two toric surfaces, when the Cox ring is particularly well-behaved.

Abstract Kontsevich and Soibelman defined DonaldsonThomas invariants of a 3d CalabiYau category equipped with a stability condition [41]. Any cluster variety gives rise to a family of such categories. Their DT invariants are encapsulated in a single formal automorphism of the cluster variety, called the DT-transformation. Given a stability condition, the DT-transformation allows to recover the DT-invariants. Let S be an oriented surface with punctures and a finite number of special points on the boundary, considered modulo isotopy. It gives rise to a moduli space X P G L m, S, closely related to the moduli space of P G L m-local systems on S, which carries a canonical cluster Poisson variety structure [13]. For each puncture of S, there is a birational Weyl group action on the space X P G L m, S. We prove that it is given by cluster Poisson transformations. We prove a similar result for the involution of X P G L m, S

No abstract uploaded!

Theorem 1. Let D be an irreducible bounded symmetric domain in C', n>= 2. Let F be a (nonuniform) lattice in Aut (D), ie a discrete subgroup of Aut (D) for which N:= D/F (is noncompact and) has. finite volume (wrt the locally symmetric metric induced from D). Suppose that a group F isomorphic to F (as an abstract group) acts as a discrete automorphism group on a contractible K (ihler manifold tVI. Assume that lQ/f has a finite singularity free cover M (ie M is a manifold) which is quasiprojective ie admits a compactification as a projective variety IVI and that~ I\M is of codimension at least three in~ l. Then] Q is biholomorphically equivalent to D, and f is conjugate to F in Aut (D).