Showing 1–10 of 10 results for author: Otabe, S

Class field theory for function fields and finite abelian torsors

Authors: Bryden Cais, Shusuke Otabe

Abstract: Let $U$ be a smooth and connected curve over an algebraically closed field of positive characteristic, with smooth compactification $X$. We generalize classical Geometric Class Field theory to provide a classification of fppf $G$-torsors over $U$ in terms of isogenies of generalized Jacobians, for any finite abelian group scheme $G$. We then apply this classification to give a novel description of… ▽ More Let $U$ be a smooth and connected curve over an algebraically closed field of positive characteristic, with smooth compactification $X$. We generalize classical Geometric Class Field theory to provide a classification of fppf $G$-torsors over $U$ in terms of isogenies of generalized Jacobians, for any finite abelian group scheme $G$. We then apply this classification to give a novel description of the abelianized Nori fundmental group scheme of $U$ in terms of the Serre--Oort fundamental groups of generalized Jacobians of $X$; when $U=X$ is projective, we recover a well known description of the abelianized fundamental group scheme of $X$ as the projective limit of all torsion subgroup schemes of its Jacobian. △ Less

Submitted 3 July, 2025; originally announced July 2025.

MSC Class: 14H30; 14H40; 14L15

On retract rationality for finite connected group schemes

Authors: Shusuke Otabe

Abstract: In the present paper, we prove the retract rationality of the classifying spaces $BG$ for several types of finite connected group schemes $G$ over algebraically closed fields of positive characteristic $p>0$. In particular, we prove the retract rationality for the finite simple group schemes $G$ associated with the generalized Witt algebras in specific cases. To this end, we study the automorphism… ▽ More In the present paper, we prove the retract rationality of the classifying spaces $BG$ for several types of finite connected group schemes $G$ over algebraically closed fields of positive characteristic $p>0$. In particular, we prove the retract rationality for the finite simple group schemes $G$ associated with the generalized Witt algebras in specific cases. To this end, we study the automorphism group schemes of the generalized Witt algebras and establish triangulations for them. Moreover, we extend the notion of Witt--Ree algebra to general base rings and discuss their properties. △ Less

Submitted 21 February, 2025; v1 submitted 13 September, 2024; originally announced September 2024.

Comments: Revised based on the reviewers' comments

Journal ref: Transformation Groups (2025)

Unramified logarithmic Hodge-Witt cohomology and $\mathbb{P}^1$-invariance

Authors: Wataru Kai, Shusuke Otabe, Takao Yamazaki

Abstract: Let $X$ be a smooth proper variety over a field $k$ and suppose that the degree map $\mathrm{CH}_0(X \otimes_k K) \to \mathbb{Z}$ is isomorphic for any field extension $K/k$. We show that $G(\mathrm{Spec} k) \to G(X)$ is an isomorphism for any $\mathbb{P}^1$-invariant Nisnevich sheaf with transfers $G$. This generalize a result of Binda-Rülling-Saito that proves the same conclusion for reciprocity… ▽ More Let $X$ be a smooth proper variety over a field $k$ and suppose that the degree map $\mathrm{CH}_0(X \otimes_k K) \to \mathbb{Z}$ is isomorphic for any field extension $K/k$. We show that $G(\mathrm{Spec} k) \to G(X)$ is an isomorphism for any $\mathbb{P}^1$-invariant Nisnevich sheaf with transfers $G$. This generalize a result of Binda-Rülling-Saito that proves the same conclusion for reciprocity sheaves. We also give a direct proof of the fact that the unramified logarithmic Hodge-Witt cohomology is a $\mathbb{P}^1$-invariant Nisnevich sheaf with transfers. △ Less

Submitted 8 September, 2021; v1 submitted 16 May, 2021; originally announced May 2021.

Comments: 19 pages. The introduction and the proof of Proposition 6.1 are largely modified

MSC Class: 14C15; 14M20

On the mod $p$ unramified cohomology of varieties having universally trivial Chow group of zero-cycles

Authors: Shusuke Otabe

Abstract: Auel-Bigazzi-Böhning-Graf von Bothmer proved that if a proper smooth variety $X$ over a field $k$ of characteristic $p>0$ has universally trivial Chow group of $0$-cycles, the cohomological Brauer group of $X$ is universally trivial as well. In this paper, we generalize their argument to arbitrary unramified mod $p$ étale motivic cohomology groups. We also see that the properness assumption on the… ▽ More Auel-Bigazzi-Böhning-Graf von Bothmer proved that if a proper smooth variety $X$ over a field $k$ of characteristic $p>0$ has universally trivial Chow group of $0$-cycles, the cohomological Brauer group of $X$ is universally trivial as well. In this paper, we generalize their argument to arbitrary unramified mod $p$ étale motivic cohomology groups. We also see that the properness assumption on the variety $X$ can be dropped off by using the Suslin homology together with a certain tame subgroup of the unramified cohomology group. △ Less

Submitted 25 January, 2022; v1 submitted 8 October, 2020; originally announced October 2020.

Comments: Revised following referee's comments

A generalized Abhyankar's conjecture for simple Lie algebras in characteristic $p>5$

Authors: Shusuke Otabe, Fabio Tonini, Lei Zhang

Abstract: In the present paper, we study a purely inseparable counterpart of Abhyankar's conjecture for the affine line in positive characteristic, and prove its validity for all the finite local non-abelian simple group schemes in characteristic $p>5$. The crucial point is how to deal with finite local group schemes which cannot be realized as the Frobenius kernel of a smooth algebraic group. Such group sc… ▽ More In the present paper, we study a purely inseparable counterpart of Abhyankar's conjecture for the affine line in positive characteristic, and prove its validity for all the finite local non-abelian simple group schemes in characteristic $p>5$. The crucial point is how to deal with finite local group schemes which cannot be realized as the Frobenius kernel of a smooth algebraic group. Such group schemes appear as the ones associated with Cartan type Lie algebras. We settle the problem for such Lie algebras by making use of natural gradations or filtrations on them. △ Less

Submitted 10 July, 2021; v1 submitted 6 March, 2020; originally announced March 2020.

An embedding problem for finite local torsors over twisted curves

Authors: Shusuke Otabe

Abstract: In his previous paper, the author proposed as a problem a purely inseparable analogue of the Abhyankar conjecture for affine curves in positive characteristic and gave a partial answer to it, which includes a complete answer for finite local nilpotent group schemes. In the present paper, motivated by the Abhyankar conjectures with restricted ramifications due to Harbater and Pop, we study a refine… ▽ More In his previous paper, the author proposed as a problem a purely inseparable analogue of the Abhyankar conjecture for affine curves in positive characteristic and gave a partial answer to it, which includes a complete answer for finite local nilpotent group schemes. In the present paper, motivated by the Abhyankar conjectures with restricted ramifications due to Harbater and Pop, we study a refined version of the analogous problem, based on a recent work on tamely ramified torsors due to Biswas-Borne, which is formulated in terms of root stacks. We study an embedding problem to conclude that the refined analogue is true in the solvable case. △ Less

Submitted 24 February, 2020; v1 submitted 2 March, 2019; originally announced March 2019.

Comments: Minor revision. Accepted version

The tame fundamental group schemes of curves in positive characteristic

Authors: Shusuke Otabe

Abstract: The tame fundamental group scheme for an algebraic variety is the maximal linearly reductive quotient of Nori's fundamental group scheme. In this paper, we study the tame fundamental group schemes of smooth curves defined over algebraically closed fields of positive characteristic and develop the theory of cospecialization maps for them. As a result, we see that the tame fundamental group schemes… ▽ More The tame fundamental group scheme for an algebraic variety is the maximal linearly reductive quotient of Nori's fundamental group scheme. In this paper, we study the tame fundamental group schemes of smooth curves defined over algebraically closed fields of positive characteristic and develop the theory of cospecialization maps for them. As a result, we see that the tame fundamental group schemes heavily depend on the curves. We also see that numerical invariants of curves can be reconstructed from the tame fundamental group schemes. △ Less

Submitted 6 February, 2025; v1 submitted 4 February, 2018; originally announced February 2018.

Comments: Added Remark 5.17

On a purely inseparable analogue of the Abhyankar Conjecture for affine curves

Authors: Shusuke Otabe

Abstract: Let $U$ be an affine smooth curve defined over an algebraically closed field of positive characteristic. The Abhyankar Conjecture (proved by Raynaud and Harbater in 1994) describes the set of finite quotients of Grothendieck's étale fundamental group of $U$. In this paper, we consider a purely inseparable analogue of this problem, formulated in terms of Nori's profinite fundamental group scheme, a… ▽ More Let $U$ be an affine smooth curve defined over an algebraically closed field of positive characteristic. The Abhyankar Conjecture (proved by Raynaud and Harbater in 1994) describes the set of finite quotients of Grothendieck's étale fundamental group of $U$. In this paper, we consider a purely inseparable analogue of this problem, formulated in terms of Nori's profinite fundamental group scheme, and give a partial answer to it. △ Less

Submitted 29 November, 2017; v1 submitted 16 May, 2017; originally announced May 2017.

Comments: 2nd version. Added Remark 3.7(4). Filled a gap in Lemma 4.2. Corrected some typos

Journal ref: Compositio Math. 154 (2018) 1633-1658

Semifinite Bundles and the Chevalley-Weil Formula

Authors: Shusuke Otabe

Abstract: In our previous paper, we studied the category of semifinite bundles on a proper variety defined over a field of characteristic 0. As a result, we obtained the fact that for a smooth projective curve defined over an algebraically closed field of characteristic 0 with genus $g>1$, Nori fundamental group acts faithfully on the unipotent fundamental group of its universal covering. However, it was no… ▽ More In our previous paper, we studied the category of semifinite bundles on a proper variety defined over a field of characteristic 0. As a result, we obtained the fact that for a smooth projective curve defined over an algebraically closed field of characteristic 0 with genus $g>1$, Nori fundamental group acts faithfully on the unipotent fundamental group of its universal covering. However, it was not mentioned about any explicit module structure. In this paper, we prove that the Chevalley-Weil formula gives a description of it. △ Less

Submitted 25 September, 2016; originally announced September 2016.

Comments: 7 pages

An Extension of Nori Fundamental Group

Authors: Shusuke Otabe

Abstract: In this paper, we study a certain extension of Nori's fundamental group in the case where a base field is of characteristic 0 and give structure theorems about it. As a result, for a smooth projective curve with genus $g$>1, we prove that Nori's fundamental group acts faithfully on the category of unipotent bundles on the universal covering. In the case when $g=1$, we give a more finer result. In this paper, we study a certain extension of Nori's fundamental group in the case where a base field is of characteristic 0 and give structure theorems about it. As a result, for a smooth projective curve with genus $g$>1, we prove that Nori's fundamental group acts faithfully on the category of unipotent bundles on the universal covering. In the case when $g=1$, we give a more finer result. △ Less

Submitted 15 September, 2016; v1 submitted 20 August, 2015; originally announced August 2015.

Comments: 30 pages, to appear in Comm Alg, Remark 1.6 is included, dropped the smoothness assumption from the most part, changed to use a word "unipotent bundle" instead of "nilpotent bundle", at a suggestion of the referee, Section 5.2 is included