Searcharxiv⌕ Search

arXiv subjects

Mitsuyasu Hashimoto

Publications and source records attributed to Mitsuyasu Hashimoto.

30 records · Page 2Linked to original sources
arXiv2010

Acyclicity of complexes of flat modules

Let $R$ be a noetherian commutative ring, and \[ \mathbb F: ...\rightarrow F_2\rightarrow F_1\rightarrow F_0\rightarrow 0 \] a complex of flat $R$-modules. We prove that if $κ(\mathfrak p)\otimes_R\mathbb F$ is acyclic for every $\mathfrak p\in\Spec R$, then $\mathbb F$ is acyclic, and $H_0(\mathbb F)$ is $R$-flat. It follows that if $\mathbb F$ is a (possibly unbounded) complex of flat $R$-modules and $κ(\mathfrak p)\otimes_R \mathbb F$ is exact for every $\mathfrak p\in\Spec R$, then $\mathbb G\otimes_R^\bullet\mathbb F$ is exact for every $R$-complex $\mathbb G$. If, moreover, $\mathbb F$ is a complex of projective $R$-modules, then it is null-homotopic (follows from Neeman's theorem).

math.AC↗
arXiv2010

Equivariant total ring of fractions and factoriality of rings generated by semiinvariants

Let $F$ be an affine flat group scheme over a commutative ring $R$, and $S$ an $F$-algebra (an $R$-algebra on which $F$ acts). We define an equivariant analogue $Q_F(S)$ of the total ring of fractions $Q(S)$ of $S$. It is the largest $F$-algebra $T$ such that $S\subset T\subset Q(S)$, and $S$ is an $F$-subalgebra of $T$. We study some basic properties. Utilizing this machinery, we give some new criteria for factoriality (UFD property) of (semi-)invariant subrings under the action of algebraic groups, generalizing a result of Popov. We also prove some variations of classical results on factoriality of (semi-)invariant subrings. Some results over an algebraically closed base field are generalized to those over an arbitrary base field.

math.AC↗
arXiv2010

$F$-pure homomorphisms, strong $F$-regularity, and $F$-injectivity

We discuss Matijevic-Roberts type theorem on strong $F$-regularity, $F$-purity, and Cohen-Macaulay $F$-injective (CMFI for short) property. Related to this problem, we also discuss the base change problem and the openness of loci of these properties. In particular, we define the notion of $F$-purity of homomorphisms using Radu-Andre homomorphisms, and prove basic properties of it. We also discuss a strong version of strong $F$-regularity (very strong $F$-regularity), and compare these two versions of strong $F$-regularity. As a result, strong $F$-regularity and very strong $F$-regularity agree for local rings, $F$-finite rings, and essentially finite-type algebras over an excellent local rings. We prove the $F$-pure base change of strong $F$-regularity.

math.AC↗
arXiv2010

Good filtrations and strong $F$-regularity of the ring of $U_P$-invariants

Let $k$ be an algebraically closed field of positive characteristic, $G$ a reductive group over $k$, and $V$ a finite dimensional $G$-module. Let $P$ be a parabolic subgroup of $G$, and $U_P$ its unipotent radical. We prove that if $S$=\textyen $Sym V$ has a good filtration, then the ring of invariants $S^{U_P}$ is strongly $F$-regular.

math.AC↗
arXiv2010

Good filtrations and $F$-purity of invariant subrings

Let $k$ be an algebraically closed field of positive characteristic, $G$ a reductive group over $k$, and $V$ a finite dimensional $G$-module. Let $B$ be a Borel subgroup of $G$, and $U$ its unipotent radical. We prove that if $S=\Sym V$ has a good filtration, then $S^U$ is $F$-pure.

math.AC↗
arXiv2009

Equivariant Matlis and the local duality

Generalizing the known results on graded rings and modules, we formulate and prove the equivariant version of the local duality on schemes with a group action. We also prove an equivariant analogue of Matlis duality.

math.AC↗
arXiv2005

Base change of invariant subrings

Let $R$ be a Dedekind domain, $G$ an affine flat $R$-group scheme, and $B$ a flat $R$-algebra on which $G$ acts. Let $A \to B^G$ be an $R$-algebra map. Assume that $A$ is Noetherian. We show that if the induced map $K\otimes A\to (K\otimes B)^{K\otimes G}$ is an isomorphism for any algebraically closed field $K$ which is an $R$-algebra, then $S\otimes A\to (S\otimes B)^{S\otimes G}$ is an isomorphism for any $R$-algebra $S$.

math.AC↗
arXiv2004

"Geometric quotients are algebraic schemes" based on Fogarty's idea

Let S be a Noetherian scheme, f:X->Y a surjective S-morphism of S-schemes, with X of finite type over S. We discuss what makes Y of finite type. First, we prove that if S is excellent, Y is reduced, and f is universally open, then Y is of finite type. We apply this to understand Fogarty's theorem in "Geometric quotients are algebraic schemes, Adv. Math. 48 (1983), 166--171" for the special case that the group scheme G is flat over the Noetherian base scheme S. Namely, we prove that if G is a flat S-group scheme of finite type acting on X and f is its strict orbit space, then Y is of finite type. Utilizing the technique used there, we also prove that Y is of finite type if f is flat. The same is true if S is excellent, f is proper, and Y is Noetherian.

math.AC↗
arXiv2004

Another proof of theorems of De Concini and Procesi

We give a new proof of some characteristic-free fundamental theorems in invariant theory first proved in C. De Concini and C. Procesi, A characteristic free approach to invariant theory, Adv. Math. 21 (1976), 330--354. We treat the action of the general linear group and the symplectic group. Our approach is geometric, and utilizes the fact that the categorical quotients are principal fiber bundles off codimension two or more.

math.AC↗
arXiv2003

Equivariant twisted inverse without equivariant compactification

An equivariant version of the twisted inverse pseudofunctor is defined, and equivariant versions of some important properties, including the Grothendieck duality of proper morphisms and flat base change are proved. As an application, a generalized version of Watanabe's theorem on the Gorenstein property of the ring of invariants is proved.

math.AG↗