Nonsingular Surface Research Articles

Rationality of descendent series for Hilbert and Quot schemes of surfaces

Quot schemes of quotients of a trivial bundle of arbitrary rank on a nonsingular projective surface X carry perfect obstruction theories and virtual fundamental classes whenever the quotient sheaf has at most 1-dimensional support. The associated generating series of virtual Euler characteristics was conjectured to be a rational function in Oprea and Pandharipande (in, Geom Topol. http://arxiv.org/abs/1903.08787 ) when X is simply connected. We conjecture here the rationality of more general descendent series with insertions obtained from the Chern characters of the tautological sheaf. We prove the rationality of descendent series in Hilbert scheme cases for all curve classes and in Quot scheme cases when the curve class is 0.

The virtual [formula omitted]-theory of Quot schemes of surfaces

We study virtual invariants of Quot schemes parametrizing quotients of dimension at most 1 of the trivial sheaf of rank N on nonsingular projective surfaces. We conjecture that the generating series of virtual K-theoretic invariants are given by rational functions. We prove rationality for several geometries including punctual quotients for all surfaces and dimension 1 quotients for surfaces X with pg>0. We also show that the generating series of virtual cobordism classes can be irrational.Given a K-theory class on X of rank r, we associate natural series of virtual Segre and Verlinde numbers. We show that the Segre and Verlinde series match in the following cases: •[(i)] Quot schemes of dimension 0 quotients,•[(ii)] Hilbert schemes of points and curves over surfaces with pg>0,•[(iii)] Quot schemes of minimal elliptic surfaces for quotients supported on fiber classes. Moreover, for punctual quotients of the trivial sheaf of rank N, we prove a new symmetry of the Segre/Verlinde series exchanging r and N. The Segre/Verlinde statements have analogues for punctual Quot schemes over curves.

Zero cycles on the moduli space of curves

While the Chow groups of 0-dimensional cycles on the moduli spaces of Deligne-Mumford stable pointed curves can be very complicated, the span of the 0-dimensional tautological cycles is always of rank 1. The question of whether a given moduli point [C,p_1,...,p_n] determines a tautological 0-cycle is subtle. Our main results address the question for curves on rational and K3 surfaces. If C is a nonsingular curve on a nonsingular rational surface of positive degree with respect to the anticanonical class, we prove [C,p_1,...,p_n] is tautological if the number of markings does not exceed the virtual dimension in Gromov-Witten theory of the moduli space of stable maps. If C is a nonsingular curve on a K3 surface, we prove [C,p_1,...,p_n] is tautological if the number of markings does not exceed the genus of C and every marking is a Beauville-Voisin point. The latter result provides a connection between the rank 1 tautological 0-cycles on the moduli of curves and the rank 1 tautological 0-cycles on K3 surfaces. Several further results related to tautological 0-cycles on the moduli spaces of curves are proven. Many open questions concerning the moduli points of curves on other surfaces (Abelian, Enriques, general type) are discussed.

Weyl and Zariski chambers on projective surfaces

Abstract Let X be a nonsingular complex projective surface. The Weyl and Zariski chambers give two interesting decompositions of the big cone of X. Following the ideas of [T. Bauer and M. Funke, Weyl and Zariski chambers on K3 surfaces, Forum Math. 24 2012, 3, 609–625] and [S. A. Rams and T. Szemberg, When are Zariski chambers numerically determined?, Forum Math. 28 2016, 6, 1159–1166], we study these two decompositions and determine when a Weyl chamber is contained in the interior of a Zariski chamber and vice versa. We also determine when a Weyl chamber can intersect non-trivially with a Zariski chamber.

On the disposition of cubic and pair of conics in a real projective plane

In the first part of the 16th Hilbert problem the question about the topology of nonsingular projective algebraic curves and surfaces was formulated. The problem on topology of algebraic manifolds with singularities belong to this subject too. The particular case of this problem is the study of curves that are decompozable into the product of curves in a general position. This paper deals with the problem of topological classification of mutual positions of a nonsingular curve of degree three and two nonsingular curves of degree two in the real projective plane. Additiolal conditions for this problem include general position of the curves and its maximality; in particular, the number of common points for each pair of curves-factors reaches its maximum. It is proved that the classification contains no more than six specific types of positions of the species under study. Four position types are built, and the question of realizability of the two remaining ones is open.

Automorphisms of an irregular surface of general type acting trivially in cohomology, III

Let S be a complex nonsingular minimal projective surface of general type. In this note we show that any automorphism of S of order three acts faithfully on $$H^2(S, \mathbb {Q})$$ provided that $$q(S)\ge 3$$ . In the case $$q(S)=2$$ , the classification for surfaces with an automorphism of order 3 acting trivially on $$H^2(S, \mathbb Q)$$ is given. We also construct surfaces S with such an automorphism.

Nested Hilbert schemes on surfaces: Virtual fundamental class

We construct virtual fundamental classes on nested Hilbert schemes of points and curves in complex nonsingular projective surfaces. These classes recover the virtual classes of Seiberg-Witten theory as well as the (reduced) stable theory, and play a crucial role in the reduced Donaldson-Thomas theory of local-surface-threefolds that we study in [15]. We show that certain integrals against the virtual fundamental classes of punctual nested Hilbert schemes are expressed as integrals over the products of the Hilbert scheme of points. We are able to find explicit formulas for some of these integrals by relating them to Carlsson-Okounkov's vertex operator formulas.

Field-only surface integral equations: scattering from a dielectric body.

An efficient field-only nonsingular surface integral method to solve Maxwell's equations for the components of the electric field on the surface of a dielectric scatterer is introduced. In this method, both the vector wave equation and the divergence-free constraint are satisfied inside and outside the scatterer. The divergence-free condition is replaced by an equivalent boundary condition that relates the normal derivatives of the electric field across the surface of the scatterer. Also, the continuity and jump conditions on the electric and magnetic fields are expressed in terms of the electric field across the surface of the scatterer. Together with these boundary conditions, the scalar Helmholtz equation for the components of the electric field inside and outside the scatterer is solved by a fully desingularized surface integral method. Compared with the most popular surface integral methods based on the Stratton-Chu formulation or the Poggio-Miller-Chew-Harrington-Wu-Tsai (PMCHWT) formulation, our method is conceptually simpler and numerically straightforward because there is no need to introduce intermediate quantities such as surface currents, and the use of complicated vector basis functions can be avoided altogether. Also, our method is not affected by numerical issues such as the zero-frequency catastrophe and does not contain integrals with (strong) singularities. To illustrate the robustness and versatility of our method, we show examples in the Rayleigh, Mie, and geometrical optics scattering regimes. Given the symmetry between the electric field and the magnetic field, our theoretical framework can also be used to solve for the magnetic field.

Cremona transformations of plane configurations of 6 points

We analyze how a set of 6 points of $\Rp 2$ in general position changes under quadratic Cremona transformations based at triples of points of the given six. As an application, we give an alternative approach to determining the deformation types (i.e. icosahedral, bipartite, tripartite and hexagonal) of 36 real Schlafli double sixes on any nonsingular real cubic surface performed by Segre.

Topology of real Schläfli six-line configurations on cubic surfaces and in ℝℙ³

A famous configuration of 27 lines on a non-singular cubic surface in P 3 \mathbb {P}^3 contains remarkable subconfigurations, and in particular the ones formed by six pairwise disjoint lines. We study such six-line configurations in the case of real cubic surfaces from a topological viewpoint, as configurations of six disjoint lines in the real projective 3-space, and show that the condition that they lie on a cubic surface implies a very special property of homogeneity. This property distinguishes them in the list of 11 deformation types of configurations formed by six disjoint lines in R P 3 \mathbb {RP}^3 .

Integrated Guidance and Control of Multiple Interceptor Missiles Based on Improved Distributed Cooperative Control Strategy

In this study, an improved cooperative integrated guidance and control (IGC) design method is proposed based on distributed networks to address the guidance and control problem of multiple interceptor missiles. An IGC model for a leading interceptor is constructed based on the relative kinematic relations between missiles and a target and the kinematic equations of the missiles in a pitch channel. The unknown disturbances of the model are estimated using a finite-time disturbance observer (FTDO). Then, the control algorithm for the leading interceptor is designed according to the disturbance estimation and nonsingular fast dynamic surface sliding mode control (SMC). To enhance the rate of convergence of the cooperative control commands for the interceptors, an improved cooperative control strategy is proposed based on the leader-follower distributed network. Consequently, the two velocity components of the interceptor in the pitch channel can be obtained, which are subsequently converted to the total velocity and flight path angle commands of the interceptor using kinematic relations. The control algorithm for the following interceptor is similarly designed using an FTDO and dynamic surface SMC. The effectiveness of the improved distributed cooperative control strategy for multiple interceptors is validated through simulations.

Topological classification of Liouville foliations for the Kovalevskaya integrable case on the Lie algebra so(4)

This paper is concerned with the topology of the Liouville foliation in the analogue of the Kovalevskaya integrable case on the Lie algebra . The Fomenko-Zieschang invariants (that is, marked molecules) for this foliation are calculated on each nonsingular iso-energy surface. A detailed description of the resulting stratification of the three- dimensional space of parameters of the iso-energy surfaces is given. Bibliography: 23 titles.

Integrated Guidance and Control of Multiple Interceptors with Impact Angle Constraints Considered

To solve the multi-interceptor coordination problem and to intercept the target with impact angle constraint, a novel distributed cooperative control algorithm with impact angle constraint based on integrated guidance and control is proposed. First, the mathematic model of integrated guidance and control is established by combining the interceptor-target relative motion model with the dynamic equation of the interceptor on pitch plane. The time varying gain extended state observer is developed to estimate and compensate the unknown disturbance. Based on the estimated value and fast nonsingular dynamic surface sliding control method, the IGC algorithm of leader is given; Then, based on distributed cooperative "leader-follower" model, the cooperative control strategy of multi-interceptor is designed, and gives out speeds in two directions on pitch plane, which are transformed to the command of total velocity and trajectory angle based on kinematic relations. Finally, to control the follower, the time varying gain extended state observer and the dynamic surface sliding control method are adopted. The simulation results demonstrate the effectiveness of the distributed cooperative control algorithm.

The combinatorics of Lehn's conjecture

Let $S$ be a nonsingular projective surface equipped with a line bundle $H$. Lehn's conjecture is a formula for the top Segre class of the tautological bundle associated to $H$ on the Hilbert scheme of points of $S$. Voisin has recently reduced Lehn's conjecture to the vanishing of certain coefficients of special power series. The first result here is a proof of the vanishings required by Voisin by residue calculations (A. Szenes and M. Vergne have independently found the same proof). Our second result is an elementary solution of the parallel question for the top Segre class on the symmetric power of a nonsingular projective curve $C$ associated to a higher rank vector bundle $V$ on $C$. Finally, we propose a complete conjecture for the top Segre class on the Hilbert scheme of points of $S$ associated to a higher rank vector bundle on $S$ in the $K$-trivial case.

Robust precision motion control of piezoelectric actuators using fast nonsingular terminal sliding mode with time delay estimation

Background: Piezoelectric actuators are widely used in many micro/nano-manipulation applications, but their positioning accuracy are badly affected by their inherent nonlinear hysteresis and creep. To solve this problem, this paper presents a new robust motion-control method for piezoelectric actuators with fast nonsingular terminal sliding mode based on time delay estimation. Method: The proposed controller needs no detailed information about the hysteresis and other nonlinearities of the system, leading to a simple and model-free characteristic due to the time delay estimation and ensures fast convergence and high tracking accuracy thanks to the nonsingular terminal sliding-mode surface and fast terminal sliding mode -type reaching law. A robust exact differentiator is adopted to estimate the velocity and accelerationinformation online, and it overcomes the limitation of only available position measurements. The finite-time convergence and stability of the closed-loop system are proved by using a Lyapunov function. Results: Experimental results show that the proposed control strategy has faster convergence and higher tracking precision compared with a traditional time delay control. Conclusion: The proposed control strategy can be widely used as an effective control method for high-precision motion control of piezoelectric actuators.

Active attitude fault-tolerant tracking control of flexible spacecraft via the Chebyshev neural network

This paper describes a novel finite-time attitude tracking control approach for flexible spacecraft. This is achieved by integrating sliding-mode control and the active real-time fault-tolerant reconfiguration method. In this approach, the attitude error dynamics and the kinematics of the flexible spacecraft are first established. Then, a nonsingular terminal sliding-mode surface is designed, based on finite-time control theory. Applying the Chebyshev neural network, the uncertain dynamics induced by external disturbances and uncertain inertia parameters are approximated and estimated. The nominal control law and the compensation control law to obtain the active reconfiguration fault-tolerant controller are finally developed in normal and fault conditions, respectively. The closed-loop tracking system is proved to be uniformly ultimately bounded stable after a finite time. Numerical simulations are presented for a flexible spacecraft to illustrate the efficiency of the proposed controller.

Transformation optics approach to singular metasurfaces

Surface plasmons dominate the optical response of metal surfaces, and their nature is controlled by surface geometry. Here we study metasurfaces containing singularities in the form of sharp edges and characterized by three quantum numbers despite the two-dimensional nature of the surface. We explore the nature of the plasmonic excitations, their ability to generate large concentrations of optical energy, and the transition from the discrete excitation spectrum of a non-singular surface to the continuous spectrum of a singular metasurface.

Nonsingular terminal sliding-mode control of nonlinear planar systems with global fixed-time stability guarantees

Abstract This paper proposes the use of a novel nonsingular Terminal Sliding surface for the finite-time robust stabilization of second order nonlinear plants with matched uncertainties. Mathematical characteristics of the proposed surface are such that a fixed bound naturally exists for the settling time of the state variable, once the surface has been reached. A simple redesign of the control input able to ensure the feature of fixed-time reaching of the sliding surface will be also presented, and fixed-time stability will be guaranteed by the proposed Terminal Sliding Mode Control design method. A careful simulation study has been performed using a benchmark system taken from the literature.

Two examples of affine homogeneous varieties

The aim is to describe two homogeneous affine open sets in some projective spaces. The sets are well known, their groups of automorphisms contain simple exceptional groups of types \(E_6\) or \(E_7\), although the total groups of automorphisms are infinite-dimensional and both the sets are flexible. We prove existence of automorphisms not belonging to the connected components of unity, construct extended Weyl groups including these non-tame automorphisms. Our methods are based on classical combinatorics associated with 27 lines on non-singular cubic surfaces and with 56 exceptional curves on Del Pezzo surfaces of degree 2. Some traditional applications of Jordan algebras are used.

K-theoretic Defect in Chern Class Identity for a Free Divisor

Let $X$ be a nonsingular variety defined over an algebraically closed field of characteristic $0$, and $D$ be a free divisor. We study the motivic Chern class of $D$ in the Grothendieck group of coherent sheaves $G_0(X)$, and another class defined by the sheaf of logarithmic differentials along $D$. We give explicit calculations of the difference of these two classes when: $D$ is a divisor on a nonsingular surface; $D$ is a hyperplane arrangement whose affine cone is free.