相关论文: Crystalline boundedness principle

Let F = F_p for any fixed prime p >= 2. An affine-invariant property is a property of functions on F^n that is closed under taking affine transformations of the domain. We prove that all affine-invariant property having local…

Consider a smooth quasiprojective variety X equipped with a C*-action, and a regular function f: X -> C which is C*-equivariant with respect to a positive weight action on the base. We prove the purity of the mixed Hodge structure and the…

Using the wonderful compactification of a semisimple adjoint affine algebraic group G defined over an algebraically closed field k of arbitrary characteristic, we construct a natural compactification Y of the G-character variety of any…

Denote by $\mathfrak{o}$ the valuation ring of a non-Archimedean local field with prime ideal $\mathfrak{p}$ and finite residue field, and let $r\geq 1$ be an integer. We prove that for every smooth affine group scheme $G$ over…

Let $\mathfrak g$ be an affine Lie algebra with index set $I = \{0, 1, 2, \cdots , n\}$. It is conjectured in \cite{KNO} that for each Dynkin node $k \in I \setminus \{0\}$ the affine Lie algebra $\mathfrak g$ has a positive geometric…

Let $F$ be a Bedford-McMullen carpet defined by independent exponents. We prove that $\overline{\dim}_B (\ell \cap F) \leq \max \lbrace \dim^* F -1,0 \rbrace$ for all lines $\ell$ not parallel to the principal axes, where $\dim^*$ is…

In this note, we prove that given a smooth proper family over a $p$-adic ring of integers, one gets a control of its crystalline torsion in terms of its \'{e}tale torsion, the cohomological degree, and the ramification. Our technical core…

For a one-parameter degeneration of reduced compact complex analytic spaces of dimension $n$, we prove the invariance of the frontier Hodge numbers $h^{p,q}$ (that is, with $pq(n{-}p)(n{-}q)=0$) for the intersection cohomology of the fibers…

We consider generalisations of the elliptic Calogero--Moser systems associated to complex crystallographic groups in accordance to [1]. In our previous work [2], we proposed these systems as candidates for Seiberg--Witten integrable systems…

Let $\mathcal{M}$ be the Artin-Mumford curve over the finite prime field $\mathbb{F}_p$ with $p>2$. By a result of Valentini and Madan, $\mbox{Aut}_{\mathbb{F}_p}(\mathcal{M})\cong H$ with $H=(C_p\times C_p)\rtimes D_{p-1}$. We prove that…

Let $\mathcal{O}_{K}$ be a complete discrete valuation ring of mixed characteristic with perfect residue field, endowed with its canonical log-structure. We prove that log $p$-divisible groups over $\mathcal{O}_{K}$ correspond to…

Let $X$ be a smooth proper variety over an algebraically closed field of positive characteristic $p$. We find cohomological conditions for the Artin-Mazur formal group functors $\Phi^{i}(X,\mathbb{G}_m)$ to be formally smooth. We show that…

In this paper we study boundedness of bundle diffeomorphism groups over a circle. For a fiber bundle $\pi : M \to S^1$ with fiber $N$ and structure group $\Gamma$ and $r \in {\Bbb Z}_{\geq 0} \cup \{ \infty \}$ we distinguish an integer $k…

We study the rational homology of the Deligne--Mumford compactification $\overline{\mathcal M}_{g,n}$ of the moduli space of stable curves via a family of Morse functions, namely the $\text{sys}_T$ functions. Exploiting the geometric and…

Let $M$ be a smooth compact surface, orientable or not, with boundary or without it, $P$ either the real line $R^1$ or the circle $S^1$, and $Diff(M)$ the group of diffeomorphisms of $M$ acting on $C^{\infty}(M,P)$ by the rule $h\cdot…

We establish the following Hadamard--Stoker type theorem: Let $f:M^n\rightarrow\mathscr{H}^n\times\mathbb R$ be a complete connected hypersurface with positive definite second fundamental form, where $\mathscr H^n$ is a Hadamard manifold.…

We consider local CR-immersions of a strictly pseudoconvex real hypersurface $M\subset\bC^{n+1}$, near a point $p\in M$, into the unit sphere $\mathbb S\subset\bC^{n+d+1}$ with $d>0$. Our main result is that if there is such an immersion…

We establish uniform bounds on the multiplicities of irreducible admissible representations appearing in spaces of functions on symmetric spaces over $p$-adic fields. These multiplicities can exceed one and depend intricately on the group,…

We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e.…

Let $C$ be a complex affine reduced curve, and denote by $H^1(C)$ its first truncated cohomology group, i.e. the quotient of all regular differential 1-forms by exact 1-forms. First we introduce a nonnegative invariant $\mu'(C,x)$ that…