We construct lci nilpotent scheme structures $Y \subset P$ on a smooth variety $X$ embedded in a smooth variety $P$, which are, locally, (i.e. in $\widehat{\mathcal O}_{p,P}$ ) given by ideals of the form $(y^2+x^n, xy, z_1,...,z_r)$, $(y^3+x^n, xy, z_1 ,...z_r)$
Motivated by a kind of Penrose correspondence, we investigate the space of hyperplane sections of Segre quartic surfaces which have an ordinary cusp. We show that the space of such hyperplane sections is empty for two kinds of Segre surfaces, and it is a connected surface for all other kinds of Segre surfaces. We also show that when it is non-empty, the closure of the space is either birational to the surface itself or birational to a double covering of the surface, whose branch divisor consists of some specific lines on the surface.
We study rational cuspidal curves in projective surfaces. We specify two criteria obstructing possible configurations of singular points that may occur on such curves. One criterion generalizes the result of Fernandez de Bobadilla, Luengo, Melle--Hernandez and Nemethi and is based on the Bezout theorem. The other one is a generalization of the result obtained by Livingston and the author and relies on Ozsvath--Szabo inequalities for $d$-invariants in Heegaard Floer homology. We show by means of explicit calculations that the two approaches give very similar obstructions.
In this paper we continue the work of using the recent advances in algebraic $K$-theory to extend computations done in characteristic $p$ to the mixed characteristic setting using perfectoid rings. We extend the work of Hesselholt-Nikolaus in \cite{Hesselholt_Nikolaus} on the algebraic $K$-Theory of cuspidal curves. We consider both cuspidal curves and the $p$-completion of cuspidal curves. Along the way we also study the $K$-theory of the $p$-completed affine line over a perfectoid ring.
Enumerative algebraic geometry deals with problems of counting geometric objects defined algebraically, An important class of enumerative problems is that of counting curves: given a class of curves in some projective variety defined by fixing some algebraic or geometric invariants (such as degree, genus and types of singularities), the problem usually takes the form of "how many curves of that class pass through a configuration of n points in general position?" Tropical Geometry deals with certain piecewise-linear complexes, which arise as degeneration of families of complex algebraic varieti…
In this paper we study certain homogeneous spaces, which we call generalised affine Stiefel algebraic varieties. The main aim is to characterise the canonical divisor of generalised affine Stiefel algebraic varieties in terms of group representations. Affine Stiefel algebraic varieties and in particular $S^{n}$ are two special cases of the generalised affine Stiefel algebraic varieties.
We introduce an invariant of a finite point configuration $A \subset \mathbb{R}^{1+n}$ which we denote the cuspidal form of $A$. We use this invariant to extend Esterov's characterization of dual defective point configurations to exponential sums; the dual variety associated to $A$ has codimension at least $2$ if and only if $A$ does not contain any iterated circuit.
We study Minkowski sums and Hadamard products of algebraic varieties. Specifically we explore when these are varieties and examine their properties in terms of those of the original varieties.
We show that every affine or projective algebraic variety defined over the field of real or complex numbers is homeomorphic to a variety defined over the field of algebraic numbers. We construct such a homeomorphism by choosing a small deformation of the coefficients of the original equations. This method is based on the properties of Zariski equisingular families of varieties. Moreover we construct an algorithm, that, given a system of equations defining a variety $V$, produces a system of equations with algebraic coefficients of a variety homeomorphic to $V$
We develop a moduli theory of algebraic varieties and pairs of non-negative Kodaira dimension. We define stable minimal models and construct their projective coarse moduli spaces under certain natural conditions. This can be applied to a wide range of moduli problems in algebraic geometry.
We address the question of finding algebraic properties that are respectively equivalent, for a morphism between algebraic varieties over an algebraically closed field of characteristic zero, to be an homeomorphism for the Zariski topology and for a strong topology that we introduce. Our answers involve a study of seminormalization and saturation for morphisms between algebraic varieties, together with an interpretation in terms of continuous rational functions on the closed points of an algebraic variety. The continuity refers to the strong topology which is the usual Euclidean topology in th…
In this paper, we establish the following version at infinity of Whitney's theorem [6, 7]: Geometric and algebraic tangent cones at infinity of complex algebraic varieties coincide. The proof of this fact is based on a geometric characterization of geometric tangent cones at infinity and using the global Łojasiewicz inequality with explicit exponents for complex algebraic varieties. We also show that tangent cones at infinity of complex algebraic varieties can be computed using Gröbner bases.
We extend the Altmann-Hausen presentation of normal affine algebraic C-varieties endowed with effective torus actions to the real setting. In particular, we focus on actions of quasi-split real tori, in which case we obtain a simpler presentation.
This is a report on some of the main developments in birational geometry in the last few years focusing on the minimal model program, Fano varieties, singularities and related topics, in characteristic zero.
This article proposes a generalization of tautological rings introduced by Beauville and Moonen for Jacobians. The main result is that, under certain hypotheses, the special subvarieties of Prym varieties are algebraically equivalent and their classes belong to the tautological ring.
We discuss relations between certain invariants of varieties in positive characteristic, like the a-number and the height of the Artin-Mazur formal group. We calculate the a-number for Fermat surfaces
We define the class of admissible linear embeddings of flag varieties. The definition is given in the general language of algebraic geometry. We then prove that an admissible linear embedding of flag varieties has a certain explicit form in terms of linear algebra. This result enables us to show that any direct limit of admissible embeddings of flag varieties is isomorphic to an ind-variety of generalized flags as defined in [DP]. These latter ind-varieties have been introduced in terms of the ind-group SL(\infty) (respectively, O(\infty) or Sp(\infty) for isotropic generalized flags), and the…
We give a short appreciation of Mumford's work on the moduli of varieties by putting it into historical context. By reviewing earlier works we highlight the innovations introduced by Mumford. Then we discuss recent developments whose origins can be traced back to Mumford's ideas.
We prove that a quasi-finite endomorphism of an algebraic variety over an algebraically closed field of characteristic zero, that is injective on the complement of a closed subvariety, is an automorphism. We also prove that an endomorphism of complex algebraic variety that is injective on the complement of a closed subvariety of codimension at least $2$, is an automorphism.
Lee and Pandharipande studied a "double point" algebraic cobordism theory of varieties equipped with vector bundles, and speculated that some features of that story might extend to the case of varieties with principal G-bundles. This note shows that this expectation holds rationally, and more generally after inverting the torsion index of the group, for reductive G. We show that (after inverting the torsion index) the full theory for bundles on varieties is an extension of scalars of standard algebraic cobordism, that the theory for a point is dual to Omega^*(BG), and describe how the theory f…
Connected components of real algebraic varieties invariant under the $CB_{n}$-Coxeter group are investigated. In particular, we consider their maximal number and their geometric and topological properties. This provides a decomposition for the space of $CB_{n}$-algebraic varieties. We construct $CB_{n}$-polynomials using Young-posets and partitions of integers. Our results establish bounds on the number of connected components for a given set of coefficients. It turns out that this number can achieve an upper bound of $2^{n}+1$ for specific coefficients. We introduce a new method to characteri…
We extend Kollar's technique to look for an explicit function h(n) with phi_m birational onto its image for all integers $m\geq h(n)$ and for all n-dimensional nonsingular projective varieties of general type.
In this paper we study a notion of volume for Cartier divisors on arbitrary blow-ups of normal complex algebraic varieties of dimension greater than one, with a distinguished point. We apply this to study a volume for normal isolated singularities, generalizing work on surfaces done by Wahl. We also compare this volume of isolated singularities to a different generalization due to Boucksom, de Fernex and Favre.
We associate to each real algebraic variety a filtered chain complex, the weight complex, which is well-defined up to filtered quasi-isomorphism, and which induces on classical (compactly supported) homology with Z/2 coefficients an analog of the weight filtration for complex algebraic varieties. This complements our previous definition of the weight filtration of Borel-Moore homology.
Let $k$ be a field of characteristic $p>0$ not necessarily perfect. Using Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for realizable $k$-schemes of finite type.
We extend Kolchin's results on linear dependence over projective varieties in the constants, to linear dependence over arbitrary complete differential varieties. We show that in this more general setting, the notion of linear dependence still has necessary and sufficient conditions given by the vanishing of a certain system of differential polynomials equations. We also discuss some conjectural questions around completeness and the catenary problem.
We seek to determine a real algebraic variety from a fixed finite subset of points. Existing methods are studied and new methods are developed. Our focus lies on aspects of topology and algebraic geometry, such as dimension and defining polynomials. All algorithms are tested on a range of datasets and made available in a Julia package.
We show that every connected commutative algebraic group over an algebraically closed field of characteristic 0 is the Picard variety of some projective variety, obtained by pinching a smooth variety along a finite subscheme. In contrast, no Witt group of dimension at least 3 over a perfect field of prime characteristic is isogenous to the Picard variety obtained by this construction.
For a smooth manifold $X$ equipped with a volume form, let $\dL$ be the Lie algebra of volume preserving smooth vector fields on $X$. A. Lichnerowicz proved that the abelianization of $\dL$ is a finite-dimensional vector space, and that its dimension depends only on the topology of $X$. In this paper we provide analogous results for some classical examples of non-singular complex affine algebraic varieties that admit a nowhere-zero algebraic form of top degree (which plays the role of a volume form).
This note is about cycle-theoretic properties of the Fano variety of lines on a smooth cubic fivefold. The arguments are based on the fact that this Fano variety has finite-dimensional motive. We also present some results concerning Chow groups of Fano varieties of lines on certain cubics in other dimensions.
We present a modern proof of a theorem of Rosenlicht, asserting that every variety as in the title is isomorphic to a product of affine lines and punctured affine lines.