Related papers: Set theoretic complete intersection for curves in …
Any smooth projective variety contains many complete intersection subvarieties with ample cotangent bundles, of each dimension up to half its own dimension.
We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing…
We study the structure of the \'etale fundamental groups of smooth curves over certain arithmetic schemes, and investigate the relative version of Grothendieck's anabelian conjecture in this setting. Consequently, every hyperbolic curve…
The Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G^{\mathrm{ad}}$ is totally…
The goal of this paper is to first define a Hodge theoretic fundamental group for smooth connected complex algebraic varieties and then prove and study a right exact sequence of Hodge theoretic fundamental groups associated to a smooth…
We consider several classes of complete intersection numerical semigroups, aris- ing from many different contexts like algebraic geometry, commutative algebra, coding theory and factorization theory. In particular, we determine all the…
We study normal finite abelian covers of smooth varieties. In particular we establish combinatorial conditions so that a normal finite abelian cover of a smooth variety is Gorenstein or locally complete intersection.
We prove that every Grothendieck topology induces a hereditary torsion pair in the category of presheaves of modules on a ringed site, and obtain a homological characterization of sheaves of modules: a presheaf of modules is a sheaf of…
In this paper, we describe an algorithm that, for a smooth connected curve $X$ over a field $k$ with normal completion having arithmetic genus $p_a(X)$, a finite locally constant sheaf $\mathcal A$ on $X_{et}$ of abelian groups of torsion…
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…
We give an algebro-geometric derivation of the known intersection theory on the moduli space of stable rank 2 bundles of odd degree over a smooth curve of genus g. We lift the computation from the moduli space to a Quot scheme, where we…
Several generalizations of a commutative ring that is a graded complete intersection are proposed for a noncommutative graded $k$-algebra; these notions are justified by examples from noncommutative invariant theory.
We prove that the automorphism group of a general complete intersection $X$ in a projective space is trivial with a few well-understood exceptions. We also prove that the automorphism group of a complete intersection $X$ acts on the…
Let $C$ and $D$ be smooth, proper and geometrically integral curves over a finite field $F$. Any morphism from $D$ to $C$ induces a morphism of their \'etale fundamental groups. The anabelian philosophy proposed by Grothendieck suggests…
Let X be a smooth complete intersection. Suppose p and q are general points of X, we consider conics in X passing through p and q. We show the moduli space of these conics is a smooth complete intersection. The main ingredients of the proof…
We give a proof of the $p$-adic weight monodromy conjecture for scheme-theoretic complete intersections in projective smooth toric varieties. The strategy is based on Scholze's proof in the $\ell$-adic setting, which we adapt using…
We study the complete intersection property of monomial curves in the family $\Gamma_{\aa + \jj} = {(t^{a_0 + j}, t^{a_1+j},..., t^{a_n + j}) ~ | ~ j \geq 0, ~ a_0 < a_1 <...< a_n}$. We prove that if $\Gamma_{\aa+\jj}$ is a complete…
We prove that the d\'evissage property holds for periodic cyclic homology for a local complete intersection embedding into a smooth scheme. As a consequence, we show that the complexified topological Chern character maps for the bounded…
The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group over a regular semilocal ring is itself trivial. Extending the work of \v{C}esnavi\v{c}ius and Fedorov, we prove a non-noetherian…
We introduce the notion of a generalized intersection pairing for an Artin stack with a proper good moduli space and nonempty stable part. For the moduli stack of semistable bundles over a smooth projective curve, there are four known…