Related papers: Equidimensionality and regularity
Let $(R,\mathfrak{m},K)$ be an $F$-finite Noetherian local ring which has a canonical ideal $I \subsetneq R$. We prove that if $R$ is $S_2$ and $H^{d-1}_{\mathfrak{m}}(R/I)$ is a simple $R\{F\}$-module, then $R$ is a strongly $F$-regular…
Let $\mathcal{F}\subset\mathcal{M}(D)$ and let $a, b$ and $c$ be three distinct complex numbers. If, there exist a holomorphic function $h$ on $D$ and a positive constant $\rho$ such that for each $f\in\mathcal{F},$ $f$ and $f^{'}$…
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…
We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension.…
The classical Noether Normalization Lemma states that if $S$ is a finitely generated algebra over a field $k$, then there exist elements $x_1,\dots,x_n$ which are algebraically independent over $k$ such that $S$ is a finite module over…
If G is a complex semisimple algebraic group, we characterize the normality and the smoothness of its simple linear compactifications, namely those equivariant GxG-compactifications which possess a unique closed orbit and which arise in a…
An area-preserving homeomorphism isotopic to the identity is said to have rational rotation direction if its rotation vector is a real multiple of a rational class. We give a short proof that any area-preserving homeomorphism of a compact…
In this paper, we characterize several properties of commutative notherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application we prove that…
A survey is given of the work on strong regularity for uniform algebras over the last thirty years, and some new results are proved, including the following. Let A be a uniform algebra on a compact space X and let E be the set of all those…
Let $\mathbb F$ be an algebraically closed field, $G$ be an abelian group, and let $A$ and $B$ be arbitrary finite-dimensional $G$-graded simple algebras over $\mathbb F$. We prove that $A$ and $B$ are isomorphic if, and only if, they…
A map of fine log schemes $X \to Y$ induces a map from the scheme underlying $X$ to Olsson's algebraic stack of strict morphisms of fine log schemes over $Y$. A sheaf on $X$ is called \emph{log flat over} $Y$ iff it is flat over this…
If there is a topologically locally constant family of smooth algebraic varieties together with an admissible normal function on the total space, then the latter is constant on any fiber if this holds on some fiber. Combined with spreading…
Let T be a commutative Noetherian local ring of dimension at least two and R=T[x_1,...,x_n] a polynomial ring in n variables over T. Consider R as a graded ring with deg T = 0 and deg x_i = 1 for all i. Let I=R_+ and f a homogeneous…
Let $B$ denote the upper triangular subgroup of $SL_2(C)$, $T$ its diagonal torus and $U$ its unipotent radical. A complex projective variety $Y$ endowed with an algebraic action of $B$ such that the fixed point set $Y^U$ is a single point,…
One of the major problems in the theory of the porous medium equation is the regularity of the solutions and the free boundaries. Here we assume flatness of the solution in space time cylinder and derive smoothness of the interface after a…
The vacuum Einstein equations in five dimensions are shown to admit a solution describing an asymptotically flat spacetime regular on and outside an event horizon of topology S^1 x S^2. It describes a rotating ``black ring''. This is the…
We give a new proof for the local existence of a smooth isometric embedding of a smooth $3$-dimensional Riemannian manifold with nonzero Riemannian curvature tensor into $6$-dimensional Euclidean space. Our proof avoids the sophisticated…
We say that a formal deformation from an algebra $N$ to algebra $A$ is strongly flat if for every real number $e $ there is a real number $0<s<e$ such that this deformation specialised at $t=s$ gives an algebra isomorphic to $A$. We show…
We study Noether's normalization lemma for finitely generated algebras over a division algebra. In its classical form, the lemma states that if $I$ is a proper ideal of the ring $R=F[t_1,\ldots,t_n]$ of polynomials over a field $F$, then…
In this article, a new and natural topology on the prime spectrum is established which behaves completely as the dual of the Zariski topology. It is called the flat topology. The basic and also some sophisticated properties of the flat…