Related papers: Euclidean quadratic forms are ADC forms: A short p…
In this paper we will show that the pull-back of any regular differential form defined on the smooth locus of a good quotient of dimension three and four to any resolution yields a regular differential form.
We give an affirmative answer to a 1976 question of M. Rosen: every abelian group is isomorphic to the class group of an elliptic Dedekind domain R. We can choose R to be the integral closure of a PID in a separable quadratic field…
We strengthen the standard bifurcation theorems for saddle-node, transcritical, pitchfork, and period-doubling bifurcations of maps. Our new formulation involves adding one or two extra terms to the standard truncated normal forms with…
We propose a notion of discrete elastic and area-constrained elastic curves in 2-dimensional space forms. Our definition extends the well-known discrete Euclidean curvature equation to space forms and reflects various geometric properties…
We study the minimal number of variables required by a totally positive definite diagonal universal quadratic form over a real quadratic field $\mathbb Q(\sqrt D)$ and obtain lower and upper bounds for it in terms of certain sums of…
We introduce the concept of Almost-Companion Matrix (ACM) by relaxing the non-derogatory property of the standard Companion Matrix (CM). That is, we define an ACM as a matrix whose characteristic polynomial coincides with a given monic and…
Superconformal surfaces in Euclidean space are the ones for which the ellipse of curvature at any point is a nondegenerate circle. They can be characterized as the surfaces for which a well-known pointwise inequality relating the intrinsic…
This note is supposed to answer some questions on deformation theory in derived algebraic geometry. We show that derived algebraic geometry allows for a geometrical interpretation of the full cotangent complex and gives a natural setting…
We describe the Dedekind cuts explicitly in terms of non-standard rational numbers. This leads to another construction of a Dedekind complete totally ordered field or, equivalently, to another proof of the consistency of the axioms of the…
Over a field of characteristic 2, we give a complete classification of quadratic and bilinear forms of dimension 5 that are minimal over the function field of an arbitrary conic. This completes the unique known case due to Faivre concerning…
In this paper we present an approach to quadratic structures in derived algebraic geometry. We define derived n-shifted quadratic complexes, over derived affine stacks and over general derived stacks, and give several examples of those. We…
By Hartman--Nirenberg's theorem, any complete flat hypersurface in Euclidean space must be a cylinder over a plane curve. However, if we admit some singularities, there are many non-trivial examples. Flat fronts are flat hypersurfaces with…
For quadratic forms in $4$ variables defined over the rational function field in one variable over $\mathbb C(\!(t)\!)$, the validity of the local-global principle for isotropy with respect to different sets of discrete valuations is…
We study some properties of quadratic forms with values in a field whose underlying vector spaces are endowed with the structure of right vector spaces over a division ring extension of that field. Some generalized notions of isotropy,…
The hyperbolic structure on a 3-dimensional cone-manifold with a knot as singularity can often be deformed into a limiting Euclidean structure. In the present paper we show that the respective normalised Euclidean volume is always an…
Geodesically complete affine manifolds are quotients of the Euclidean space through a properly discontinuous action of a subgroup of affine Euclidean transformations. An equivalent definition is that the tangent bundle of such a manifold…
In analogy with the 290-Theorem of Bhargava-Hanke, a criterion set is a finite subset $C$ of the totally positive integers in a given totally real number field such that if a quadratic form represents all elements of $C$, then it…
Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that describe elementary constructions by idealized geometric tools (pencil, straightedge…
We give a new short proof of Skowronski and Weyman's theorem about the structure of the algebras of semi-invariants of Euclidean quivers, in the case of quivers without oriented cycles. Our proof is based essentially on Derksen and Weyman's…
We study the congruence classes attained by positive integers $D$ with a prescribed period of the continued fraction of $\sqrt D$. As an application, we refine the available results on large ranks of universal quadratic forms over real…