arXiv math/03031342003-03math.ACmath.AG

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

Mitsuyasu Hashimoto

备注：: 10 pages, minor error corrections and change of numbering of theorems
发表信息：: J. Math. Kyoto Univ. 43 (4) (2003), 807-814

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Geometric Reductivity--A Quotient Space Approach

We give another proof that a reductive algebraic group is geometrically reductive. We show that a quotient of the semi-stable locus (by a linear action of a reductive algebraic group on a projective scheme) exists, and from this Haboush's Theorem (Mumford's Conjecture) follows.

2010-12-02math.ACmath.AG

Surjectivity of quotient maps for algebraic $(\mathbb{C},+)$-actions and polynomial maps with contractible fibres

In this paper, we establish two results concerning algebraic $(\mathbb{C},+)$-actions on $\mathbb{C}^n$. First let $ϕ$ be an algebraic $(\mathbb{C},+)$-action on $\mathbb{C}^3$. By a result of Miyanishi, its ring of invariants is isomorphic to $\mathbb{C}[t_1,t_2]$. If $f_1,f_2$ generate this ring, the quotient map of $ϕ$ is the map $F:\mathbb{C}^3\to \mathbb{C}^2$, $x\mapsto (f_1(x),f_2(x))$. By using some topological arguments, we prove that $F$ is always surjective. Second, we are interested in dominant polynomial maps $F:\mathbb{C}^n\to \mathbb{C}^{n-1}$ whose connected components of their…

2006-02-10math.ACmath.AG

Lifting of morphisms to quotient presentations

In this article we investigate algebraic morphisms between toric varieties. Given presentations of toric varieties as quotients we are interested in the question when a morphism admits a lifting to these quotient presentations. We show that this can be completely answered in terms of invariant divisors. As an application we prove that two toric varieties, which are isomorphic as abstract algebraic varieties, are even isomorphic as toric varieties. This generalizes a well-known result of Demushkin on affine toric varieties.

2002-09-30math.ACmath.AG

Invariants and Separating Morphisms for Algebraic Group Actions

The first part of this paper is a refinement of Winkelmann's work on invariant rings and quotients of algebraic groups actions on affine varieties, where we take a more geometric point of view. We show that the (algebraic) quotient $X/\!/\!G$ given by the possibly not finitely generated ring of invariants is "almost" an algebraic variety, and that the quotient morphism $π\colon X \to X/\!/\! G$ has a number of nice properties. One of the main difficulties comes from the fact that the quotient morphism is not necessarily surjective. These general results are then refined for actions of the addi…

2014-02-18math.ACmath.AG

Defects of Algebraic Function Fields, Completion Defects and Defect Quotients

The {\it defect} (also called {\it ramification deficiency}) of valued field extensions is a major stumbling block in deep open problems of valuation theory in positive characteristic. For a detailed analysis, we define and investigate two weaker notions of defect: the {\it completion defect} and the {\it defect quotient}. We define them for finite extensions as well as for certain valued function fields (those with "Abhyankar valuations" that are nontrivial on the ground field). We investigate both defects and present analogues of the results that hold for the usual defect.

2013-03-31math.AC

Artin algebraization and quotient stacks

This article contains a slightly expanded version of the lectures given by the author at the summer school "Algebraic stacks and related topics" in Mainz, Germany from August 31 to September 4, 2015. The content of these lectures is purely expository and consists of two main goals. First, we provide a treatment of Artin's approximation and algebraization theorems following the ideas of Conrad and de Jong which rely on a deep desingularization result due to Neron and Popescu. Second, we prove that under suitable hypotheses, algebraic stacks are etale locally quotients stacks in a neighborhood o…

2015-10-27math.ACmath.AG

更多相关论文收起更多论文

New algebraic properties of quadratic quotients of the Rees algebra

We study some properties of a family of rings $R(I)_{a,b}$ that are obtained as quotients of the Rees algebra associated with a ring $R$ and an ideal $I$. In particular, we give a complete description of the spectrum of every member of the family and describe the localizations at a prime ideal. Consequently, we are able to characterize the Cohen-Macaulay and Gorenstein properties, generalizing known results stated in the local case. Moreover, we study when $R(I)_{a,b}$ is an integral domain, reduced, quasi-Gorenstein, or satisfies Serre's conditions.

2018-02-19math.AC

Finite separating sets and quasi-affine quotients

Nagata's famous counterexample to Hilbert's fourteenth problem shows that the ring of invariants of an algebraic group action on an affine algebraic variety is not always finitely generated. In some sense, however, invariant rings are not far from affine. Indeed, invariant rings are always quasi-affine, and there always exist finite separating sets. In this paper, we give a new method for finding a quasi-affine variety on which the ring of regular functions is equal to a given invariant ring, and we give a criterion to recognize separating algebras. The method and criterion are used on some kn…

2012-03-23math.ACmath.AG

导出商环上模提升的一个高阶代数方法

A higher algebraic approach to liftings of modules over derived quotients

本文用高阶代数方法，在自Ext^2消没条件下证明导出商上模提升的存在性，并借助Auslander零因子定理，得出该条件等价于局部完全交环。

2025-03-30math.ACmath.NTmath.RA

Projective normality of quotient varieties modulo finite groups

In this note, we prove that for any finite dimensional vector space $V$ over an algebraically closed field $k$, and for any finite subgroup $G$ of $GL(V)$ which is either solvable or is generated by pseudo reflections such that the $|G|$ is a unit in $k$, the projective variety $\mathbb P(V)/G$ is projectively normal with respect to the descent of $\mathcal O(1)^{\otimes |G|}$.

2008-01-08math.ACmath.AG

Finite Sets of Affine Points with Unique Associated Monomial Order Quotient Bases

The quotient bases for zero-dimensional ideals are often of interest in the investigation of multivariate polynomial interpolation, algebraic coding theory, and computational molecular biology, etc. In this paper, we discuss the properties of zero-dimensional ideals with unique monomial quotient bases, and verify that the vanishing ideals of Cartesian sets have unique monomial quotient bases. Furthermore, we reveal the relation between Cartesian sets and the point sets with unique associated monomial quotient bases.

2011-05-01math.AC

Algebraic invariants for right-angled Artin groups

A finite simplicial graph Γdetermines a right-angled Artin group G_Γ, with generators corresponding to the vertices of Γ, and with a relation vw=wv for each pair of adjacent vertices. We compute the lower central series quotients, the Chen quotients, and the (first) resonance variety of G_Γ, directly from the graph Γ.

2005-08-26math.ACmath.GR

广义马歇尔商与连续可微函数的实半群

Generalized Marshall Quotients and Real Semigroups of Continuous and Differentiable Functions

Centre for Logic, Epistemology and the History of Science (CLE), State University of Campinas (UNICAMP)（逻辑、认识论与科学史中心（CLE），坎皮纳斯州立大学（UNICAMP））

本文针对实半群理论在连续函数环应用中的拓扑约束问题，引入广义马歇尔商，给出实半群新示例，得出商的可逆元群构成实约化超域，解决相关开放问题，并应用超代数机制建立广义不等式。

2026-07-08math.ACmath.RA