Searcharxiv⌕ Search

arXiv subjects

Hokuto Uehara

Publications and source records attributed to Hokuto Uehara.

17 recordsLinked to original sources
arXiv2024

Singularity categories of rational double points in arbitrary characteristic

We establish a one-to-one correspondence between the singularity categories of rational double points and the simply-laced Dynkin graphs in arbitrary characteristic. This correspondence is well-known in characteristic zero since the rational double points are quotient singularities in characteristic zero whereas not necessarily in positive characteristic. Considering some rational double points are not taut in characteristic two, three or five, we can see there exist two rational double points which are not analytically isomorphic but whose singularity categories are triangulated equivalent. As an application, we construct a counter-example in positive characteristic of a theorem of Hua and Keller: the dg singularity category of a hypersurface singularity determines its Tyurina algebra.

math.AG↗
arXiv2022

Elliptic ruled surfaces over arbitrary characteristic fields

Atiyah classifies vector bundles on elliptic curves $E$ over an algebraically closed field of any characteristic. On the other hand, a rank $2$ vector bundle on $E$ defines a surface $S$ with a $\mathbb{P}^1$-bundle structure on $E$. We study when $S$ has an elliptic fibration according to the Atiyah's classification, and what kinds of singular fibers appear.

math.AG↗
arXiv2021

Exceptional collections on $Σ_{ 2 }$

Structure theorems for exceptional objects and exceptional collections of the bounded derived category of coherent sheaves on del Pezzo surfaces are established by Kuleshov and Orlov. In this paper we propose conjectures which generalize these results to weak del Pezzo surfaces. Unlike del Pezzo surfaces, an exceptional object on a weak del Pezzo surface is not necessarily a shift of a sheaf and is not determined by its class in the Grothendieck group. Our conjectures explain how these complications are taken care of by spherical twists, the categorification of $(-2)$-reflections acting on the derived category. This paper is devoted to solving the conjectures for the prototypical weak del Pezzo surface $Σ_{ 2 }$, the Hirzebruch surface of degree $2$. Specifically, we prove the following results: Any exceptional object is sent to the shift of the uniquely determined exceptional vector bundle by a product of spherical twists which acts trivially on the Grothendieck group of the derived category. Any exceptional collection on $Σ_{ 2 }$ is part of a full exceptional collection. We moreover prove that the braid group on $4$ strands acts transitively on the set of exceptional collections of length $4$ (up to shifts).

math.AG↗
arXiv2017

A trichotomy for the autoequivalence groups on smooth projective surfaces

We study autoequivalence groups of the derived categories on smooth projective surfaces, and show a trichotomy of types according to the maximal dimension of Fourier--Mukai kernels for autoequivalences. This number is $2$, $3$ or $4$, and we also pose a conjecture on the description of autoequivalence groups if it is $2$, and prove it in some special cases.

math.AG↗
arXiv2015

Fourier--Mukai partners of elliptic ruled surfaces

We study Fourier--Mukai partners of elliptic ruled surfaces. We also describe the autoequivalence group of the derived categories of ruled surfaces with an elliptic fibration, by using \cite{Ue15}.

math.AG↗
arXiv2015

Exceptional collections on toric Fano threefolds and birational geometry

Bernardi and Tirabassi show the existence of full strong exceptional collections consisting of line bundles on smooth toric Fano $3$-folds under assuming Bondal's conjecture, which states that the Frobenius push-forward of the structure sheaf $\mc O_X$ generates the derived category $D^b(X)$ for smooth projective toric varieties $X$. In this article, we show Bondal's conjecture for smooth toric Fano $3$-folds and also improve their result, using birational geometry.

math.AG↗
arXiv2013

Frobenius morphisms and derived categories on two dimensional toric Deligne-Mumford stacks

For a toric Deligne-Mumford (DM) stack, we can consider a certain generalization of the Frobenius endomorphism. For such an endomorphism on a two-dimensional toric DM stack, we show that the push-forward of the structure sheaf generates the bounded derived category of coherent sheaves on the toric DM stack. We also choose a full strong exceptional collection from the set of direct summands of the push-forward in several examples of two dimensional toric DM orbifolds.

math.AG↗
arXiv2010

Stability conditions on $A_n$-singularities

We study the spaces of locally-finite stability conditions on the derived categories of coherent sheaves on the minimal resolutions of $A_n$-singularities supported at the exceptional sets. Our main theorem is that they are connected and simply-connected. The proof is based on the study of spherical objects in math.AG/0409151 and the homological mirror symmetry for $A_n$-singularities.

math.AG↗
arXiv2009

A counterexample of the birational Torelli problem via Fourier--Mukai transforms

We study the Fourier--Mukai numbers of rational elliptic surfaces. As its application, we give an example of a pair of minimal 3-folds with Kodaira dimensions 1, $h^1(\mc O)=h^2(\mc O)=0$ such that they are mutually derived equivalent, deformation equivalent, but not birationally equivalent. It also supplies a counterexample of the birational Torelli problem.

math.AG↗
arXiv2009

Tilting generators via ample line bundles

It is known that a tilting generator on an algebraic variety $X$ gives a derived equivalence between $X$ and a certain non-commutative algebra. In this paper, we explain a method to construct a tilting generator from an ample line bundle, and construct it in several examples.

math.AG↗
arXiv2004

An example of Fourier--Mukai partners of minimal elliptic surfaces

Let $X$ and $Y$ be smooth projective varieties over $\C$. We say that $X$ and $Y$ are \emph{D-equivalent} (or, $X$ is a \emph{Fourier--Mukai partner} of $Y$) if their derived categories of bounded complexes of coherent sheaves are equivalent as triangulated categories. The aim of this short note is to find an example of mutually D-equivalent but not isomorphic relatively minimal elliptic surfaces.

math.AG↗