English
Related papers

Related papers: A fast flatness testing algorithm in characteristi…

200 papers

Let X be an algebraic variety over a field k, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. Grinberg and Kazhdan proved that if k has characteristic 0 then the formal…

Algebraic Geometry · Mathematics 2007-05-23 Vladimir Drinfeld

Let $R$ be a strong $n$-coherent ring such that each finitely $n$-presented $R$-module has finite projective dimension. We consider $\mathcal{FP}_{n}(R)$ the full subcategory of $R$-Mod of finitely $n$-presented modules. We prove that…

K-Theory and Homology · Mathematics 2020-11-10 Eugenia Ellis , Rafael Parra

Let $S$ be a deeply embedded, equicharacteristic, Artinian Gorenstein local ring. We prove that if $R$ is a non-Gorenstein quotient of $S$ of small colength, then every totally reflexive $R$-module is free. Indeed, the second syzygy of the…

Commutative Algebra · Mathematics 2017-05-17 Andrew R. Kustin , Adela Vraciu

We exhibit a probabilistic algorithm which computes a rational point of an absolutely irreducible variety over a finite field defined by a reduced regular sequence. Its time--space complexity is roughly quadratic in the logarithm of the…

Number Theory · Mathematics 2007-05-23 Antonio Cafure , Guillermo Matera

The existence of an equidimensional morphism f with etale local sections from a regular algebraic space X to a locally noetherian normal algebraic space S of characteristic zero with excellent local rings implies that S is regular and f…

Algebraic Geometry · Mathematics 2018-02-14 Ying Zong

Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…

Algebraic Geometry · Mathematics 2023-03-27 Desmond Coles , Netanel Friedenberg

Unfitted finite element methods, like CutFEM, have traditionally been implemented in a matrix-based fashion, where a sparse matrix is assembled and later applied to vectors while solving the resulting linear system. With the goal of…

Numerical Analysis · Mathematics 2024-04-15 Maximilian Bergbauer , Peter Munch , Wolfgang A. Wall , Martin Kronbichler

We study torsors under finite group schemes over the punctured spectrum of a singularity $x\in X$ in positive characteristic. We show that the Dieudonn\'e module of the (loc,loc)-part $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ of…

Algebraic Geometry · Mathematics 2025-12-17 Christian Liedtke , Gebhard Martin , Yuya Matsumoto

Let $(X,L_{X})$ be an $n$-dimensional polarized manifold. Let $D$ be a smooth hypersurface defined by a holomorphic section of $L_{X}$. In this paper, we study the existence of a complete scalar-flat K\"{a}hler metric on $X \setminus D$ on…

Differential Geometry · Mathematics 2023-03-07 Takahiro Aoi

Let $R$ by a right coherent ring and $R$-Mod denote the category of left $R$-modules. We show that there is an abelian model structure on $R$-Mod whose cofibrant objects are precisely the Gorenstein flat modules. Employing a new method for…

Rings and Algebras · Mathematics 2016-09-20 James Gillespie

The purpose of this note is to give a linear algebra algorithm to find out if a rank of a given tensor over a field $\F$ is at most $k$ over the algebraic closure of $\F$, where $k$ is a given positive integer. We estimate the arithmetic…

Combinatorics · Mathematics 2020-11-17 Mohsen Aliabadi , Shmuel Friedland

We study algebraicity and smoothness of fixed point stacks for flat group schemes which have a finite composition series whose factors are either reductive or proper, flat, finitely presented, acting on algebraic stacks with affine,…

Algebraic Geometry · Mathematics 2022-09-19 Matthieu Romagny

Let $R$ be an $F$-finite Noetherian regular ring containing an algebraically closed field $k$ of positive characteristic, and let $M$ be an $\F$-finite $\F$-module over $R$ in the sense of Lyubeznik (for example, any local cohomology module…

Commutative Algebra · Mathematics 2021-06-21 Nicholas Switala , Wenliang Zhang

We study maximal $m$-rigid objects in the $m$-cluster category $\mathcal C_H^m$ associated with a finite dimensional hereditary algebra $H$ with $n$ nonisomorphic simple modules. We show that all maximal $m$-rigid objects in these…

Representation Theory · Mathematics 2009-02-10 Anette Wrålsen

Let $R$ be a Noetherian commutative ring and $M$ an $R$-module with $\operatorname{pd_R} M\le 1$ that has rank. Necessary and sufficient conditions were provided by Lebelt for an exterior power $\wedge^k M$ to be torsion free. When $M$ is…

Commutative Algebra · Mathematics 2018-08-03 Muberra Allahverdi , Alexandre Tchernev

We provide novel theoretical results regarding local optima of regularized $M$-estimators, allowing for nonconvexity in both loss and penalty functions. Under restricted strong convexity on the loss and suitable regularity conditions on the…

Statistics Theory · Mathematics 2015-01-05 Po-Ling Loh , Martin J. Wainwright

Gersten's injectivity conjecture for a functor $F$ of ``motivic type'', predicts that given a semilocal, ``non-singular'', integral domain $R$ with a fraction field $K$, the restriction morphism induces an injection of $F(R)$ inside $F(K)$.…

Algebraic Geometry · Mathematics 2024-04-11 Arnab Kundu

We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex…

Number Theory · Mathematics 2013-09-03 Frauke M. Bleher , Ted Chinburg

Invariance with respect to linear or affine transformations of the domain is arguably the most common symmetry exhibited by natural algebraic properties. In this work, we show that any low complexity affine-invariant property of…

Computational Complexity · Computer Science 2012-10-09 Arnab Bhattacharyya , Eldar Fischer , Shachar Lovett

We extend the mathematical theory of rigidity of frameworks (graphs embedded in $d$-dimensional space) to consider nonlocal rigidity and flexibility properties. We provide conditions on a framework under which (I) as the framework flexes…

Metric Geometry · Mathematics 2020-09-10 Miranda Holmes-Cerfon , Louis Theran , Steven J. Gortler