4-manifolds with specific groups have unique homotopy types.
problem Classifying 4-manifolds with finite abelian 2-generator fundamental groups.
method Showed homotopy type is determined by quadratic 2-type.
result Homotopy type of 4-manifolds is determined by their quadratic 2-type.
Classification of 4-manifolds with finite fundamental groups using stable homeomorphism criteria.
problem Classifying 4-manifolds with finite fundamental groups.
method Using stable homeomorphism criteria based on quadratic 2-types and Kirby-Siebenmann invariant.
result Two 4-manifolds are CP2-stably homeomorphic if and only if their quadratic 2-types are stably isomorphic and their Kirby-Siebenmann invariant agrees. Homotopy classification for certain 4-manifolds with dihedral fundamental groups.
problem Classifying the homotopy types of specific 4-manifolds with dihedral fundamental groups.
method Using quadratic 2-type and combining with results from Hambleton-Kreck and Bauer.
result Homotopy types of finite oriented Poincaré 4-complexes are determined by their quadratic 2-type when fundamental group is dihedral.
New classification for 4-manifolds with specific fundamental groups.
problem Classifying 4-manifolds with fundamental group Z/ptimesZ. method Using quadratic 2-type and intersection form, along with generalizations to infinite groups.
result Homotopy type determined by quadratic 2-type and Z/p-valued intersection form. The paper classifies 4-manifolds based on their fundamental groups and orientation characters.
problem Classifying 4-manifolds with specific fundamental groups and orientation characters.
method Developed a criterion for groups and homomorphisms to classify 4-manifolds up to homotopy equivalence.
result Closed 4-manifolds with specified fundamental groups and orientation characters are classified by their quadratic 2-types.
In the theory of finite type submanifolds, null 2-type submanifolds are the most simple ones, besides 1-type submanifolds (cf. e.g., [3, 12]). In particular, the classification problems of null 2-type hypersurfaces are quite interesting and of fundamentally important. In this paper, we prove that every δ(3)-ideal nul…
In this note we construct a first example of a closed 3-form of G~2-type on S3×S4. We prove that S3×S4 does not admit a homogeneous 3-form of G~2-type. Thus our example is a first example of a closed 3-form of G~2-type on a compact 7-manifold which is not stably homogeneou…
Defines and parametrizes sl(2)-type singular fibres in symplectic and odd orthogonal Hitchin systems.
problem Characterizing and understanding singular fibres in Hitchin systems.
method Stratification by semi-abelian spectral data, study of irreducible components, global description of degenerations.
result Extension of Langlands duality to sl(2)-type Hitchin fibres. Study equigeodesics on G2-type flag manifolds, splitting tangent spaces.
problem Characterize geodesics in G2-type flag manifolds. method Analyze flag manifolds with G2-type t-roots, split tangent spaces, and classify equigeodesics. result Characterized structural equigeodesic vectors in flag manifolds.
Study on G2-type flag manifolds, focusing on invariant metrics and Ricci flow.
problem Characterizing and analyzing metrics on G2-type flag manifolds. method Investigation of invariant metrics, analysis of g.o. metrics, and Ricci flow techniques.
result Characterization of metrics invariant under maximal compact subgroups.
The paper classifies surfaces with constant curvature in 3D De Sitter and anti De Sitter spaces.
problem Classifying surfaces with constant curvature in 3D De Sitter and anti De Sitter spaces.
method Analyzing conditions equivalent to constant principal curvature, mean curvature, and second mean curvature.
result Surfaces of L1-2-type in De Sitter and anti De Sitter spaces are either standard products, scrolls, or have non-constant curvature properties. Classifies 4-manifolds up to connected sum with complex projective planes.
problem Classifying 4-manifolds up to connected sum with complex projective planes.
method Classification based on fundamental group, orientation character, and extension class involving second homotopy group.
result Closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of fundamental group, orientation character, and an extension class involving the second homotopy group.
The study classifies hypersurfaces in quaternionic space forms with constant principal curvatures.
problem Classifying hypersurfaces in quaternionic space forms with specific curvature properties.
method Analyzing curvature-adapted real hypersurfaces in non-flat quaternionic space forms HPm and HHm. result Classification of hypersurfaces including geodesic hyperspheres, tubes, and specific examples in HPm and HHm. We find a necessary and sufficient condition for a compact 7-manifold to admit a G~2-structure. As a result we find a sufficient condition for an open 7-manifold to admit a closed 3-form of G~2-type.
In a 2006 article (\cite{A1}), Allouba gave his quadratic covariation differentiation theory for Itô's integral calculus. He defined the derivative of a semimartingale with respect to a Brownian motion as the time derivative of their quadratic covariation and a generalization thereof. He then obtained a systematic diff…
Study on cylindrical handlebody-knots with symmetry and rigidity properties.
problem Characterizing symmetry groups of cylindrical handlebody-knots of genus two.
method Classification of essential annuli and analysis of symmetry groups based on Koda-Ozawa theorem.
result Most exteriors of genus two cylindrical handlebody-knots contain no essential disks or tori, and type 3-3 annuli are often unique up to isotopy. 1. Translated by Thomas E. Cecil, Department of Mathematics and Computer Science, College of the Holy Cross, Worcester, MA 01610, USA; E-mail address: cecil@mathcs.holycross.edu 2. Typed by Wenjiao Yan, School of Mathematical Sciences, Laboratory of Mathematics and Complex Systems, Beijing Normal University, Beijing 10…
Closed oriented 4-manifolds with the same geometrically 2-dimensional fundamental group (satisfying certain properties) are classified up to s-cobordism by their w2-type, equivariant intersection form and the Kirby-Siebenmann invariant. As an application, we obtain a complete homeomorphism classification of closed…
In this paper, we study the Lorentzian minimal surfaces in the Minkowski space-time with finite type Gauss map. First, we obtain the classification of this type of surfaces with pointwise 1-type Gauss map. Then, we proved that there are no Lorentzian minimal surface in the Minkowski space-time with null 2-type Gauss ma…
Paper constructs an invariant for a specific type of complex manifolds.
problem Analyzing an invariant for a specific class of complex manifolds.
method Using equivariant analytic torsion, the paper constructs an invariant for irreducible holomorphic symplectic manifolds with antisymplectic involution.
result A formula for the complex Hessian of the logarithm of the invariant is provided.
We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant intersection forms are stably isometric. We also find explicit algebraic invaria…
We classify Hopf hypersurfaces of non-flat complex space forms CP^m(4) and CH^m(-4), denoted jointly by CQ^m(4c), that are of 2-type in the sense of B. Y. Chen, via the embedding into a suitable (pseudo) Euclidean space of Hermitian matrices by projection operators. This complements and extends earlier classifications …
In this study, firstly, Mannheim curves with κ1(s)=0, κ2(s)=0 are considered and the conditions are obtained for Mannheim curve to be slant helix. Moreover, the necessary and sufficient conditions are investigated for Mannheim curve to be AW(2), AW(3) and weak AW(2)-types, respectively. Lastly, it is sh…
3D HQFTs constructed using graded monoidal categories.
problem Constructing 3D HQFTs with specific targets.
method Using spherical χ-fusion categories and the state sum method.
result 3D HQFTs constructed with target Bχ.
Study constructs H-space on metric spaces, providing rigidity criteria.
problem Understanding diffeomorphism actions on spaces of metrics.
method Constructs H-space multiplication on R+(M) for nullcobordant manifolds. result Provides rigidity criterion for diffeomorphism group action.
New Finsler metrics with constant flag curvature defined using Weyl-type curvature tensor.
problem Characterizing Finsler metrics with constant flag curvature.
method Defining a Weyl-type curvature tensor and constructing projectively related Finsler metrics.
result Construction of new families of Finsler metrics with constant flag curvature.
We prove that if M is a CW-complex and M1 is its 1-skeleton then the crossed module Π2(M,M1) depends only on the homotopy type of M as a space, up to free products, in the category of crossed modules, with Π2(D2,S1). From this it follows that, if G is a finite crossed module and M is finite, then th…
We construct quantum Uq(sl2) type invariants for handlebody-knots in the 3-sphere S3. A handlebody-knot is an embedding of a handlebody in a 3-manifold. These invariants are linear sums of Yokota's invariants for colored spatial graphs which are defined by using the Kauffman bracket. We …
We give an explicit handy (and cocycle-free) description of the groupoid of weak maps between two crossed-modules in terms of certain digrams of groups which we we call a {\em butterflies}. We define composition of butterflies and this way find a bicategory that is naturally biequivalent to the 2-category of pointed ho…
The paper studies helicoidal surfaces of non-lightlike frontals in Lorentz-Minkowski 3-space.
problem Investigating the properties and singularities of helicoidal surfaces in Lorentz-Minkowski space.
method Defining and analyzing two types of helicoidal surfaces, using diffeomorphic transformations and criteria for cusps and cuspidal edges.
result Identification theorems for the singular types of both 1-type and 2-type helicoidal surfaces.
Paper proves uniqueness of special Lagrangian pair in Calabi-Yau 3-fold.
problem Existence and uniqueness of special Lagrangian pair of pants in Calabi-Yau 3-fold.
method Proves uniqueness of a special Lagrangian pair of pants with three asymptotically cylindrical ends.
result No other special Lagrangian pair satisfies the conjecture.
Study bi-Hermitian metrics on complex surfaces and solve geometric PDEs.
problem Construct canonical metrics on complex surfaces with split tangent bundle.
method Introduced new fully non-linear geometric PDEs and established smooth solutions.
result Solved the prescribed Bismut Ricci problem on complex surfaces.
We consider the homotopy types of PD4-complexes X with fundamental group π such that c.d.π=2 and π has one end. Let β=β2(π;F2) and w=w1(X). Our main result is that (modulo two technical conditions on (π,w)) there are at most 2β orbits of k-invariants determining "strongly minimal" complexes (i.…
Paper uses language models to predict MBTI personality types with high accuracy.
problem Predicting Myers-Briggs personality types from text.
method Fine-tuned BERT model for predicting MBTI types and generating personality-specific language.
result BERT model achieves high accuracy in predicting MBTI types and personality-specific language generation.
We obtain several rigidity results for biharmonic submanifolds in Sn with parallel normalized mean curvature vector field. We classify biharmonic submanifolds in Sn with parallel normalized mean curvature vector field and with at most two distinct principal curvatures. In particular, we dete…
Study of equivariant scalar curvature groups for proper group actions.
problem Understanding equivariant scalar curvature groups for discrete group actions.
method Definition of fundamental groupoid functor, construction of classifying spaces, geometric result.
result Stolz's equivariant R-group depends only on the fundamental groupoid functor of the space.
Study shows how to approximate and estimate high-dimensional classification functions without the curse of dimensionality.
problem Approximating and estimating classification functions in high-dimensional spaces.
method Modified existing results to show that RBV2 functions can be approximated by neural networks with bounded weights. Proved the existence of a neural network with bounded weights approximating a classification function. Leveraged these bounds to quantify estimation rates. result Neural networks can approximate RBV2 functions without the curse of dimensionality, leading to efficient estimation rates. Defines a new invariant for 4-manifolds with boundary.
problem Homotopy classification of 4-manifolds with boundary.
method Definition of a relative k-invariant for CW pairs.
result Relative k-invariant is an obstruction to extending maps.
We initiate the study of the spherically symmetric Einstein-Klein-Gordon system in the presence of a negative cosmological constant, a model appearing frequently in the context of high-energy physics. Due to the lack of global hyperbolicity of the solutions, the natural formulation of dynamics is that of an initial bou…
Proves conjecture about special Lagrangians in G2-manifolds.
problem Existence of special Lagrangians in G2-manifolds.
method Solves real Monge-Ampère equation with singular right-hand side.
result Smoothness and asymptotic properties of special Lagrangians proved.
High-dimensional data pose challenges in statistical learning and modeling. Sometimes the predictors can be naturally grouped where pursuing the between-group sparsity is desired. Collinearity may occur in real-world high-dimensional applications where the popular l1 technique suffers from both selection inconsisten…
A pricing principle is introduced for non-attainable claims in incomplete markets.
problem Pricing non-attainable contingent claims in incomplete markets.
method Distorted Radon-Nikodym derivative and Tsallis relative entropy over a family of equivalent martingale measures.
result The pricing principle is closely related to backward stochastic differential equations and is arbitrage-free and time-consistent.
We construct a finitely presented group G with non-quadratic Dehn function f majorizable by a quadratic function on arbitrary long intervals.
Quadratic neurons enhance deep networks' approximation capabilities.
problem Improving deep networks' expressive power and efficiency.
method Introduced quadratic neurons and analyzed their performance in deep quadratic networks.
result Quadratic networks can approximate functions more efficiently and uniquely than conventional networks.
Invariants for 3D manifolds with boundaries using crossed modules.
problem Develop invariants for compact 3D manifolds with boundaries.
method Employ crossed modules to count correct colors over triangulations.
result Validated invariants for compact 3D manifolds with boundaries.
Quadratic autoencoder improves low-dose CT image denoising.
problem Low-dose CT image denoising.
method Quadratic autoencoder architecture applied to CT denoising.
result Quadratic autoencoder achieves superior denoising performance and efficiency.
The paper classifies biharmonic quadratic maps between spheres, proving their energy density properties.
problem Classifying non-harmonic biharmonic quadratic forms between spheres.
method Proving non-harmonic biharmonic quadratic forms have constant energy density and classifying them.
result Non-harmonic biharmonic quadratic forms have constant energy density (m+1)/2. New method solves large-scale QCPs using low-discrepancy sequences.
problem Solving large-scale Quadratically Constrained Quadratic Programs (QCQP).
method Transforming QCQP into a linear problem via low-discrepancy sampling.
result Approximate solutions converge to true solutions and have finite sample error bounds.