English
Related papers

Related papers: On set-theoretic complete intersections for smooth…

200 papers

Let R be a commutative, noetherian, local ring. Topological Q-vector spaces modelled on full subcategories of the derived category of R are constructed in order to study intersection multiplicities.

Commutative Algebra · Mathematics 2007-05-23 Anders J. Frankild , Esben Bistrup Halvorsen

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 a symmetric version of B\'ezout's theorem. More precisely, we show that the symmetric orbit type of a transverse intersection of complex symmetric hypersurfaces in projective space is determined by the degrees. In the projective…

Algebraic Geometry · Mathematics 2024-10-01 Samuel Lidz , Zachary Lihn , Adam Melrod

An affine hypersurface is said to admit a pointwise symmetry, if there exists a subgroup of the automorphism group of the tangent space, which preserves (pointwise) the affine metric h, the difference tensor K and the affine shape operator…

Differential Geometry · Mathematics 2007-05-23 Ying Lu , Christine Scharlach

Let S, T be surfaces in P3. Suppose that S intersect T is set-theoretically a smooth curve C of degree d and genus g. Suppose that S and T have no common singular points. Then if C is not a complete intersection, then deg(S), deg(T) < 2d^4.…

alg-geom · Mathematics 2008-02-03 David B. Jaffe

Let $A$ denote an affine algebra over an algebraically closed field $k$, with $\dim A=d\geq 3$. In the light of availability of cancellation theorems for stably free modules $P$ with $rank(P)=d-1$ (corank one), we try to implement the…

Commutative Algebra · Mathematics 2026-03-20 Satya Mandal

Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$…

Algebraic Geometry · Mathematics 2022-10-05 Ariyan Javanpeykar , Siddharth Mathur

In this work we study algebraic, geometric and topological properties of the Milnor classes of local complete intersections with arbitrary singularities. We describe first the Milnor class of the intersection of a finite number of…

Algebraic Geometry · Mathematics 2012-08-28 R. Callejas-Bedregal , M. F. Z. Morgado , J. Seade

We establish an arithmetic intersection theory in the framework of Arakelov geometry over adelic curves. To each projective scheme over an adelic curve, we associate a multi-homogenous form on the group of adelic Cartier divisors, which can…

Algebraic Geometry · Mathematics 2022-07-05 Huayi Chen , Atsushi Moriwaki

The main result of the paper states that a connected complex affine algebraic curve is Lipschitz normally embedded (shortened to LNE afterwards) in $\mathbb{C}^n$ if and only if its germ at any singular point is a finite union of…

Algebraic Geometry · Mathematics 2023-11-28 André Costa , Vincent Grandjean , Maria Michalska

We give necessary and sufficient topological conditions for a simple closed curve on a real rational surface to be approximable by smooth rational curves. We also study approximation by smooth rational curves with given complex…

Algebraic Geometry · Mathematics 2025-05-26 János Kollár , Frédéric Mangolte

We give a Belyi-type characterisation of smooth complete intersections of general type over $\mathbb{C}$ which can be defined over $\bar{\mathbb{Q}}$. Our proof uses the higher-dimensional analogue of the Shafarevich boundedness conjecture…

Algebraic Geometry · Mathematics 2016-04-19 Ariyan Javanpeykar

Let $k$ be a commutative ring and $S=k[x_0, \ldots, x_n]$ be a polynomial ring over $k$ with a monomial order. For any monomial ideal $J$, there exists an affine $k$-scheme of finite type, called Gr\"obner scheme, which parameterizes all…

Algebraic Geometry · Mathematics 2019-09-27 Yuta Kambe

Let $(A,\mathfrak{m})$ be an abstract complete intersection and let $P$ be a prime ideal of $A$. In [1] Avramov proved that $A_P$ is an abstract complete intersection. In this paper we give an elementary proof of this result.

Commutative Algebra · Mathematics 2019-12-23 Tony J. Puthenpurakal

Given an integer $N \geq 3$, we prove that for any ring $R$ and any finite locally free $R$-group scheme $G$ which is fppf-locally (over $R$) isomorphic the $N$-torsion subscheme of some elliptic curve $E/R$, there is a smooth affine curve…

Number Theory · Mathematics 2025-04-10 Elie Studnia

This paper deals with properties of the algebraic variety defined as the set of zeros of a "typical" sequence of polynomials. We consider various types of "nice" varieties: set-theoretic and ideal-theoretic complete intersections,…

Number Theory · Mathematics 2015-12-18 Joachim von zur Gathen , Guillermo Matera

In this work, we prove a quantitative version of the prime-to-$p$ Manin--Mumford conjecture for varieties with ample cotangent bundle. More precisely, let $A$ be an abelian variety defined over a number field $F$, and let $X$ be a smooth…

Algebraic Geometry · Mathematics 2025-10-02 Lance Edward Miller , Jackson S. Morrow

We compute the alpha invariant of any smooth complex projective spin complete intersection of complex dimension $1 \; ({\rm mod} \; 4)$. We prove that the alpha invariant depends only on the total degree and Pontryagin classes. Our findings…

Differential Geometry · Mathematics 2020-02-18 David Baraglia

Let $X \subset \mathbb{P}^n$ be a general Fano complete intersection of type $(d_1,\dots, d_k)$. If at least one $d_i$ is greater than $2$, we show that $X$ contains rational curves of degree $e \leq n$ with balanced normal bundle. If all…

Algebraic Geometry · Mathematics 2017-05-24 Izzet Coskun , Eric Riedl

We develop an approach to noncommutative algebraic geometry ``in the perturbative regime" around ordinary commutative geometry. Let R be a noncommutative algebra and A=R/[R,R] its commutativization. We describe what should be the formal…

Algebraic Geometry · Mathematics 2007-05-23 Mikhail Kapranov