Multiplicative Directed Kite

• Multiplicative directed kite is a concept that bifurcates into algebraic kites—integral residuated lattices with lexicographic layering—and differential-geometric kites, each featuring explicit multiplicative and directional properties.
• The algebraic construction uses nested index sets and an injective map to create a Chinese cascade structure where multiplication propagates through ordered layers, ensuring prelinearity via inherited adjoint relations.
• In the geometric setting, a kite represents an oriented cycle in a manifold, serving as a domain for 2-dimensional nonabelian multiplicative integration and underpinning modern approaches to twisted quantization.

Searching arXiv for the cited kite papers to ground the article in the literature. Searching for "Kites and Residuated Lattices" (Botur et al., 2017). “Multiplicative directed kite” is an Editor’s term for two technically distinct uses of the word kite that share an explicit multiplicative component and an explicit notion of direction. In the algebraic setting, a kite is an integral residuated lattice $K_{I_0,I_1}(G)$ built from an integral residuated lattice $G$, nested index sets $I_1\subseteq I_0$, and an injective map $f:I_1\to I_0$; its layers form a “Chinese cascade kite,” and multiplication is propagated across those layers (Botur et al., 2017). In the differential-geometric setting, a kite is a directed geometric cycle $(\sigma,\tau)$ in a pointed manifold, where $\sigma$ is a string from the base point and $\tau$ is a 2-simplex; this object is the domain of a 2-dimensional twisted nonabelian multiplicative integral (Yekutieli, 2010). The common vocabulary is therefore real, but the two theories address different mathematical problems.

1. Terminological scope

The cited literature uses kite in two non-equivalent senses. One is algebraic and order-theoretic; the other is geometric and integral-theoretic. The distinction is structural rather than merely notational.

Setting	Kite	Salient feature
Integral residuated lattices	$K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$	Multiplication, residuals, lexicographic layering
Nonabelian multiplicative integration	A pair $(\sigma,\tau)$ in a pointed manifold	Directed/oriented surface cycle for $MI(\alpha,\beta\mid \sigma,\tau)$

In the algebraic paper, the resulting algebra “has a shape of a Chinese cascade kite,” with a broad head $G$0 and a tapering tail. In the geometric paper, a kite is explicitly directed: $G$1 carries the standard orientation of $G$2, and $G$3 respects concatenation order. This suggests that any unified discussion of a “multiplicative directed kite” must keep the algebraic and geometric meanings separate, while tracking the roles played by multiplication and direction in each case (Botur et al., 2017).

2. Algebraic kite construction in integral residuated lattices

An algebra $G$4 of type $G$5 is a residuated lattice when $G$6 is a lattice, $G$7 is a monoid, and

$G$8

for all $G$9. It is integral when $I_1\subseteq I_0$0 for every $I_1\subseteq I_0$1. Here $I_1\subseteq I_0$2 is multiplication, and $I_1\subseteq I_0$3 and $I_1\subseteq I_0$4 are the left and right residuals.

Starting from an integral residuated lattice $I_1\subseteq I_0$5, sets $I_1\subseteq I_0$6, and an injective map $I_1\subseteq I_0$7, one defines inductively

$I_1\subseteq I_0$8

so that

$I_1\subseteq I_0$9

The underlying set of the kite is

$f:I_1\to I_0$0

The order is lexicographic: $f:I_1\to I_0$1 This makes $f:I_1\to I_0$2 a lattice with top element

$f:I_1\to I_0$3

Multiplication is defined layerwise. If $f:I_1\to I_0$4 and $f:I_1\to I_0$5, then

$f:I_1\to I_0$6

where $f:I_1\to I_0$7 is the $f:I_1\to I_0$8-fold iterate of $f:I_1\to I_0$9. The right and left residuals are defined piecewise according to the relative sizes of the layer indices, with value $(\sigma,\tau)$0 in the strict upper case and coordinatewise residuals otherwise. Theorem 3.1 states that

$(\sigma,\tau)$1

is an integral residuated lattice (Botur et al., 2017).

The layered geometry is central to the name. The layers

$(\sigma,\tau)$2

are stacked so that multiplication “pushes” elements downward through the levels, and once $(\sigma,\tau)$3 occurs, all higher layers collapse to the singleton $(\sigma,\tau)$4. A plausible implication is that the combinatorics of the frame $(\sigma,\tau)$5 controls both the visible shape of the algebra and the depth at which nontrivial multiplication can continue to act.

3. Multiplicative directedness and prelinearity

In any residuated lattice, multiplication is monotone and satisfies the adjointness relation

$(\sigma,\tau)$6

For kites, the proof of Theorem 3.1 shows that this adjointness is inherited from the base algebra $(\sigma,\tau)$7. Thus the multiplicative behavior of the kite is not imposed independently; it is transported from the original integral residuated lattice through the layer system determined by $(\sigma,\tau)$8 (Botur et al., 2017).

A further structural transfer is given by Proposition 3.2: the kite $(\sigma,\tau)$9 satisfies prelinearity,

$\sigma$0

if and only if the same holds in $\sigma$1. The exposition then states: “In particular, multiplication remains ‘directed’ in the sense that any two elements become comparable up to a multiple.”

Here “directed” is not an order-theoretic synonym for total comparability. Rather, it is tied to prelinearity and residual comparison. The statement that two elements become comparable up to a multiple identifies a multiplicative substitute for direct comparability, mediated by $\sigma$2 and $\sigma$3. This suggests that the kite construction preserves not only basic residuation but also the specific interaction between multiplication and comparability encoded by prelinearity.

4. Subdirect irreducibility and classification of kites

A residuated lattice is subdirectly irreducible iff it has a least nontrivial congruence, equivalently a least normal filter. For a kite $\sigma$4, the decisive extra datum is a graph-style connectivity relation on $\sigma$5: elements $\sigma$6 are connected if for some $\sigma$7, either $\sigma$8 or $\sigma$9.

Theorem 5.4 gives an exact criterion. Let $\tau$0 be a nontrivial integral residuated lattice and let $\tau$1 with $\tau$2. Then the following are equivalent:

1. $\tau$3 is subdirectly irreducible and the connection-relation on $\tau$4 is one equivalence class, i.e. $\tau$5 is connected.
2. $\tau$6 is subdirectly irreducible.

The proof outline supplied in the exposition isolates the mechanism. If $\tau$7 has a least nontrivial normal filter $\tau$8, then its lift $\tau$9 is a least nontrivial normal filter of $K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$0, provided no smaller filter cuts the kite into disconnected pieces. Conversely, if $K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$1 is subdirectly irreducible, then the head $K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$2 forces subdirect irreducibility of $K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$3, while any disconnection of $K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$4 yields two nontrivial filters with trivial intersection (Botur et al., 2017).

For finite-dimensional kites, where $K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$5, the subdirectly irreducible cases are classified up to isomorphism as follows:

• Head only: $K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$6, giving the negative cone $K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$7.
• Antilexicographic product: $K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$8, $K_{I_0,I_1}(G)=\bigsqcup_{n\ge 0} G^{I_n}$9.
• One tail: $(\sigma,\tau)$0 but $(\sigma,\tau)$1, $(\sigma,\tau)$2 on $(\sigma,\tau)$3.

For countable infinite-dimensional kites, the exposition lists three subdirectly irreducibles, again up to isomorphism:

• Bilateral tail: $(\sigma,\tau)$4, $(\sigma,\tau)$5.
• One-sided tail: $(\sigma,\tau)$6, $(\sigma,\tau)$7, $(\sigma,\tau)$8.
• Two-way infinite head: $(\sigma,\tau)$9, $MI(\alpha,\beta\mid \sigma,\tau)$0.

The classification shows that subdirect irreducibility is controlled by two ingredients only: the subdirectly irreducible core $MI(\alpha,\beta\mid \sigma,\tau)$1 and the connectivity pattern induced by $MI(\alpha,\beta\mid \sigma,\tau)$2. This sharply limits the possible frame shapes once irreducibility is imposed.

5. Variety generation and homomorphisms of frames

Let $MI(\alpha,\beta\mid \sigma,\tau)$3 be the variety generated by all kites. By Birkhoff, $MI(\alpha,\beta\mid \sigma,\tau)$4 is generated by subdirectly irreducible kites. Since the only infinite-dimensional subdirectly irreducible kites are the three listed in the exposition, Section 6 shows that each of them can be embedded into a suitable direct product of finite-dimensional kites by explicit maps $MI(\alpha,\beta\mid \sigma,\tau)$5, after quotienting by a small congruence. Theorem 6.6 concludes that the variety generated by all kites coincides with the variety generated by the finite-dimensional kites. Corollary 6.7 states that $MI(\alpha,\beta\mid \sigma,\tau)$6 is the varietal join of the subvarieties generated by $MI(\alpha,\beta\mid \sigma,\tau)$7-dimensional kites, $MI(\alpha,\beta\mid \sigma,\tau)$8 (Botur et al., 2017).

This finite-dimensional generation result is structurally strong. It says that the infinite-dimensional members do not contribute new equational content beyond what is already present in finite layers. A plausible implication is that finite-dimensional frames are sufficient for describing the variety-theoretic behavior of all kites.

The same paper also formalizes morphisms between kites through maps of frames. A frame is a triple $MI(\alpha,\beta\mid \sigma,\tau)$9. A map of frames

$G$00

is a function $G$01 satisfying:

1. $G$02,
2. $G$03,
3. for each $G$04, $G$05.

Theorem 7.6 then associates to such a frame-map the componentwise pullback

$G$06

and asserts that $G$07 is a homomorphism of integral residuated lattices. Conversely, every homomorphism between two kites over the same $G$08 arises essentially uniquely from such a frame-map. Thus the homomorphism theory is encoded by the frame data rather than by an additional external mechanism.

6. Directed geometric kites and nonabelian multiplicative integration

In “Nonabelian Multiplicative Integration on Surfaces,” a kite is a geometric cycle in a pointed manifold $G$09, not an algebra. The ambient algebraic object is a Lie crossed module $G$10, where $G$11 and $G$12 are Lie groups, $G$13 is a Lie-group homomorphism, and $G$14 is an analytic action by group automorphisms, subject to equivariance and the Pfeiffer identity. The differential data are a connection–curvature pair $G$15, with $G$16 and $G$17, satisfying the fake-flatness equation

$G$18

A quadrangular kite in $G$19 is a pair $G$20 in which $G$21 is a string, i.e. a finite concatenation of oriented $G$22-simplices with $G$23 and $G$24, and $G$25 is a smooth or piecewise-linear $G$26-simplex. The kite is directed/oriented because $G$27 carries the standard orientation of $G$28, and $G$29 respects concatenation order. Its boundary is the closed string

$G$30

The multiplicative integral $G$31 is defined as the limit of binary-subdivision Riemann products. The basic local term is

$G$32

when $G$33 is smooth for $G$34, with $G$35 and $G$36; if $G$37 is singular or $G$38, then $G$39. After subdividing the square $G$40 into $G$41 small squares and forming the corresponding tessellation of the kite, one defines

$G$42

CBH estimates imply that $G$43 converges in $G$44, and

$G$45

The resulting theory satisfies a 2-dimensional nonabelian Stokes theorem: $G$46 so the image under $G$47 is the holonomy of $G$48 around the perimeter. It also satisfies the fundamental relation $G$49, where $G$50 and $G$51. In dimension three, for balloons $G$52 with $G$53, the boundary multiplicative integral over the six face-kites equals the abelian multiplicative integral of the $G$54-curvature

$G$55

which lands in the inertia subalgebra $G$56. If $G$57, then $G$58 (Yekutieli, 2010).

This geometric theory uses “directed” in the literal sense of orientation and concatenation, whereas the algebraic kite uses “directed” through prelinearity and comparability up to a multiple. The shared term kite therefore indicates a formal resemblance of shape and compositional behavior, not an identity of mathematical category. The geometric construction is motivated by twisted deformation quantization, descent for nonabelian gerbes, and related questions in nonabelian gauge theory.