English
Related papers

Related papers: Flat morphisms with regular fibers do not preserve…

200 papers

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…

Algebraic Geometry · Mathematics 2015-09-16 Jose F. Fernando

We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring…

Algebraic Geometry · Mathematics 2026-04-14 Takumi Murayama

We prove that every place of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension F' of F. We show that F'|F can be chosen to be normal. If K is perfect and P is of rank 1, then…

Algebraic Geometry · Mathematics 2007-05-23 Franz-Viktor Kuhlmann

For a morphism f in a category C with sufficiently many finite limits and colimits, we discuss an elementary construction of a decomposition of f through objects P and N which, if C happens to have a zero object, amounts to the standard…

Category Theory · Mathematics 2024-11-06 Renier Jansen , Muhammad Qasim , Walter Tholen

In this paper we define a relative rigid fundamental group, which associates to a section $p$ of a smooth and proper morphism $f:X\rightarrow S$ in characteristic $p$, a Hopf algebra in the ind-category of overconvergent $F$-isocrystals on…

Number Theory · Mathematics 2017-01-25 Christopher Lazda

We give a constructive proof that $R[X]$ is normal when $R$ is normal. We apply this result to an operation needed for studying the henselization of a local ring. Our proof is based on the case where $R$ is without zero divisors, which is…

Commutative Algebra · Mathematics 2022-11-01 Henri Lombardi , Thierry Coquand

Let $k$ be an arbitrary field. We construct examples of regular local $k$-algebras $R$ (of positive dimension) for which the ring of differential operators $D_k(R)$ is trivial in the sense that it contains {\it no} operators of positive…

Commutative Algebra · Mathematics 2024-04-16 Alapan Mukhopadhyay , Karen E. Smith

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…

Commutative Algebra · Mathematics 2012-01-17 Fatemeh Mohammadi Aghjeh Mashhad , Kamran Divaani-Aazar

It is proved that when R is a local ring of positive characteristic, $\phi$ is its Frobenius endomorphism, and some non-zero finite R-module has finite flat dimension or finite injective dimension for the R-module structure induced through…

Commutative Algebra · Mathematics 2011-05-24 Luchezar L. Avramov , Melvin Hochster , Srikanth B. Iyengar , Yongwei Yao

We first introduce and study the notion of semi-regular flat modules, and then show that a ring $R$ is a strong \Prufer\ ring if and only if every submodule of a semi-regular flat $R$-module is semi-regular flat, if and only if every ideal…

Commutative Algebra · Mathematics 2021-11-04 Xiaolei Zhang , Guocheng Dai , Xuelian Xiao , Wei Qi

It is known that a two-dimensional $F$-rational ring has a rational singularity. However a two-dimensional ring with a rational singularity is not $F$-rational in general. In this paper, we investigate $F$-rationality of a two-dimensional…

Commutative Algebra · Mathematics 2025-09-09 Kohsuke Shibata

We establish a general inequality comparing the $F$-thresholds of a local ring and its associated graded ring. As an application, we deduce that the $F$-rationality of the graded ring descends to the local ring.

Commutative Algebra · Mathematics 2025-11-27 Ghazaleh FakhriVaighan

Let $\mathcal O$ be a holomorphy ring in a global field $K$, and $R$ a classical maximal $\mathcal O$-order in a central simple algebra over $K$. We study sets of lengths of factorizations of cancellative elements of $R$ into atoms…

Rings and Algebras · Mathematics 2013-08-15 Daniel Smertnig

Let $S=K[x_1,...,x_n]$ or $S=K[[x_1,...,x_n]]$ be either a polynomial or a formal power series ring in a finite number of variables over a field $K$ of characteristic $p > 0$ with $[K:K^p] < \infty$. Let $R$ be the hypersurface $S/fS$ where…

Commutative Algebra · Mathematics 2018-04-23 Khaled Alhazmy

This paper deals with well-known notion of $PF$-rings, that is, rings in which principal ideals are flat. We give a new characterization of $PF$-rings. Also, we provide a necessary and sufficient condition for $R\bowtie I$ (resp., $R/I$…

Commutative Algebra · Mathematics 2011-09-26 Fatima Cheniour , Najib Mahdou

Let $(S,L)$ be a smooth primitively polarized K3 surface of genus $g$ and $f:X \rightarrow \mathbb{P}^1$ the fibration defined by a linear pencil in $|L|$. For $f$ general and $g \geq 7$, we work out the splitting type of the locally free…

Algebraic Geometry · Mathematics 2015-03-31 Luca Benzo

In this paper, we proved that, for a semi-stable fibration of a proper smooth surface to a proper smooth curve over a filed of positive characteristic, if the p-rank of the generic fiber is 0, then the base change of the fibration by a…

Algebraic Geometry · Mathematics 2008-05-27 Junmyeong Jang

For pairs of integers (n,m) and (d,e) satisfying some nedesary conditions, we construct a local flat ring morphism of noetherian local rings u:A -->B such that dim(A)=n, depth(A)=d, dim(B)=m, depth(B)=e.

Commutative Algebra · Mathematics 2016-12-28 Cristodor Ionescu

We propose a new method for constructing rational spatial Pythagorean Hodograph (PH) curves based on determining a suitable rational framing motion. While the spherical component of the framing motion is arbitrary, the translation part is…

Metric Geometry · Mathematics 2022-10-25 Bahar Kalkan , Daniel F. Scharler , Hans-Peter Schröcker , Zbyněk Šír

Let $G$ be a semiabelian variety defined over an algebraically closed field $K$ of characteristic $0$. Let $\Phi\colon G\dashrightarrow G$ be a dominant rational self-map. Assume that an iterate $\Phi^m \colon G \to G$ is regular for some…

Number Theory · Mathematics 2022-08-16 Jason Bell , Dragos Ghioca , Zinovy Reichstein