English
Related papers

Related papers: A note on effective descent for overconvergent iso…

200 papers

A field extension $L/K$ of characteristic $p > 0$ is formally \'etale if and only if the relative Frobenius of $L/K$ is an isomorphism. Inspired by this classical result, we explore whether the formally \'etale property for a map $R \to S$…

Commutative Algebra · Mathematics 2025-12-16 Rankeya Datta , Noah Olander

Proper continued fractions are generalized continued fractions with positive integer numerators $a_i$ and integer denominators with $b_i\geq a_i$. In this paper we study the strength of approximation of irrational numbers to their…

Dynamical Systems · Mathematics 2024-12-09 Niels Langeveld , David Ralston

Let F be a totally real field and p a rational prime unramified in F. We prove a partial classicality theorem for overconvergent Hilbert modular forms: when the slope is small compared to certain but not all weights, an overconvergent form…

Number Theory · Mathematics 2022-05-31 Chi-Yun Hsu

The descent set of an oscillating (or up-down) tableau is introduced. This descent set plays the same role in the representation theory of the symplectic groups as the descent set of a standard tableau plays in the representation theory of…

Combinatorics · Mathematics 2013-10-01 Martin Rubey , Bruce Sagan , Bruce W. Westbury

In differential geometry, the existence of pullbacks is a delicate matter, since the category of smooth manifolds does not admit all of them. When pullbacks are required, often submersions are employed as an ideal class of maps which…

Category Theory · Mathematics 2025-03-03 Geoffrey Cruttwell , Marcello Lanfranchi

Given an exact functor between triangulated categories which admits both adjoints and whose cotwist is either zero or an autoequivalence, we show how to associate a unique full triangulated subcategory of the codomain on which the functor…

Category Theory · Mathematics 2020-07-08 Andreas Hochenegger , Ciaran Meachan

We prove a general version of the classical Perron-Frobenius convergence property for reducible matrices. We then apply this result to reducible substitutions and use it to produce limit frequencies for factors and hence invariant measures…

Dynamical Systems · Mathematics 2019-07-17 Martin Lustig , Caglar Uyanik

We systematically investigate the functors between sites which induce morphisms of relative toposes. In particualar, we establish a relative version of Diaconescu's theorem, characterizing the relative geometric morphisms towards a relative…

Algebraic Geometry · Mathematics 2023-11-01 Léo Bartoli , Olivia Caramello

Let $p$ be a prime number. We define the notion of $F$-finiteness of homomorphisms of $\mathbb F_p$-algebras, and discuss some basic properties. In particular, we prove a sort of descent theorem on $F$-finiteness of homomorphisms of…

Commutative Algebra · Mathematics 2012-03-20 Mitsuyasu Hashimoto

Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and…

Algebraic Geometry · Mathematics 2026-04-28 Lingguang Li , Niantao Tian

We investigate the behavior of Castelnuovo-Mumford regularity with respect to some classical functors : Tor, the Frobenius functor in positive characteristic, taking a power or a product (on ideals). These generalizes and refines previous…

Commutative Algebra · Mathematics 2007-06-20 Marc Chardin

This work investigates the Frobenius morphism on derived categories associated with algebraic stacks in positive characteristic. Particularly, we show that in many cases sufficiently many Frobenius pushforwards of a compact generator…

Algebraic Geometry · Mathematics 2025-12-19 Pat Lank , Fei Peng

In arXiv:2007.14415 we proved that the "flop-flop" autoequivalence can be realized as the spherical twist around a spherical functor whose source category arises naturally from the geometry. In this companion paper we study in detail some…

Algebraic Geometry · Mathematics 2021-11-03 Federico Barbacovi

By a closure space we will mean a pair $(A,\mathcal{C})$, in which $A$ is a set and $\mathcal{C}$ a set of subsets of $A$ closed under arbitrary intersections. The purpose of this paper is to initiate a development of descent theory of…

Category Theory · Mathematics 2023-10-26 George Janelidze , Manuela Sobral

Fractional derivatives are a well-studied generalization of integer order derivatives. Naturally, for optimization, it is of interest to understand the convergence properties of gradient descent using fractional derivatives. Convergence…

Optimization and Control · Mathematics 2024-06-05 Ashwani Aggarwal

This paper is a complement to the paper "On $p$-adic differential equations on semistable varieties" written by V. Di Proietto. Given an open variety over a DVR with semistable reduction, the author constructed in that paper a fully…

Number Theory · Mathematics 2014-02-05 Valentina Di Proietto , Atsushi Shiho

This article is the first one of a series of three articles devoted to L-functions. In this one we give a definition of the L-functions of convergent or overconvergent F-modules with the help of Teichm\"uller liftings and we establish the…

Algebraic Geometry · Mathematics 2010-12-17 Jean-Yves Etesse

We use the notion of universal extension in a linear abelian category to study extensions of variations of mixed Hodge structure and convergent and overconvergent isocrystals. The results we obtain apply, for example, to prove the exactness…

Algebraic Geometry · Mathematics 2023-07-25 Marco D'Addezio , Hélène Esnault

For every adjunction of stable $\infty$-categories -- or more generally, in any locally stable $(\infty,2)$-category -- we give a simple procedure for inverting the twist and cotwist functors associated to this adjunction. As a consequence,…

Category Theory · Mathematics 2026-05-15 Fernando Abellán , Jonte Gödicke

Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational…

Number Theory · Mathematics 2015-06-02 Patrick Cégielski , Serge Grigorieff , Irène Guessarian