2,764 research outputs found
Recursive strategy for decomposing Betti tables of complete intersections
We introduce a recursive decomposition algorithm for the Betti diagram of a
complete intersection using the diagram of a complete intersection defined by a
subset of the original generators. This alternative algorithm is the main tool
that we use to investigate stability and compatibility of the Boij-Soederberg
decompositions of related diagrams; indeed, when the biggest generating degree
is sufficiently large, the alternative algorithm produces the Boij-Soederberg
decomposition. We also provide a detailed analysis of the Boij-Soederberg
decomposition for Betti diagrams of codimension four complete intersections
where the largest generating degree satisfies the size condition
Elimination Theory for Tropical Varieties
Tropical algebraic geometry offers new tools for elimination theory and
implicitization. We determine the tropicalization of the image of a subvariety
of an algebraic torus under any homomorphism from that torus to another torus.Comment: 19 page
Definable transformation to normal crossings over Henselian fields with separated analytic structure
We are concerned with rigid analytic geometry in the general setting of
Henselian fields with separated analytic structure, whose theory was
developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and
approaches of numerous mathematicians. Separated analytic structures admit
reasonable relative quantifier elimination in a suitable analytic language.
However, the rings of global analytic functions with two kinds of variables
seem not to have good algebraic properties such as Noetherianity or excellence.
Therefore the usual global resolution of singularities from rigid analytic
geometry is no longer at our disposal. Our main purpose is to give a definable
version of the canonical desingularization algorithm (the hypersurface case)
due to Bierstone--Milman so that both these powerful tools are available in the
realm of non-Archimedean analytic geometry at the same time. It will be carried
out within a category of definable, strong analytic manifolds and maps, which
is more flexible than that of affinoid varieties and maps. Strong analytic
objects are those definable ones that remain analytic over all fields
elementarily equivalent to . This condition may be regarded as a kind of
symmetry imposed on ordinary analytic objects. The strong analytic category
makes it possible to apply a model-theoretic compactness argument in the
absence of the ordinary topological compactness. On the other hand, our
closedness theorem enables application of resolution of singularities to
topological problems involving the topology induced by valuation. Eventually,
these three results will be applied to such issues as the existence of
definable retractions or extending continuous definable functions.Comment: This is the final version published in the journal Symmetry-Basel,
2019, 11, 93
Elimination of cusps in dimension 4 and its applications
We study a class of homotopies between maps from 4-manifolds to surfaces which we call cusp merges. These homotopies naturally appear in the uniqueness problems for certain pictorial descriptions of 4-manifolds derived from maps to the 2-sphere (for example, broken Lefschetz fibrations, wrinkled fibrations, or Morse 2-functions). Our main results provide a classification of cusp merge homotopies in terms of suitably framed curves in the source manifold, as well as a fairly explicit description of a parallel transport diffeomorphism associated to a cusp merge homotopy. The latter is the key ingredient in understanding how the aforementioned pictorial descriptions change under homotopies involving cusp merges. We apply our methods to the uniqueness problem of surface diagrams of 4-manifolds and describe algorithms to obtain surface diagrams for total spaces of (achiral) Lefschetz fibrations and 4-manifolds of the form M×S1, where M is a 3-manifold. Along the way we provide extensive background material about maps to surfaces and homotopies thereof and develop a theory of parallel transport that generalizes the use of gradient flows in Morse theory
Tensor decomposition and homotopy continuation
A computationally challenging classical elimination theory problem is to
compute polynomials which vanish on the set of tensors of a given rank. By
moving away from computing polynomials via elimination theory to computing
pseudowitness sets via numerical elimination theory, we develop computational
methods for computing ranks and border ranks of tensors along with
decompositions. More generally, we present our approach using joins of any
collection of irreducible and nondegenerate projective varieties
defined over . After computing
ranks over , we also explore computing real ranks. Various examples
are included to demonstrate this numerical algebraic geometric approach.Comment: We have added two examples: A Coppersmith-Winograd tensor, Matrix
multiplication with zeros. (26 pages, 1 figure
- …