Rigidity and Frobenius Structure

Richard M. Crew

DOI: https://doi.org/10.48550/arXiv.1606.02246

2016-12-15

Abstract:We show that an irreducible ordinary differential equation on the projective line has a Frobenius structure for a power of some prime p if it is rigid in the sense of Katz and satisfies some other reasonable (and necessary) conditions relative to the prime p.

Algebraic Geometry

What problem does this paper attempt to address?

Rigidity Theorems on Odd Dimensional Manifolds

Kefeng Liu,Yong Wang

DOI: https://doi.org/10.4310/pamq.2009.v5.n3.a7

2009-01-01

Pure and Applied Mathematics Quarterly

Abstract:We prove several rigidity theorems for elliptic genera associated to Toeplitz operators on odd dimensional spin manifolds. We also prove an equivariant odd index theorem for Dirac operators with involution parity and the Atiyah-Hirzebruch vanishing theorems for odd dimensional spin manifolds.
Rigidity of Euclidean product structure: breakdown for low Sobolev exponents

Bruce Kleiner,Stefan Müller,László Székelyhidi Jr.,Xiangdong Xie

DOI: https://doi.org/10.3934/cpaa.2024029

2024-04-23

Communications on Pure & Applied Analysis

Abstract:The purpose of this paper is twofold. First, we show that the results in a companion paper on product rigidity for maps in the Sobolev space are sharp with respect to . Specifically, we show that for all and all there exist maps such that the weak differential is invertible almost everywhere and preserves or reverses the product structure almost everywhere, but is not of the form or = . Secondly, we develop a general toolbox to study solutions of differential inclusions for unbounded sets . As an illustration we give short proofs of results by Astala et al. on optimal regularity for solutions of elliptic equations with measurable coefficients and results by Colombo and Tione on irregular solutions of the -Laplace equation.

mathematics, applied
Frobenius structure and $p$-adic zeta function

Frits Beukers,Masha Vlasenko

2023-11-15

Abstract:For differential operators of Calabi-Yau type, Candelas, de la Ossa and van Straten conjecture the appearance of $p$-adic zeta values in the matrix entries of their $p$-adic Frobenius structure expressed in the standard basis of solutions near a MUM-point. We prove that this phenomenon holds for simplicial and hyperoctahedral families of Calabi-Yau hypersurfaces in $n$ dimensions, in which case the Frobenius matrix entries are rational linear combinations of products of $\zeta_p(k)$ with $1 < k < n$.

Number Theory,Mathematical Physics,Algebraic Geometry
Frobenius rigidity in $\mathbb A^1$-homotopy theory

Timo Richarz,Jakob Scholbach

2024-04-05

Abstract:We study the homotopy fixed points under the Frobenius endomorphism on the stable $\mathbb A^1$-homotopy category of schemes in characteristic $p>0$ and prove a rigidity result for cellular objects in these categories after inverting $p$. As a consequence we determine the analogous fixed points on the $K$-theory of algebraically closed fields in positive characteristic. We also prove a rigidity result for the homotopy fixed points of the partial Frobenius pullback on motivic cohomology groups in weights at most $1$.

Algebraic Geometry
$p$-adic rigidity of eigenforms of infinite slope

Andrea Conti

2024-03-26

Abstract:We give a notion of $p$-adic families of Hecke eigenforms that allows for the slope of the forms be infinite at $p$. We prove that, contrary to the case of finite slope when every eigenform lives in a Hida or Coleman family, the only families of infinite slope are either twists of Hida or Coleman families with Dirichlet characters of $p$-power conductor, or non-ordinary families with complex multiplication. Our proof goes via a local study of deformations of potentially trianguline Galois representations, relying on work of Berger and Chenevier, and a global input coming from an analogue of a result of Balasubramanyam, Ghate and Vatsal on a Greenberg-type conjecture for families of Hilbert modular forms.

Number Theory
On rigidity of Pham-Brieskorn surfaces

Neena Gupta,Ananya Pal

2024-07-27

Abstract:It is well known that, over an algebraically closed field $k$ of characteristic zero, for any three integers $a,b,c\geq 2$, any Pham-Brieskorn surface $B_{(a,b,c)}:= k[X,Y,Z]/(X^a + Y^b + Z^c)$ is rigid when at most one of $a,b,c$ is 2 and stably rigid when $\frac{1}{a} + \frac{1}{b} + \frac{1}{c}\leq 1$. In this paper we consider Pham-Brieskorn domains over an arbitrary field $k$ of characteristic $p\geq 0$ and give sufficient conditions on $(a,b,c)$ for which any Pham-Brieskorn domain $B_{(a,b,c)}$ is rigid. This gives an alternative approach to showing that there does not exist any non-trivial exponential map on $k[X,Y,Z,T]/(X^mY+T^{p^rq} + Z^{p^e})= k[x,y,z,t]$, for $m,q>1$, $p\nmid mq$ and $e>r\geq 1$, fixing $y$, a crucial result used in the paper "On the cancellation problem for the affine space $\mathbb{A}^3$ in characteristic $p$" by first author, to show that the Zariski Cancellation Problem (ZCP) does not hold for the affine $3$-space. We also provide a sufficient condition for $B_{(a,b,c)}$ to be stably rigid. Along the way we prove that for integers $a,b,c\geq 2$ with $gcd(a,b,c) = 1$ and for $F(Y)\in k[Y]$, the ring $k[X,Y,Z]/(X^aY^b + Z^c+ F(Y))$ is a rigid domain.

Algebraic Geometry,Commutative Algebra
On obstructions to the Euler system method for Rankin-Selberg convolutions

Elie Studnia

2024-01-31

Abstract:To apply the Euler system method to a $p$-adic Galois representation $T$, one needs the existence of a $\sigma \in G_{\mathbb{Q}(\mu_{p^{\infty}})}$ such that $V/(\sigma-1)V$ is free of rank one over the coefficient ring: we say that such a $\sigma$ is an Euler-suitable element for $V$. Given a non-CM classical newform $f$ of weight $k \geq 2$ and character $\chi$, a classical newform $g$ of weight $1$ and character $\psi$, and a prime ideal $\mathfrak{p}$ of residue characteristic $p$ of a sufficiently large number field, we consider the situation where $V=V_{f,g,\mathfrak{p}}$ is the tensor product of the $\mathfrak{p}$-adic representations attached to $f$ and $g$. D. Loeffler asked the following question: is is true that if $\chi\psi \neq 1$, then there is an Euler-suitable element for $V_{f,g,\mathfrak{p}}$ for all but finitely many $\mathfrak{p}$? He gave a positive answer when $f,g$ had coprime conductors. We give several weaker sufficient conditions to answer this question in the affirmative. As an application, we remove some of the technical assumptions in the version of the Bloch-Kato Conjecture proved in

Number Theory
Rigidity of Ext and Tor via flat-cotorsion theory

Lars Winther Christensen,Luigi Ferraro,Peder Thompson

2023-09-19

Abstract:Let p be a prime ideal in a commutative noetherian ring R and denote by k(p) the residue field of the local ring R_p. We prove that if an R-module M satisfies Ext_R^n(k(p),M) = 0 for some n >= dim R, then Ext_R^i(k(p),M) = 0 holds for all i >= n. This improves a result of Christensen, Iyengar, and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is driven by the existence of minimal semi-flat-cotorsion replacements in the derived category as recently proved by Nakamura and Thompson.

Commutative Algebra
Rigidity and a Riemann–Hilbert Correspondence for P-Adic Local Systems

Ruochuan Liu,Xinwen Zhu

DOI: https://doi.org/10.1007/s00222-016-0671-7

IF: 3.128

2016-01-01

Inventiones mathematicae

Abstract:We construct a functor from the category of p-adic etale local systems on a smooth rigid analytic variety X over a p-adic field to the category of vector bundles with an integrable connection over its "base change to B_dR", which can be regarded as a first step towards the sought-after p-adic Riemann-Hilbert correspondence. As a consequence, we obtain the following rigidity theorem for p-adic local systems on a connected rigid analytic variety: if the stalk of such a local system at one point, regarded as a p-adic Galois representation, is de Rham in the sense of Fontaine, then the stalk at every point is de Rham. Along the way, we also establish some basic properties of the p-adic Simpson correspondence. Finally, we give an application of our results to Shimura varieties.
A Note on Irregular Prime Polynomials in Cyclotomic Function Field Theory

KQ FENG

DOI: https://doi.org/10.1016/0022-314x(86)90071-5

IF: 0.679

1986-01-01

Journal of Number Theory

Abstract:Let r = pλ, K = Fr(t), f be an irreducible monic polynomial in Fr[t], K(Λf) the cyclotomic function field with conductor f, hf+ the class number of the maximal “real” subfield of K(Λf), hf− the relative class number of K(Λf). The main results in this note are that (1) for each r = pλ > 2 there exist infinitely many irreducible monic polynomials f ∈ Fr[t] with p|hf−; (2) for each r = pλ there exist infinitely many irreducible monic polynomials f ∈ Fr[t] with p|hf+.
Lüroth's theorem for fields of rational functions in infinitely many permuted variables

M.Rovinsky

2024-08-08

Abstract:Lüroth's theorem describes the dominant maps from rational curves over a field. In this note we study the dominant maps from cartesian powers $X^{\Psi}$ of absolutely irreducible varieties $X$ over a field $k$ for infinite sets $\Psi$ that are equivariant with respect to all permutations of the factors $X$. At least some of such maps arise as compositions $h:X^{\Psi}\xrightarrow{f^{\Psi}}Y^{\Psi}\to H\backslash Y^{\Psi}$, where $X\xrightarrow{f}Y$ is a dominant $k$-map and $H$ is an automorphism group $H$ of $Y|k$, acting diagonally on $Y^{\Psi}$. In characteristic 0, we show that this construction, when properly modified, gives all dominant equivariant maps from $X^{\Psi}$, if $\dim X=1$. For arbitrary $X$, the results are only partial. In a subsequent paper, the `quasicoherent' equivariant sheaves on the targets of such $h$'s will be studied. Some preliminary results have already appeared in arXiv:math/<a class="link-https" data-arxiv-id="2205.15144" href="https://arxiv.org/abs/2205.15144">2205.15144</a>. A somewhat similar problem is to check, whether the irreducible invariant subvarieties of $X^{\Psi}$ arise as pullbacks under $f^{\Psi}$ (for appropriate $f$'s) of subvarieties of $Y$ diagonally embedded into $Y^{\Psi}$. This would be a complement to the famous theorem of D.E.Cohen on the noetherian property of the symmetric ideals. We show that this is the case if $\dim X=1$.

Algebraic Geometry,Representation Theory
Chern class obstructions to smooth equivariant rigidity

Oliver H. Wang

2023-10-14

Abstract:By work of Kirby-Siebenmann \cite{KirbySiebenmann} and Kervaire-Milnor \cite{KervaireMilnor}, there are only finitely many smooth manifolds homeomorphic to a given closed topological manifold. A construction involving Whitehead torsion shows this is not the case equivariantly for smooth finite group actions on a product $M\times I$ (see \cite[p. 262-266]{BrowderHsiangProblem}). When $2$ has odd order in $\left(\mathbb{Z}/p\mathbb{Z}\right)^\times$, Schultz \cite{SchultzSpherelike} uses a different method involving the Atiyah-Singer index theorem and computations of Ewing \cite{EwingSpheresAsFPSets} to show that there are infinitely many equivariant smooth structures for certain actions of $G=\mathbb{Z}/p\mathbb{Z}$ on even dimensional spheres with fixed point set $S^2$. These examples are constructed by finding infinitely many $G$-vector bundles over $S^2$ with vanishing Atiyah-Singer class and using these vector bundles to replace the normal bundle of $S^2\subseteq S^{2n}$. We analyze when a manifold supports infinitely many $G$-vector bundles with vanishing Atiyah-Singer class and show that Schultz's examples of exotic equivariant manifolds can be extended to much greater generality. As a consequence, we see that, for infinitely many primes $p$, there are infinitely many stable $G$-smoothings of a smooth $G$-manifold in the sense of Lashof \cite{LashofStableGSmoothing} whenever the fixed set has nonzero second rational cohomology.

Geometric Topology
Rigidity for Real Polynomials

O. Kozlovski,W. Shen,S. Van Strien

DOI: https://doi.org/10.4007/annals.2007.165.749

IF: 4.795

2007-01-01

Annals of Mathematics

Abstract:We prove the topological (or combinatorial) rigidity property for real polynomials with all critical points real and nondegenerate, which completes the last step in solving the density of Axiom A conjecture in real one-dimensional dynamics.
Rigidity Theorems of Clifford Torus

Zhang Yuntao

DOI: https://doi.org/10.1016/s0252-9602(10)60086-0

2010-01-01

Abstract:In this article, we prove that the Clifford torus S-1(root 1-r(2)) x Sn-1(r) is the only closed hypersurface in the unit sphere Sn+1(1) with infinite fundamental group, which satisfy r(2) >= (n-1)/n, Ric(M) <= C_(H), and S <= S + (H). Moreover, we give a characterization of Clifford torus S-1(root 1-r(2)) x Sn-1 (r) with r(2) = 2(n-1)+nH(2)+/-vertical bar H vertical bar root n(2)H(2)+4(n-1)/2n(1+H-2).
On p-torsions of geometric Brauer groups

Zhenghui Li,Yanshuai Qin,with an appendix by Veronika Ertl

2024-09-14

Abstract:Let $X$ be a smooth projective integral variety over a finitely generated field $k$ of characteristic $p>0$. We show that the finiteness of the exponent of the $p$-primary part of $\mathrm{Br}(X_{k^s})^{G_k}$ is equivalent to the Tate conjecture for divisors, generalizing D'Addezio's theorem for abelian varieties to arbitrary smooth projective varieties. In combination with the Leray spectral sequence for rigid cohomology derived from the Berthelot conjecture recently proved by Ertl-Vezzani, we show that the cokernel of $\mathrm{Br}_{\mathrm{nr}}(K(X)) \rightarrow \mathrm{Br}(X_{k^s})^{G_k}$ is of finite exponent. This completes the $p$-primary part of the generalization of Artin-Grothendieck's theorem on relations between Brauer groups and Tate-Shafarevich groups to higher relative dimensions.

Algebraic Geometry
Modular self-organization

Bruno Scherrer

DOI: https://doi.org/10.48550/arXiv.cs/0609142

2006-09-26

Abstract:The aim of this paper is to provide a sound framework for addressing a difficult problem: the automatic construction of an autonomous agent's modular architecture. We combine results from two apparently uncorrelated domains: Autonomous planning through Markov Decision Processes and a General Data Clustering Approach using a kernel-like method. Our fundamental idea is that the former is a good framework for addressing autonomy whereas the latter allows to tackle self-organizing problems.

Artificial Intelligence
On the Rigidity of $\mathbb{CP}^{2n}\times \mathbb{CP}^{1}$

Stuart James Hall

2024-08-30

Abstract:We revisit Koiso's original examples of rigid infinitesimally deformable Einstein metrics. We show how to compute Koiso's obstruction to the integrability of the infinitesimal deformations on $\mathbb{CP}^{n}\times \mathbb{CP}^{1}$ using completely elementary complex differential geometry.

Differential Geometry
The asymptotic Hecke algebra and rigidity

Stefan Dawydiak

2024-08-17

Abstract:We reprove the surjectivity statement of Braverman-Kazhdan's spectral description of Lusztig's asymptotic Hecke algebra $J$ in the context of $p$-adic groups. The proof is based on Bezrukavnikov-Ostrik's description of $J$ in terms of equivariant $K$-theory. As a porism, we prove that the action of $J$ extends from the non-strictly positive unramified characters to the complement of a finite union of divisors, and that the trace pairing between the Ciubotaru-He rigid cocentre of an affine Hecke algebra with equal parameters and the rigid quotient of its Grothendieck group is perfect whenever the parameter $q$ is not a root of the Poincaré polynomial of the finite Weyl group. Without recourse to $K$-theory, we prove a weak version of Xi's description of $J$ in type $A$. As an application of relationship between $J$ and the rigid cocentre, we prove that if the formal degree of a unipotent discrete series representation of a connected reductive $p$-adic group $G$ with a split inner form has denominator dividing the Poincaré polynomial of the Weyl group of $G$. Additionally, we give formulas for $t_w$ in terms of inverse and spherical Kazhdan-Lusztig polynomials for $w$ in the lowest cell.

Representation Theory
Restricting Rational Modules to Frobenius Kernels

Christopher P. Bendel,Daniel K. Nakano,Cornelius Pillen,Paul Sobaje

2024-05-07

Abstract:Let $G$ be a connected reductive group over an algebraically closed field of characteristic $p>0$. Given an indecomposable G-module $M$, one can ask when it remains indecomposable upon restriction to the Frobenius kernel $G_r$, and when its $G_r$-socle is simple (the latter being a strictly stronger condition than the former). In this paper, we investigate these questions for $G$ having an irreducible root system of type A. Using Schur functors and inverse Schur functors as our primary tools, we develop new methods of attacking these problems, and in the process obtain new results about classes of Weyl modules, induced modules, and tilting modules that remain indecomposable over $G_r$.

Representation Theory,Group Theory

Rigidity and Frobenius Structure

Rigidity Theorems on Odd Dimensional Manifolds

Rigidity of Euclidean product structure: breakdown for low Sobolev exponents

Frobenius structure and $p$-adic zeta function

Frobenius rigidity in $\mathbb A^1$-homotopy theory

$p$-adic rigidity of eigenforms of infinite slope

On rigidity of Pham-Brieskorn surfaces

On obstructions to the Euler system method for Rankin-Selberg convolutions

Rigidity of Ext and Tor via flat-cotorsion theory

Rigidity and a Riemann–Hilbert Correspondence for P-Adic Local Systems

A Note on Irregular Prime Polynomials in Cyclotomic Function Field Theory

Lüroth's theorem for fields of rational functions in infinitely many permuted variables

Chern class obstructions to smooth equivariant rigidity

Rigidity for Real Polynomials

Rigidity Theorems of Clifford Torus

On p-torsions of geometric Brauer groups

Modular self-organization

On the Rigidity of $\mathbb{CP}^{2n}\times \mathbb{CP}^{1}$

The asymptotic Hecke algebra and rigidity

Restricting Rational Modules to Frobenius Kernels