-
A Riemannian Characterization of Compact Affine Manifolds with Parallel Volume
Authors:
Mihail Cocos
Abstract:
We establish that any affine manifold $(M,\nabla)$ endowed with a parallel volume form $ω,$ admits, in any conformal class of Riemannian metrics, a representative $H$ for which $\nabla$ is the Levi-Civita connection. This provides a constructive proof that such manifolds are necessarily complete, generalizing the "if" direction of Markus' conjecture \cite{markus1962}. Moreover, our result demonstr…
▽ More
We establish that any affine manifold $(M,\nabla)$ endowed with a parallel volume form $ω,$ admits, in any conformal class of Riemannian metrics, a representative $H$ for which $\nabla$ is the Levi-Civita connection. This provides a constructive proof that such manifolds are necessarily complete, generalizing the "if" direction of Markus' conjecture \cite{markus1962}. Moreover, our result demonstrates that these structures are intrinsically Riemannian-flat, a stronger conclusion than the affine completeness asserted by Markus. The metric $H$ arises naturally from the Hessian of volume-normalized distance functions and is shown to be globally smooth and $\nabla$-parallel, extending results of \cite{goldman1982} and \cite{benzecri1955} to higher dimensions with additional geometric structure. The construction proceeds through three technically novel steps: (1) local parallel metric normalization using the given volume form, (2) explicit Hessian calculations in adapted coordinates, and (3) gluing via affine transition maps that preserve the volumetric geometry. This approach reveals an unexpected rigidity in flat affine manifolds with compatible volume that goes beyond the topological constraints studied in \cite{fried1980}.
△ Less
Submitted 19 June, 2025; v1 submitted 22 May, 2025;
originally announced June 2025.
-
Skewable matrices over $\wedge^2 V$ applied to locally metric connections
Authors:
Mihail Cocos,
Kent Kidman
Abstract:
A necessary condition for a connection in a vector bundle to be locally metric is for its curvature matrix, which consists of $2$ forms, to be skew symmetric with respect to some local frame. In this paper we give a simple algorithm that can be used to decide when a matrix of $2$ forms is equivalent to a skew symmetric matrix. We apply this algorithm to verify whether a "{\it full rank}" curvature…
▽ More
A necessary condition for a connection in a vector bundle to be locally metric is for its curvature matrix, which consists of $2$ forms, to be skew symmetric with respect to some local frame. In this paper we give a simple algorithm that can be used to decide when a matrix of $2$ forms is equivalent to a skew symmetric matrix. We apply this algorithm to verify whether a "{\it full rank}" curvature connection is locally metric.
△ Less
Submitted 18 July, 2016;
originally announced July 2016.
-
A note on locally metric connections
Authors:
Mihail Cocos
Abstract:
In this paper we give necessary and sufficient conditions for a connection in a plane bundle above a surface to be locally metric. These conditions are easy to be verified in any local chart. Also as a global result we give a necessary condition for two connections to be metric equivalent in terms of their Euler class.
In this paper we give necessary and sufficient conditions for a connection in a plane bundle above a surface to be locally metric. These conditions are easy to be verified in any local chart. Also as a global result we give a necessary condition for two connections to be metric equivalent in terms of their Euler class.
△ Less
Submitted 10 September, 2016; v1 submitted 18 June, 2016;
originally announced June 2016.
-
Proof of Chern conjecture for flat affine manifolds
Authors:
Mihail Cocos
Abstract:
We prove Chern's conjecture that the Euler characteristic vanishes for closed flat affine manifolds $(M,\nabla)$. The key innovation is a deformation argument for the Euler form: we construct a one-parameter family of connections $\nabla^t$ between $\nabla$ and a Levi-Civita connection, where each $\nabla^t$ is pointwise metric-compatible with respect to carefully chosen local metrics…
▽ More
We prove Chern's conjecture that the Euler characteristic vanishes for closed flat affine manifolds $(M,\nabla)$. The key innovation is a deformation argument for the Euler form: we construct a one-parameter family of connections $\nabla^t$ between $\nabla$ and a Levi-Civita connection, where each $\nabla^t$ is pointwise metric-compatible with respect to carefully chosen local metrics $h^{t,x} = (1-t)h^x + tg$. By lifting to $M \times [0,1]$ and exploiting the global metric-compatibility of the pullback connection $p^*\nabla^t$, we show via Stokes' theorem that the Chern-Weil integrand for $χ(M)$ becomes exact. This approach, combined with a rigidity theorem for the associated holonomy groups (extending work of Cocos~\cite{MCocos}), forces $χ(M) = 0$.
△ Less
Submitted 16 June, 2025; v1 submitted 19 April, 2015;
originally announced April 2015.
-
Zero sets and factorization of polynomials of two variables
Authors:
Micki Balaich,
Mihail Cocos
Abstract:
The relationship between a polynomial's zeros and factors is well known. If a is a zero of f(x) then (x-a) is a factor of f(x). In this paper, we generalize this idea to polynomials of two variables and with real coefficients. We consider the zero sets of two variable polynomials and give criterion to when two polynomials with the same zero set have a common factor with the same zero set. When the…
▽ More
The relationship between a polynomial's zeros and factors is well known. If a is a zero of f(x) then (x-a) is a factor of f(x). In this paper, we generalize this idea to polynomials of two variables and with real coefficients. We consider the zero sets of two variable polynomials and give criterion to when two polynomials with the same zero set have a common factor with the same zero set. When the coefficients of the polynomials are not in a field, but the division algebra of Quaternions, we provide an example of two polynomials with the same zero set and no common factor.
△ Less
Submitted 18 October, 2012;
originally announced October 2012.
-
Musical Modes, Their Associated Chords and Their Musicality
Authors:
Mihail Cocos,
Kent Kidman
Abstract:
In this paper we present a mathematical way of defining musical modes and we define the musicality of a mode as a product of three different factors. We conclude by classifying the modes which are most musical according to our definition.
In this paper we present a mathematical way of defining musical modes and we define the musicality of a mode as a product of three different factors. We conclude by classifying the modes which are most musical according to our definition.
△ Less
Submitted 12 January, 2012;
originally announced January 2012.
-
Music By Numbers
Authors:
Mihail Cocos,
Shawn Fowers
Abstract:
In this paper we present a mathematical way of defining musical modes, we derive a formula for the total number of modes and define the musicality of a mode as the total number of harmonic chords whithin the mode. We also give an algorithm for the construction of a duet of melodic lines given a sequence of numbers and a mode. We attach the .mus files of the counterpoints obtained by using the sequ…
▽ More
In this paper we present a mathematical way of defining musical modes, we derive a formula for the total number of modes and define the musicality of a mode as the total number of harmonic chords whithin the mode. We also give an algorithm for the construction of a duet of melodic lines given a sequence of numbers and a mode. We attach the .mus files of the counterpoints obtained by using the sequence of primes and several musical modes.
△ Less
Submitted 2 March, 2011;
originally announced March 2011.
-
On the topology of compact affine manifolds
Authors:
Mihail Cocos
Abstract:
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 admits a flat, symmetric and complete connection. If the completeness assumption is dropped, the manifold is not necessarily obtained as the quotient of the Euc…
▽ More
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 admits a flat, symmetric and complete connection. If the completeness assumption is dropped, the manifold is not necessarily obtained as the quotient of the Euclidean space through a properly discontinuous group of affine transformations. In fact the universal cover may no longer be the Euclidean space. The main result of this paper states that all compact affine manifolds have 0 Euler characteristic and that the fundamental group of these manifolds is non-trivial.
△ Less
Submitted 18 October, 2012; v1 submitted 11 November, 2005;
originally announced November 2005.