Searcharxiv⌕ Search

arXiv subjects

Matthew Weaver

Publications and source records attributed to Matthew Weaver.

13 recordsLinked to original sources
arXiv2026

Tensor product surfaces and graded syzygies

Let $U\subseteq H^0(\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1}(a,b))$ be a four-dimensional vector space and consider the rational map $\phi_U:\,\mathbb{P}^1\times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$ defined by its basis of bihomogeneous polynomials. The tensor product surface $X_U\subseteq \mathbb{P}^3$ is the closed image of $\phi_U$, and a fundamental problem in this setting is to determine its implicit equation. As these surfaces are ubiquitous within the field of geometric modeling and design, knowledge of their implicit equations is particularly advantageous, allowing for more effective and efficient computations. In this article, we expand upon work of Duarte-Schenck and work of the present author to solve this implicitization problem when the bigraded ideal $I_U$ admits a singly graded syzygy.

math.AG↗
arXiv2026

Translational surfaces and iterated resultants

A translational surface is a tensor product surface constructed from two space curves by translating one along the other. These surfaces are common within geometric modeling and, since their description is parametric, it is desirable to obtain the implicit equation of such a surface. These surfaces have been studied thoroughly by Goldman and Wang, where a particular set of syzygies was identified and shown to yield the implicit equation through an inhomogeneous resultant. As this method may fail in the presence of ill-behaved basepoints of the parameterization, we offer an alternative method in this article using iterated homogeneous resultants. The algorithm presented here involves smaller Sylvester matrices overall, potentially resulting in faster computation, and succeeds in many instances where the previous method cannot be applied.

math.AG↗
arXiv2025

On Rees algebras and de Jonqui\`eres transformations

We recall a higher dimension analog of the classic plane de Jonqui\`eres transformations, as given by Hassanzadeh and Simis. Such a parameterization defines a birational map from $\mathbb{P}^{n-1}$ to a hypersurface in $\mathbb{P}^{n}$, and a natural question that arises is how to obtain its implicit equation. We pass from the image of this map to its graph, and implicitize the Rees algebra of the ideal of the de Jonqui\`eres map when its underlying Cremona support is tame. We then consider the Rees rings of ideals of generalized de Jonqui\`eres transformations, and answer a conjecture of Ramos and Simis.

math.AC↗
arXiv2025

Blowups of hypersurfaces

A classical result of Micali asserts that a Noetherian local ring is regular if and only if the Rees algebra of its maximal ideal is defined by an ideal of linear forms. In this case, this defining ideal may be realized as a determinantal ideal of generic height, and so the Rees ring is easily resolved by the Eagon-Northcott complex, providing a wealth of information. If $R$ is a non-regular local ring, it is interesting to ask how far the Rees ring of its maximal ideal strays from this form, and whether any homological data can be recovered. In this paper, we answer this question for hypersurface rings, and provide a minimal generating set for the defining ideal of the Rees ring. Furthermore, we determine the Cohen-Macaulayness of this algebra, along with several other invariants.

math.AC↗
arXiv2025

Tensor product surfaces and quadratic syzygies

For $U\subseteq H^0(\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1}(a,b))$ a four-dimensional vector space, a basis $\{p_0,p_1,p_2,p_3\}$ of $U$ defines a rational map $\phi_U:\,\mathbb{P}^1\times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$. The tensor product surface associated to $U$ is the closed image $X_U$ of the map $\phi_U$. These surfaces arise within the field of geometric modelling, in which case it is particularly desirable to obtain the implicit equation of $X_U$. In this paper, we study $X_U$ via the syzygies of the associated bigraded ideal $I_U=(p_0,p_1,p_2,p_3)$ when $U$ is free of basepoints, i.e. $\phi_U$ is regular. Expanding upon work of Duarte and Schenck for such ideals with a linear syzygy, we address the case that $I_U$ has a quadratic syzygy.

math.AC↗
arXiv2024

On Rees algebras of ideals and modules with weak residual conditions

Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring $\mathcal{R}(E)$ is well understood. In this paper, we study $\mathcal{R}(E)$ when this generation condition holds only up to codimension $s-1$, for some $s<d$. Moreover, we provide a generating set for the ideal defining this algebra by employing a method of successive approximations of the Rees ring. Although we employ techniques regarding Rees rings of modules, our findings recover and extend known results for Rees algebras of perfect ideals with grade two in the case that $\mathrm{rank} \, E=1$.

math.AC↗
arXiv2024

Duality and the equations of Rees rings and tangent algebras

Let $E$ be a module of projective dimension one over a Noetherian ring $R$ and consider its Rees algebra $\mathcal{R}(E)$. We study this ring as a quotient of the symmetric algebra $\mathcal{S}(E)$ and consider the ideal $\mathcal{A}$ defining this quotient. In the case that $\mathcal{S}(E)$ is a complete intersection ring, we employ a duality between $\mathcal{A}$ and $\mathcal{S}(E)$ in order to study the Rees ring $\mathcal{R}(E)$ in multiple settings. In particular, when $R$ is a complete intersection ring defined by quadrics, we consider its module of K\"ahler differentials $\Omega_{R/k}$ and its associated tangent algebras.

math.AC↗
arXiv2023

On Rees algebras of linearly presented ideals and modules

Let $I$ be a perfect ideal of height two in $R=k[x_1, \ldots, x_d]$ and let $\varphi$ denote its Hilbert-Burch matrix. When $\varphi$ has linear entries, the algebraic structure of the Rees algebra $\mathcal{R}(I)$ is well-understood under the additional assumption that the minimal number of generators of $I$ is bounded locally up to codimension $d-1$. In the first part of this article, we determine the defining ideal of $\mathcal{R}(I)$ under the weaker assumption that such condition holds only up to codimension $d-2$, generalizing previous work of P.~H.~L.~Nguyen. In the second part, we use generic Bourbaki ideals to extend our findings to Rees algebras of linearly presented modules of projective dimension one.

math.AC↗
arXiv2023

The equations of Rees algebras of height three Gorenstein ideals in hypersurface rings

We study the Rees algebra of a perfect Gorenstein ideal of codimension 3 in a hypersurface ring. We provide a minimal generating set of the defining ideal of these rings by introducing a modified Jacobian dual and applying a recursive algorithm. Once the defining equations are known, we explore properties of these Rees algebras such as Cohen-Macaulayness and Castelnuovo-Mumford regularity.

math.AC↗
arXiv2021

Autonomous Navigation System from Simultaneous Localization and Mapping

This paper presents the development of a Simultaneous Localization and Mapping (SLAM) based Autonomous Navigation system. The motivation for this study was to find a solution for navigating interior spaces autonomously. Interior navigation is challenging as it can be forever evolving. Solving this issue is necessary for multitude of services, like cleaning, the health industry, and in manufacturing industries. The focus of this paper is the description of the SLAM-based software architecture developed for this proposed autonomous system. A potential application of this system, oriented to a smart wheelchair, was evaluated. Current interior navigation solutions require some sort of guiding line, like a black line on the floor. With this proposed solution, interiors do not require renovation to accommodate this solution. The source code of this application has been made open source so that it could be re-purposed for a similar application. Also, this open-source project is envisioned to be improved by the broad open-source community upon past its current state.

cs.RO↗
arXiv2021

On Rees algebras of ideals and modules over hypersurface rings

The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of hypersurface rings and produce a minimal generating set for their defining ideals. Then, using generic Bourbaki ideals, we study Rees algebras of modules with projective dimension one over hypersurface rings. We describe the defining ideal of such algebras and determine Cohen-Macaulayness and other invariants.

math.AC↗
arXiv2018

Strong Thermo-mechanical Squeezing in a far detuned Membrane-in-the-middle System

We demonstrate 8.5 dB thermal squeezing of a membrane oscillator using the dynamical backaction effect and electrostatic feedback in an optomechanical membrane-in-the-middle setup. We show that strong squeezing can be obtained even in the far detuning regime of a sideband-resolved system. By using the dielectrophoretic force of a metallic needle kept in close proximity to the membrane, we implement the one-quadrature active feedback scheme to prevent the divergence of the amplified quadrature and surpass the 3 dB limit of mechanical squeezing. We also discuss different regions of the sideband spectrum where strong squeezing can be obtained. Although the demonstration here is classical, this technique is equally applicable to prepare the mechanical oscillator in a quantum squeezed state.

physics.optics↗