Dimensional Hypersurface Research Articles

Partition of the space of planar quintic Pythagorean-hodograph curves

The quintics are the lowest–order planar Pythagorean–hodograph (PH) curves suitable for free–form design, since they can exhibit inflections. A quintic PH curve r(t) may be constructed from a complex quadratic pre–image polynomial w(t) by integration of r′(t)=w2(t), and it thus incorporates (modulo translations) six real parameters — the real and imaginary parts of the coefficients of w(t). Within this 6–dimensional space of planar PH quintics, a 5–dimensional hypersurface separates the inflectional and non–inflectional curves. Points of the hypersurface identify exceptional curves that possess a tangent–continuous point of infinite curvature, corresponding to the fact that the parabolic locus specified by the quadratic pre–image polynomial w(t) passes through the origin of the complex plane. Correspondingly, extreme curvatures and tight loops on r(t) are incurred by a close proximity of w(t) to the origin of the complex plane. These observations provide useful insight into the disparate shapes of the four distinct PH quintic solutions to the first–order Hermite interpolation problem.

On global dynamics of type-K competitive Kolmogorov differential systems

This paper deals with global asymptotic behaviour of the dynamics for N-dimensional type-K competitive Kolmogorov systems of differential equations defined in the first orthant. It is known that the backward dynamics of such systems is type-K monotone. Assuming the system is dissipative and the origin is a repeller, it is proved that there exists a compact invariant set Σ which separates the basin of repulsion of the origin and the basin of repulsion of infinity and attracts all the non-trivial orbits. There are two closed sets S H and S V , their restriction to the interior of the first orthant are -dimensional hypersurfaces, such that the asymptotic dynamics of the type-K system in the first orthant can be described by a system on either S H or S V : each trajectory in the interior of the first orthant is asymptotic to one in S H and one in S V . Geometric and asymptotic features of the global attractor Σ are investigated. It is proved that the partition holds such that and . Thus, Σ0 contains all the ω-limit sets for all interior trajectories of any type-K subsystems and the closure as a subset of Σ is invariant and the upper boundary of the basin of repulsion of the origin. This Σ has the same asymptotic feature as the modified carrying simplex for a competitive system: every nontrivial trajectory below Σ is asymptotic to one in Σ and the ω-limit set is in Σ for every other nontrivial trajectory.

Iterated and mixed discriminants

Classical work by Salmon and Bromwich classified singular intersections of two quadric surfaces. The basic idea of these results was already pursued by Cayley in connection with tangent intersections of conics in the plane and used by Schäfli for the study of hyperdeterminants. More recently, the problem has been revisited with similar tools in the context of geometric modeling and a generalization to the case of two higher dimensional quadric hypersurfaces was given by Ottaviani. We propose and study a generalization of this question for systems of Laurent polynomials with support on a fixed point configuration. In the non-defective case, the closure of the locus of coefficients giving a non-degenerate multiple root of the system is defined by a polynomial called the mixed discriminant . We define a related polynomial called the multivariate iterated discriminant , generalizing the classical Schäfli method for hyperdeterminants. This iterated discriminant is easier to compute and we prove that it is always divisible by the mixed discriminant. We show that tangent intersections can be computed via iteration if and only if the singular locus of a corresponding dual variety has sufficiently high codimension. We also study when point configurations corresponding to Segre–Veronese varieties and to the lattice points of planar smooth polygons, have their iterated discriminant equal to their mixed discriminant.

Stable minimal hypersurfaces in ℝ^N+1+ℓ with singular set an arbitrary closed K⊂{0}×ℝ^ℓ

With respect to a $C^\infty$ metric which is close to the standard Euclidean metric on $\mathbb{R}^{N+1+\ell}$, where $N\ge 7$ and $\ell\ge 1$ are given, we construct a class of embedded $(N+\ell)$-dimensional hypersurfaces (without boundary) which are minimal and strictly stable, and which have singular set equal to an arbitrary preassigned closed subset $K\subset \{0\}\times \mathbb{R}^{\ell}$. Thus the question is settled, with a strong affirmative, as to whether there can be " gaps" or even fractional dimensional parts in the singular set. Such questions, for both stable and unstable minimal submanifolds, remain open in all dimensions in the case of real analytic metrics and, in particular, for the standard Euclidean metric. The construction used here involves the analysis of solutions $u$ of the symmetric minimal surface equation on domains $\Omega\subset\mathbb{R}^{n}$ whose symmetric graphs (i.e., $\{(x,\xi)\in\Omega\times \mathbb{R}^{m}: |\xi| = u(x)\}$) lie on one side of a cylindrical minimal cone including, in particular, a Liouville type theorem for complete solutions (i.e., the case $\Omega=\mathbb{R}^{n}$).

Codimension 1 distributions on three dimensional hypersurfaces

We show that codimension 1 distributions with at most isolated singularities on threefold hypersurfaces Xd ⊂ P4 of degree d provide interesting examples of stable rank 2 reflexive sheaves. When d ≤ 5, these sheaves can be regarded as smooth points within an irreducible component of the moduli space of stable reflexive sheaves. Our second goal goes in the reverse direction: we start from a well-known family of stable locally free sheaves and provide examples of codimension 1 distributions of local complete intersection type on Xd.

Canonical Quantization of Yang-Mills Theory in Curved Space-time

The framework of canonical quantization of quantum field is given by Lagrangian (not Lagrangian density) formulation to avoid the problem of transfer physical quantities from 4–dimensional space–time to 3–dimensional position space (3–dimensional hypersurface with normal vector dt).

Derived categories of flips and cubic hypersurfaces

A classical result of Bondal-Orlov states that a standard flip in birational geometry gives rise to a fully faithful functor between derived categories of coherent sheaves. We complete their embedding into a semiorthogonal decomposition by describing the complement. As an application, we can lift the "quadratic Fano correspondence" (due to Galkin-Shinder) in the Grothendieck ring of varieties between a smooth cubic hypersurface, its Fano variety of lines, and its Hilbert square, to a semiorthogonal decomposition. We also show that the Hilbert square of a cubic hypersurface of dimension at least 3 is again a Fano variety, so in particular the Fano variety of lines on a cubic hypersurface is a Fano visitor. The most interesting case is that of a cubic fourfold, where this exhibits the first higher-dimensional hyperk\"ahler variety as a Fano visitor.

Homogeneous quasimorphisms, $C^0$-topology and Lagrangian intersection

We construct an example of a non-trivial homogeneous quasimorphism on the group of Hamiltonian diffeomorphisms of the two and four dimensional quadric hypersurfaces which is continuous with respect to both the C^0 -metric and the Hofer metric. This answers a variant of a question of Entov–Polterovich–Py which is one of the open problems listed in the monograph of McDuff–Salamon. Throughout the proof, we make extensive use of the idea of working with different coefficient fields in quantum cohomology rings. As a by-product of the arguments in the paper, we answer a question of Polterovich–Wu regarding homogeneous quasimorphisms on the group of Hamiltonian diffeomorphisms of the complex projective plane and prove some intersection results about Lagrangians in the four dimensional quadric hypersurface.

Homological mirror symmetry for Milnor fibers via moduli of A∞$A_\infty$‐structures

We show that the base spaces of the semiuniversal unfoldings of some weighted homogeneous singularities can be identified with moduli spaces of A ∞ $A_\infty$ -structures on the trivial extension algebras of the endomorphism algebras of the tilting objects. The same algebras also appear in the Fukaya categories of their mirrors. Based on these identifications, we discuss applications to homological mirror symmetry for Milnor fibers, and give a proof of homological mirror symmetry for an n $n$ -dimensional affine hypersurface of degree n + 2 $n+2$ and the double cover of the n $n$ -dimensional affine space branched along a degree 2 n + 2 $2n+2$ hypersurface. Along the way, we also give a proof of a conjecture of Seidel (Proceedings of the International Congress of Mathematicians, 2002) which may be of independent interest.

On cubic fourfolds with an inductive structure

We study the number of planes in four dimensional projective hypersurfaces which have so-called inductive structure. We also determine transcendental lattices of cubic fourfolds of this type.

On the minimality of quasi‐sum production models in microeconomics

Historically, the minimality of surfaces is extremely important in mathematics, and the study of minimal surfaces is a central problem, which has been widely concerned by mathematicians. Meanwhile, the study of the shape and the properties of the production models is a great interest subject in economic analysis. The aim of this paper is to study the minimality of quasi‐sum production functions as graphs in a Euclidean space. We obtain minimal characterizations of quasi‐sum production functions with two or three factors as hypersurfaces in Euclidean spaces. As a result, our results also give a classification of minimal quasi‐sum hypersurfaces in dimensions two and three.

Quantum chemical calculation of normal vibration frequencies of polyatomic molecules

Quantum calculation of molecular vibrational frequency is important in investigating infrared spectrum and Raman spectrum. In this work, a low computational cost method of calculating the quantum chemistry of vibrational frequencies for large molecules is proposed. Usually, the calculation of vibrational frequency of a molecule containing <i>N</i> atoms needs to deal with the Hessian matrix, which consists of second derivatives of the 3<i>N</i>-dimensional potential hypersurface, and then solve secular equations of the matrix to obtain normal vibration modes and the corresponding frequencies. Larger <i>N</i> implies higher computational cost. Therefore, for a limited computational hardware condition, higher-level computations for large <i>N</i> atomic molecule’s vibrational frequencies cannot be implemented in practice. Here we solve this problem by calculating the vibrational frequency for only one vibrational mode each time instead of calculating the Hessian matrix to obtain all vibrational frequencies. When only one vibrational mode is taken into consideration, the molecular potential hypersurface can be transformed into one-dimensional curve. Hence, we can calculate the curve with high-level computational method, then deduce the expression of one-dimensional curve by using harmonic oscillating approximation and obtain the vibrational frequency by using the expression to fit the curve. It should be noted that this method is applied to vibrational modes whose vibrational coordinates can be completely determined by equilibrium geometry and the molecular symmetry and be independent of the molecular force constants. It requires that there exists no other vibrational mode with the same symmetry but with different frequencies. The lower computational cost for a one-dimensional potential curve than that for 3<i>N</i>-dimensional potential hypersurface’s second derivatives permits us to use higher-level method and larger basis set for a given computational hardware condition to achieve more accurate results. In this paper we take the calculation of<i> B</i><sub>2</sub> vibrational frequency of water molecule for example to illustrate the feasibility of this method. Furthermore, we use this method to deal with the SF<sub>6</sub> molecule. It has 7 atoms and 70 electrons, hence there exists a large amount of electronic correlation energy to be calculated. The MRCI is an effective method to calculate the correlation energy. But by now no MRCI result of SF<sub>6</sub> vibrational frequencies has been reported. So here we use MRCI/6-311G* to calculate the potential curves of A<sub>1g</sub>, E<sub>g</sub>, T<sub>2g</sub> and T<sub>2u</sub> vibrational modes separately, deduce their expressions, then use the expressions to fit the curves, and finally obtain the vibrational frequencies. The results are then compared with those obtained by other theoretical methods including HF, MP2, CISD, CCSD(T) and B3LYP methods through using the same 6-311G* basis set. It is shown that the relative error to experimental result of the MRCI method is the least in the results from all these methods.

On the geometry of the symmetrized bidisc

We study the action of the automorphism group of the $2$ complex dimensional manifold symmetrized bidisc $\mathbb{G}$ on itself. The automorphism group is 3 real dimensional. It foliates $\mathbb{G}$ into leaves all of which are 3 real dimensional hypersurfaces except one, viz., the royal variety. This leads us to investigate Isaev's classification of all Kobayashi-hyperbolic 2 complex dimensional manifolds for which the group of holomorphic automorphisms has real dimension 3 studied by Isaev. Indeed, we produce a biholomorphism between the symmetrized bidisc and the domain \[\{(z_1,z_2)\in \mathbb{C} ^2 : 1+|z_1|^2-|z_2|^2>|1+ z_1 ^2 -z_2 ^2|, Im(z_1 (1+\overline{z_2}))>0\}\] in Isaev's list. Isaev calls it $\mathcal D_1$. The road to the biholomorphism is paved with various geometric insights about $\mathbb{G}$. Several consequences of the biholomorphism follow including two new characterizations of the symmetrized bidisc and several new characterizations of $\mathcal D_1$. Among the results on $\mathcal D_1$, of particular interest is the fact that $\mathcal D_1$ is a symmetrization. When we symmetrize (appropriately defined in the context in the last section) either $\Omega_1$ or $\mathcal{D}^{(2)}_1$ (Isaev's notation), we get $\mathcal D_1$. These two domains $\Omega_1$ and $\mathcal{D}^{(2)}_1$ are in Isaev's list and he mentioned that these are biholomorphic to $\mathbb{D} \times \mathbb{D}$. We produce explicit biholomorphisms between these domains and $\mathbb{D} \times \mathbb{D}$.

Existence of single peak solutions for a nonlinear Schrödinger system with coupled quadratic nonlinearity

Abstract We are concerned with the following Schrödinger system with coupled quadratic nonlinearity − ε 2 Δ v + P ( x ) v = μ v w , x ∈ R N , − ε 2 Δ w + Q ( x ) w = μ 2 v 2 + γ w 2 , x ∈ R N , v > 0 , w > 0 , v , w ∈ H 1 R N , $$\begin{equation}\left\{\begin{array}{ll}-\varepsilon^{2} \Delta v+P(x) v=\mu v w, & x \in \mathbb{R}^{N}, \\ -\varepsilon^{2} \Delta w+Q(x) w=\frac{\mu}{2} v^{2}+\gamma w^{2}, & x \in \mathbb{R}^{N}, \\ v>0, \quad w>0, & v, w \in H^{1}\left(\mathbb{R}^{N}\right),\end{array}\right. \end{equation}$$ which arises from second-harmonic generation in quadratic media. Here ε > 0 is a small parameter, 2 ≤ N < 6, μ > 0 and μ > γ, P(x), Q(x) are positive function potentials. By applying reduction method, we prove that if x 0 is a non-degenerate critical point of Δ(P + Q) on some closed N − 1 dimensional hypersurface, then the system above has a single peak solution (vε , wε ) concentrating at x 0 for ε small enough.

Modified equilibrium distributions for Cooper-Frye particlization

We introduce a positive definite single-particle distribution that is suitable for describing the transition from a macroscopic hydrodynamic to a microscopic kinetic description during the late stages of heavy-ion collisions in the presence of moderately large viscous corrections. The modified equilibrium distribution function can be constructed with hydrodynamic input from either relativistic viscous fluid dynamics or anisotropic fluid dynamics. We test the modified equilibrium distribution's hydrodynamic output for a stationary hadron resonance gas subject to either shear stress, bulk pressure, or baryon diffusion current at a given freeze-out temperature and baryon chemical potential. While it does not reproduce all components of the net baryon current and energy-momentum tensor exactly, it significantly improves upon the customary linearized approximations for the non-equilibrium correction $\delta f_n$ which typically lead to unphysical negative distribution functions at large particle momenta. A comparison of particle spectra and $p_T$-differential elliptic flow coefficients from the Cooper-Frye formula computed with the modified equilibrium distribution and with linearized $\delta f_n$ corrections is presented, for two different (2+1)-dimensional hypersurfaces corresponding to central and non-central Pb+Pb collisions at the Large Hadron Collider (LHC).

Periods of complete intersection algebraic cycles

For every even number $n$, and every $n$-dimensional smooth hypersurface of $\mathbb{P}^{n+1}$ of degree $d$, we compute the periods of all its $\frac{n}{2}$-dimensional complete intersection algebraic cycles. Furthermore, we determine the image of the given algebraic cycle under the cycle class map inside the De Rham cohomology group of the corresponding hypersurface in terms of its Griffiths basis and the polarization. As an application, we use this information to address variational Hodge conjecture for a non complete intersection algebraic cycle. We prove that the locus of general hypersurfaces containing two linear cycles whose intersection is of dimension less than $\frac{n}{2}-\frac{d}{d-2}$, corresponds to the Hodge locus of any integral combination of such linear cycles.

The tight approximation property

AbstractThis article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological obstructions to it) by incorporating an approximation condition in the Euclidean topology. We prove that the tight approximation property is a stable birational invariant, is compatible with fibrations, and satisfies descent under torsors of linear algebraic groups. Its validity for a number of rationally connected varieties follows. Some concrete consequences are: smooth loops in the real locus of a smooth compactification of a real linear algebraic group, or in a smooth cubic hypersurface of dimension≥2{\geq 2}, can be approximated by rational algebraic curves; homogeneous spaces of linear algebraic groups over the function field of a real curve satisfy weak approximation.

Three dimensional 2-Hopf hypersurfaces with harmonic curvature

In this paper we prove that there are no 2-Hopf hypersurfaces in a nonflat complex space form of complex dimension two with harmonic curvature.

Acoustic Realization of a Four-Dimensional Higher-Order Chern Insulator and Boundary-Modes Engineering

We present a theoretical study and experimental realization of a system that is simultaneously a four-dimensional (4D) Chern insulator and a higher-order topological insulator (HOTI). The system sustains the coexistence of (4-1)-dimensional chiral topological hypersurface modes (THMs) and (4-2)-dimensional chiral topological surface modes (TSMs). Our study reveals that the THMs are protected by second Chern numbers, and the TSMs are protected by a topological invariant composed of two first Chern numbers, each belonging a Chern insulator existing in sub-dimensions. With the synthetic coordinates fixed, the THMs and TSMs respectively manifest as topological edge modes (TEMs) and topological corner modes (TCMs) in the real space, which are experimentally observed in a 2D acoustic lattice. These TCMs are not related to quantized polarizations, making them fundamentally distinctive from existing examples. We further show that our 4D topological system offers an effective way for the manipulation of the frequency, location, and the number of the TCMs, which is highly desirable for applications.

Conformal hypersurface geometry via a boundary Loewner–Nirenberg–Yamabe problem

We develop an approach to the conformal geometry of embedded hyper- surfaces by treating them as conformal infinities of conformally compact manifolds. This involves the Loewner-Nirenberg-type problem of finding on the interior a metric that is both conformally compact and of constant scalar curvature. Our first main result is an asymptotic solution to all orders. This involves log terms. We show that the coefficient of the first of these is a hypersurface conformal invariant which gener- alises to higher dimensions the Willmore invariant of embedded surfaces. We call this the obstruction density and for even dimensional hypersurfaces this is a fundamental curvature invariant. We make the latter notion precise and show that the obstruction density and the trace-free second fundamental form are, in a suitable sense, the only such invariants. We also show that this obstruction to smoothness is a scalar density analog of the Fefferman-Graham obstruction tensor for Poincare-Einstein metrics; in part this is achieved by exploiting Bernstein-Gel'fand-Gel'fand machinery. The solu- tion to the constant scalar curvature problem provides a smooth hypersurface defining density determined canonically by the embedding up to the order of the obstruction. We give two key applications: the construction of conformal hypersurface invariants and the construction of conformal differential operators. In particular we present an infinite family of conformal powers of the Laplacian determined canonically by the conformal embedding. In general these depend non-trivially on the embedding and, in contrast to Graham-Jennes-Mason-Sparling operators intrinsic to even dimensional hypersurfaces, exist to all orders. These extrinsic conformal Laplacian powers deter- mine an explicit holographic formula for the obstruction density. We also use these to construct conformally invariant hypersurface functionals. On each even dimensional hypersurface they provide a higher dimensional generalisation of the Willmore energy functional. In particular the functional gradient, with respect to variation of embed- ding, has linear leading term and thus provides another generalisation of the Willmore equation. It agrees with the obstruction density equation at leading derivative order.