arXiv research

Study properties of balanced hyperbolic compact complex manifolds.

In this paper we obtain theorems of Barth-Lefschetz type in Sasakian geometry. As corollaries, this implis connectedness principle and Frankel's type theorem.

Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant proof of homotopy connectedness theorems for complex submanifolds of Hermitian sym…

We define the concept of Lefschetz contact pencil and we show the existence of such structures on any contact manifold. The main idea of the proof is a generalization of the Donaldson arguments used in the symplectic case. We will analyze some of the applications of such existence theorem for the topology of approximat…

A quaternionic Kähler manifold M is called {\it positive} if it has positive scalar curvature. The main purpose of this paper is to prove several connectedness theorems for quaternionic immersions in a quaternionic Kähler manifold, e.g. the Barth-Lefschetz type connectedness theorem for quaternionic submanifolds in a p…

We give a new proof of the Jantzen sum formula for integral representations of Chevalley schemes over Spec Z. This is done by applying the fixed point formula of Lefschetz type in Arakelov geometry to generalized flag varieties. Our proof involves the computation of the equivariant Ray-Singer torsion for all equivarian…

We prove that the complement of any affine 2-arrangement in R^d is minimal, that is, it is homotopy equivalent to a cell complex with as many i-cells as its i-th rational Betti number. For the proof, we provide a Lefschetz-type hyperplane theorem for complements of 2-arrangements, and introduce Alexander duality for co…

We give a new proof of a slightly weaker form of a theorem of P. Colmez. This theorem gives a formula for the Faltings height of abelian varieties with complex multiplication by a C.M. field whose Galois group over $\bf Q$ is abelian; it reduces to the formula of Chowla and Selberg in the case of elliptic curves. We sh…

For the geodesic flow of an odd dimensional hyperbolic manifold we prove a Lefschetz type formula. The local terms are Fuller indices of the closed orbits. The global "Frobenius operator" is the generator of the flow and its action on tangential cohomology.

We study the J-invariant and J-anti-invariant cohomological subgroups of the de Rham cohomology of a compact manifold M endowed with an almost-Kähler structure (J, ω, g). In particular, almost-Kähler manifolds satisfying a Lefschetz type property, and solvmanifolds endowed with left-invariant almost-complex structures …

The Hard Lefschetz Theorem extends to certain Kähler Lie Algebroids with ellipticity.

Proves hard Lefschetz theorem and Hodge-Riemann relations for convex valuations.

The paper proves a Hard Lefschetz Theorem for push-forwards of polarized twistor modules.

We study the transversal hard Lefschetz theorem on a transversely symplectic foliation. This article extends the results of transversally symplectic flows (H.K.~Pak, "Transversal harmonic theory for transversally symplectic flows", J. Aust. Math. Soc. 84 (2008), 233--245) to the general transversely symplectic foliatio…

This is the second of a series of papers dealing with an analog in Arakelov geometry of the holomorphic Lefschetz fixed point formula. We use the main result of the first paper to prove a residue formula "`a la Bott" for arithmetic characteristic classes living on arithmetic varieties acted upon by a diagonalisable tor…

We study the properties of the multiplicative structure on valuations on convex sets. We prove a new version of the hard Lefschetz theorem for even translation invariant continuous valuations, and discuss related problems of integral geometry. Then we formulate a conjectural analogue of this result for odd valuations.

This short review is the result of a minicourse at the Sapienza University of Rome the author gave about the proof of the $g$-theorem. We review the hard Lefschetz theorem for simplicial spheres, as well as the theory at its core: perturbations of maps, biased Poincaré pairings and a cobordism argument that relates the…

We provide a simpler proof of the hard Lefschetz Theorem for face rings of PL spheres: While the algebraic theory remains the same, we replace the geometric constructions by Pachner's Theorem. This simplifies the reasoning for an important special case of the main result of the first author in arxiv:1812.10454, and alr…

Given a circle-valued Morse function of a closed oriented manifold, we prove that Reidemeister torsion over a non-commutative formal Laurent polynomial ring equals the product of a certain non-commutative Lefschetz-type zeta function and the algebraic torsion of the Novikov complex over the ring. This paper gives a gen…

We show how to construct broken, achiral Lefschetz fibrations on arbitrary smooth, closed, oriented 4-manifolds. These are generalizations of Lefschetz fibrations over the 2-sphere, where we allow Lefschetz singularities with the non-standard orientation as well as circles of singularities corresponding to round 1-hand…

We obtain new general results on the structure of the space of translation invariant continuous valuations on convex sets (a version of the hard Lefschetz theorem). Using these and our previous results we obtain explicit characterization of unitarily invariant translation invariant continuous valuations. It implies new…

Symplectic 4-manifolds $(X,ω)$ with $b_+{=}1$ are roughly classified by the canonical class $K$ and the symplectic form $ω$ depending upon the sign of $K^2$ and $K\cdot ω$. Examples are known for each category except for the case when the manifold satisfies $K^2=0$, $K\cdot ω>0$, $b_1=2$, and fails to be of Lefschetz t…

In the literature, there are two different versions of Hard Lefschetz theorems for a compact Sasakian manifold. The first version, due to Kacimi-Alaoui, asserts that the basic cohomology of a compact Sasakian manifold satisfies the transverse Lefschetz property. The second version, established far more recently by Capp…

We establish a Hard Lefschetz Theorem for the de Rham cohomology of compact Vaisman manifolds. A similar result is proved for the basic cohomology with respect to the Lee vector field. Motivated by these results, we introduce the notions of a Lefschetz and of a basic Lefschetz locally conformal symplectic (l.c.s.) mani…

We analyze the semi-hard triplet loss using Edgeworth expansion for better understanding of its behavior.

Using the Hard Lefschetz Theorem for Sasakian manifolds, we find two examples of compact K-contact nilmanifolds with no compatible Sasakian metric in dimensions five and seven, respectively

Researchers compute the index of a specific operator on contact manifolds.

Two impossibility theorems show formal alignment certification is impossible for AI systems.

Using an idea of Voronoi in the geometric theory of positive definite quadratic forms, we give a transparent proof of John's characterization of the unique ellipsoid of maximum volume contained in a convex body. The same idea applies to the 'hard part' of a generalization of John's theorem and shows the difficulties of…

New model shows hierarchical proof structure helps theorem provers.

A map $f\colon K\to \mathbb R^d$ of a simplicial complex is an almost embedding if $f(σ)\cap f(τ)=\emptyset$ whenever $σ,τ$ are disjoint simplices of $K$. Theorem. Fix integers $d,k\ge2$ such that $d=\frac{3k}2+1$. (a) Assume that $P\ne NP$. Then there exists a finite $k$-dimensional complex $K$ that does not admit an …

Proves cohomology theorems for tropical varieties.

For a simply connected solvable Lie group G with a cocompact discrete subgroup Γ, we consider the space of differential forms on the solvmanifold G/Γ with values in certain flat bundle so that this space has a structure of a differential graded algebra(DGA). We construct Sullivan's minimal model of this DGA. This resul…

New proof shows a link problem is hard without complex links.

We find a family of five dimensional completely solvable compact manifolds that constitute the first examples of $K$-contact manifolds which satisfy the Hard Lefschetz Theorem and have a model of Tievsky type just as Sasakian manifolds but do not admit any Sasakian structure.

New findings on boosting sample complexity and implications for hardcore theorem.

We study (i) asymptotic behaviour of wild harmonic bundles, (ii) the relation between semisimple meromorphic flat connections and wild harmonic bundles, (iii) the relation between wild harmonic bundles and polarized wild pure twistor $D$-modules. As an application, we show the hard Lefschetz theorem for algebraic semis…

Symplectic structures simplified for compact manifolds.

Study on twisted Dolbeault cohomology in Kähler foliations.

This paper defends SVMs against poisoning attacks using DBSCAN and hardness proofs.

The classical Lusternik-Schnirelman-Borsuk theorem states that if a d-sphere is covered by d+1 closed sets, then at least one of the sets must contain a pair of antipodal points. In this paper, we prove a combinatorial version of this theorem for hypercubes. It is not hard to show that for any cover of the facets of a …

Consider the Hamiltonian action of a torus on a transversely symplectic foliation that is also Riemannian. When the transverse hard Lefschetz property is satisfied, we establish a foliated version of the Kirwan injectivity theorem, and use it to study Hamiltonian torus actions on transversely Kähler foliations. Among o…

This paper gives infinitely many examples of unknot diagrams that are hard, in the sense that the diagrams need to be made more complicated by Reidemeister moves before they can be simplified. In order to construct these diagrams, we prove theorems characterizing when the numerator of the sum of two rational tangles is…

Extends Donaldson's techniques to symplectic orbifolds, proving existence of sections and computing cohomology.

PPBoot simplifies prediction-powered inference.

The main goal of this work is to present a detailed study of the foundations of Complex Geometry, highlighting its geometrical, topological and analytical aspects. Beginning with a preliminary material, such as the basic results on holomorphic functions in one or more variables and the definition and first examples of …

Let M be a hypercomplex Hermitian manifold, (M,I) the same manifold considered as a complex Hermitian with a complex structure I induced by the quaternions. The standard linear-algebraic construction produces a canonical nowhere degenerate (2,0)-form on (M,I). It is well known that M is hyperkaehler if and only if the …

Paper proves hardness of learning various complex models under local pseudorandom generators.