Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAugmented Homotopical Algebraic Geometry
403
0
0.0
(
0
)
Authors
Scott Balchin
Ask ChatGPT about the research
No Arabic abstract
We develop the framework for augmented homotopical algebraic geometry. This is an extension of homotopical algebraic geometry, which itself is a homotopification of classical algebraic geometry. To do so, we define the notion of augmentation categories, which are a special class of generalised Reedy categories. For an augmentation category, we prove the existence of a closed Quillen model structure on the presheaf category which is compatible with the Kan-Quillen model structure on simplicial sets. Moreover, we use the concept of augmented hypercovers to define a local model structure on the category of augmented presheaves. We prove that crossed simplicial groups, and the planar rooted tree category are examples of augmentation categories. Finally, we introduce a method for generating new examples from old via a categorical pushout construction.
rate research
Read More
This is an expanded version of the two papers Interpolation of Varieties of Minimal Degree and Interpolation Problems: Del Pezzo Surfaces. It is well known that one can find a rational normal curve in $mathbb P^n$ through $n+3$ general points. More recently, it was shown that one can always find nonspecial curves through the expected number of general points and linear spaces. After some expository material regarding scrolls, we consider the generalization of this question to varieties of all dimensions and explain why smooth varieties of minimal degree satisfy interpolation. We give twenty-two equivalent formulations of interpolation. We also classify when Castelnuovo curves satisfy weak interpolation. In the appendix, we prove that del Pezzo surfaces satisfy weak interpolation. Our techniques for proving interpolation include deformation theory, degeneration and specialization, and association.
We give scheme-theoretic descriptions of the category of fibre functors on the categories of sheaves associated to the Zariski, Nisnevich, etale, rh, cdh, ldh, eh, qfh, and h topologies on the category of separated schemes of finite type over a separated noetherian base. Combined with a theorem of Deligne on the existence of enough points, this provides an algebro-geometric description of a conservative family of fibre functors on these categories of sheaves. As an example of an application we show direct image along a closed immersion is exact for all these topologies except qfh. The methods are transportable to other categories of sheaves as well.
We develop a collection of numerical algorithms which connect ideas from polyhedral geometry and algebraic geometry. The first algorithm we develop functions as a numerical oracle for the Newton polytope of a hypersurface and is based on ideas of Hauenstein and Sottile. Additionally, we construct a numerical tropical membership algorithm which uses the former algorithm as a subroutine. Based on recent results of Esterov, we give an algorithm which recursively solves a sparse polynomial system when the support of that system is either lacunary or triangular. Prior to explaining these results, we give necessary background on polytopes, algebraic geometry, monodromy groups of branched covers, and numerical algebraic geometry.
A family of algebraic curves covering a projective variety $X$ is called a web of curves on $X$ if it has only finitely many members through a general point of $X$. A web of curves on $X$ induces a web-structure, in the sense of local differential geometry, in a neighborhood of a general point of $X$. We study how the local differential geometry of the web-structure affects the global algebraic geometry of $X$. Under two geometric assumptions on the web-structure, the pairwise non-integrability condition and the bracket-generating condition, we prove that the local differential geometry determines the global algebraic geometry of $X$, up to generically finite algebraic correspondences. The two geometric assumptions are satisfied, for example, when $X subset {bf P}^N$ is a Fano submanifold of Picard number 1, and the family of lines covering $X$ becomes a web. In this special case, we have a stronger result that the local differential geometry of the web-structure determines $X$ up to biregular equivalences. As an application, we show that if $X, X subset {bf P}^N, dim X geq 3,$ are two such Fano manifolds of Picard number 1, then any surjective morphism $f: X to X$ is an isomorphism.
Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling geometric constraints that are physically meaningful, real algebraic geometry is a core mathematical input for geometric constraint systems.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
