相关论文: Computing the space of differential forms of a pla…
We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the…
We compute the dimension of the image of the forgetful map from $Z$ to the moduli space of curves, where $Z$ is a connected component of the stratum of $k$-differentials with an assigned partition $\mu$, for the cases when $k=1$ with…
We present a certified algorithm based on subdivision for computing an isotopic approximation to any number of curves in the plane. Our algorithm is based on the certified curve approximation algorithm of Plantinga and Vegter. The main…
We present a certified algorithm based on subdivision for computing an isotopic approximation to any number of curves in the plane. Our algorithm is based on the certified curve approximation algorithm of Plantinga and Vegter. The main…
Cutting plane methods, particularly outer approximation, are a well-established approach for solving nonlinear discrete optimization problems without relaxing the integrality of decision variables. While powerful in theory, their…
This note presents a formula for the enumerative invariants of arbitrary genus in toric surfaces. The formula computes the number of curves of a given genus through a collection of generic points in the surface. The answer is given in terms…
We construct a two-dimensional topological sigma model whose target space is endowed with a Poisson algebra for differential forms. The model consists of an equal number of bosonic and fermionic fields of worldsheet form degrees zero and…
One particular approach to quantum groups (matrix pseudo groups) provides the Manin quantum plane. Assuming an appropriate set of non-commuting variables spanning linearly a representation space one is able to show that the endomorphisms on…
We describe an algorithm that provably computes the rational torsion subgroup of the Jacobian of a curve without relying on height bounds. Instead, the strategy is to find upper bounds for the torsion subgroup using reduction modulo primes,…
Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing…
A classical result in differential geometry states that for a free and proper Lie group action, the quotient map to the orbit space induces an isomorphism between the de Rham complex of differential forms on the orbit space and the basic…
A differential geometric approach to singular perturbation theory is presented. It is shown that singular perturbation problems such as multiple-scale and boundary layer problems can be treated more easily on a differential geometric basis.…
We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and…
A non--commutative analogue of the classical differential forms is constructed on the phase--space of an arbitrary quantum system. The non--commutative forms are universal and are related to the quantum mechanical dynamics in the same way…
We show how the computer algebra system OSCAR can be used to obtain topologically correct or visually pleasing drawings of real plane algebraic curves.
In this paper we consider plane quartics with to involutions. We compute the Dixmier invariants, the bitangents and the Matrix representation problem of these curves, showing that they have symbolic solutions for the last two questions.
$\mathcal{I}$-non-degenerate spaces are spacetimes that can be characterized uniquely by their scalar curvature invariants. The ultimate goal of the current work is to construct a basis for the scalar polynomial curvature invariants in…
We study private matrix analysis in the sliding window model where only the last $W$ updates to matrices are considered useful for analysis. We give first efficient $o(W)$ space differentially private algorithms for spectral approximation,…
We present the first steps of a procedure which discretises surface theory in classical projective differential geometry in such a manner that underlying integrable structure is preserved. We propose a canonical frame in terms of which the…
Under conditions that prevent tangential intersection, we prove quadratic convergence of a projection algorithm for the feasibility problem of finding a point in the intersection of a smooth curve and line in $\mathbb{R}^2$. This nonconvex…